Cursos‎ > ‎Cursadas Anteriores‎ > ‎2020‎ > ‎Mañ-Viernes‎ > ‎

Bitácora Viernes Mañana 2020




Clase 14 - Functores y Polimorfismo

publicado a la‎(s)‎ 26 jul. 2020 11:13 por Juan Fernandes

Hola!,

¿Que más se puede leer al respecto?

Age Of Empires 2 - Villager killed (iaaaooough) - YouTube

¿Qué mas se puede ver?

Clase de inversibilidad dada por otros profes:

¿Que más se puede practicar?

Los ejercicios de esta guías de mumuki:


Para la clase que viene (viernes 14 de agosto)

Tienen que hacer los siguientes ejercicios:
Ejercicios 1, 2 y 4 de la lección de functores


[Offtopic] Buzzconf, conferencia de desarrollo de software del 27 al 31 de julio: https://buzzconf.org/

Saludos!

Clase 13 - Para Todo

publicado a la‎(s)‎ 21 jul. 2020 20:13 por Juan Fernandes

Hola!,

¿Que más se puede leer al respecto?



¿Qué mas se puede ver?

Clase de inversibilidad dada por otros profes:

¿Que más se puede practicar?

Los ejercicios de estas guías de mumuki:


Para la clase que viene (viernes 24 de julio)

Tienen que hacer los siguientes ejercicios:

Saludos!

Clase 12 - Inversibilidad

publicado a la‎(s)‎ 8 jul. 2020 17:43 por Juan Fernandes   [ actualizado el 8 jul. 2020 17:51 ]

Hola!,

¿Que más se puede leer al respecto?

Apunte sobre predicados de orden superior (por ahora solo vimos el not): https://docs.google.com/document/d/1GGair_St5yWvItKRZH-FY_X2CdDREr60TrsV0zSiO5I/edit#heading=h.wupj225wwk0z
Apunte sobre individuos simples y compuestos (cuenta como trabajar con números como hicimos en el ejercicio, la parte de individuos compuestos no la vimos aun): https://drive.google.com/open?id=1I8Xvss7LBuUjV-GGiag7C8d9wa3vUB6B37Qi4LG-ts0

¿Qué mas se puede ver?

Clase de inversibilidad dada por otros profes:
Por Maiu (1h, los ejemplos son los mismos que vimos nosotros): https://www.youtube.com/watch?v=wUUCyC3k-rk

¿Que más se puede practicar?

Los ejercicios de estas guías de mumuki:

Para la clase que viene (viernes 17 de julio)

Tienen que hacer los siguientes ejercicios:

Saludos!

Clase 11 - Introducción a Lógico

publicado a la‎(s)‎ 26 jun. 2020 8:03 por Juan Fernandes

Hola!,

¿Que más se puede leer al respecto?

Apunte de la cátedra sobre predicados, individuos, consultas y universo cerrado: https://docs.google.com/document/d/1fTYHcILOkEsfTW5DOcghDSau3pQ6Q2AXlM0iwkB5L4E

¿Qué mas se puede ver?

La intro dada en otros cursos:
Por Maiu (1.5h, de la que verán que robamos mucho contenido) : https://www.youtube.com/watch?v=GzlcE2q8eLY&feature=youtu.be

¿Que más se puede practicar?

Cualquier ejercicio de las lecciones 1 y 2 de la parte de lógico Mumuki:

Para la clase que viene

Tienen que hacer los ejercicios 1,2,3 y 4 de la lección 2: https://mumuki.io/pdep-utn/lessons/700-programacion-logica-practica-hechos-y-reglas

Saludos!

Clase Bonus - Haskell en Producción

publicado a la‎(s)‎ 24 jun. 2020 18:27 por Juan Fernandes   [ actualizado el 26 jun. 2020 8:15 ]

Hola!,

En esta clase vimos como puede ser un programa productivo hecho en Haskell.

Tanto el video como las slides estan en el drive

Así como el repositorio que usamos de ejemplo para el tamagotchi:

Además, agrego algo que no hablamos en el vídeo pero que me parece interesante mencionar, un par de casos de Haskell siendo usado en producción en

Para la clase que viene

- Vamos a arrancar el paradigma lógica con Prolog, así que, van a tener que instalarse esto: https://sites.google.com/site/paradigmasdeprogramacion/software/software-swi-prolog

- Los TPs cortitos durante esta segunda parte los vamos a hacer en Mumuki, y para que podamos seguir su progreso más fácil, van a tener que registrasre acá https://mumuki.io/pdep-utn/join/8hUxuw y cuando hagan ejercicios en mumuki asegúrense de hacerlos en https://mumuki.io/pdep-utn/ en vez de https://mumuki.io.

Clase 8 - Lazy Evaluation y Typeclasses

publicado a la‎(s)‎ 5 jun. 2020 19:23 por Juan Fernandes   [ actualizado el 5 jun. 2020 19:30 ]

Hola!,https://i.redd.it/w0oj1s5jaob21.png

¿Qué hicimos?

Vimos un video sobre cómo Haskell evalua el código de manera lazy.
E implementamos algunas funciones lazy.

Luego, hablamos un poco más sobre typeclasses. Como definir nuestras instancias para typeclasses y como definir nuestrar propias typeclasses.

¿Dónde está el material?

Video explicando Lazy Evaluation: https://www.youtube.com/watch?v=wZ0pBezum58

¿Que más se puede leer al respecto?

Apunte de la cátedra sobre lazy evaluation y recursividad: https://drive.google.com/open?id=1JOlRcFZ7Ehm9gx_wH77MkhvObcyKS7Wqo4Sm8joMJBM

¿Que más se puede practicar?


Aconsejo practicar parciales subidos en http://www.pdep.com.ar/material/parciales.

En particular hay uno que está genial porque tiene todo un vídeo explicando como resolverlo:

PARA LA CLASE DEL PARCIAL

Durante el finde vamos a estar corrigiendo los TPs integradores y los tps que tenían cosas por revisar, presten atención a las correcciones (y mismo a las correcciones de sus tps anteriores) porque vamos a evaluar las mismas cosas en el parcial.
Revisen este documento con las reglas de juego del parcial: https://docs.google.com/document/d/1DeP_mfB8roqI7tGCJhuvk3ghHVhJHnf6bzDlu2b3pcw/edit?usp=sharing, si tienen dudas con alguna cosa preguntennos.

Saludos!

Clase 7 - Modelado con funciones y simulacro de parcial

publicado a la‎(s)‎ 4 jun. 2020 19:59 por Juan Fernandes

Hola!,

¿Qué temas vimos?

Esta clase volvimos a hablar un poco de modelado, en particular de como modelar ciertos valores usando solo funciones.

Además, hicimos el simulacro del parcial que a su vez es el TP integrador, y lo pueden encontrar acá: https://classroom.github.com/g/3c8UexCR

¿Dónde está el material?

¡Zurihac, conferencia/hackaton gratis de Haskell!

Del 12 al 14 de junio se va a hacer remota una conferencia/hackaton de Haskell en todo el mundo con gente muy muy capa dando charlas y talleres, si les interesa seguir aprendiendo de Haskell les recomiendo fuerte anotarse: https://zfoh.ch/zurihac2020/
Las charlas van a estar online y va a haber un taller de un par de días para principiantes :D


Clase 6 - Composición y aplicación parcial

publicado a la‎(s)‎ 22 may. 2020 8:39 por Juan Fernandes   [ actualizado el 23 may. 2020 20:09 ]

Hola!,https://images-cdn.9gag.com/photo/aoeByAX_460s.jpg

¿Qué temas vimos?

Hablamos del sistema de tipos de haskell, y vimos typeclases, que son categorías que agrupan tipos que pueden usarse para ciertas funciones.
Aplicación parcial, que signfica que puedo pasarle menos funciones de los que necesita a una función y obtener otra función!
Composición, y como nos permite combinar funciones.

¿Dónde está el material?

Código de la clase:

En esta clase el código que escribimos es el mismo del TP-5, que se encuentra acá: https://classroom.github.com/g/hmLFdLCQ

¿Qué más se puede leer al respecto?
Hay apuntes super detallados de la cátedra sobre los temas que vimos en clase:

También, está el laboratorio de funciones donde se pueden probar los tipos de las funciones de manera gráfica:

Hay un vídeo de Mumuki en el que se explica como inferir el tipo de una función (parecido a como hicimos en clase) :

¿Qué se puede seguir prácticando?

Aparte del TP-5 que está acá: https://classroom.github.com/g/hmLFdLCQ

Pueden hacer ejercicios de estas guía de Mumuki

Desafío de café con leche


¡Zurihac, conferencia/hackaton gratis de Haskell!

Del 12 al 14 de junio se va a hacer remota una conferencia/hackaton de Haskell en todo el mundo con gente muy muy capa dando charlas y talleres, si les interesa seguir aprendiendo de Haskell les recomiendo fuerte anotarse: https://zfoh.ch/zurihac2020/
Las charlas van a estar online y va a haber un taller de un par de días para principiantes :D


Próxima clase, práctica de parcial con el tp integrador

Estamos cerca del parcial, así que la siguiente clase va a ser puramente práctica. La idea es que vengan y practiquen en clase un TP del nivel de un parcial, y lo corrijamos como para saber como les iría en el parcial y se saquen dudas al respecto.

Clase 5 - Orden superior y funciones lambda

publicado a la‎(s)‎ 15 may. 2020 16:59 por Juan Fernandes   [ actualizado el 16 may. 2020 16:01 ]

Hola!,

¿Qué temas vimos?

Orden superior, y como nos sirve para definir funciones más declarativas y más cohesivas.
Funciones lambda o anónimas, que nos son útiles para crear funciones "on the fly" sin necesidad de definirlas previamente.

¿Dónde está el material?

Código de la clase:
En esta clase no escribimos mucho código más allá de un poco por consola, pero la mayoría de los ejemplos ya están en las slides. Lo que sí hay, es un repositorio que se pueden clonar para visualizar mejor cómo evalúan las funciones de la familia fold: https://github.com/pdepviernestm/funcional-evaluacion-fold

¿Qué más se puede leer sobre orden superior y funciones lambda?
Hay apuntes super detallados de la cátedra sobre ambos temas:
- Orden superior (puede ser que encuentren que acá también se habla de composición y aplicación parcial, esos temas los vamos a estar viendo la clase que viene)
También, hay un vídeo de un profesor de la cátedra explicando como funciona el fold que está muy bueno: https://www.youtube.com/watch?v=veiQkxz59NE

¿Qué se puede seguir prácticando?

Aparte del TP-4 que está acá: https://classroom.github.com/g/IAVrCnGt

Pueden hacer ejercicios de estas guía de Mumuki:
Nota: al igual que el apunte de orden superior de antes, puede que se nombren temas que vamos a ver en la clase del viernes 22, si algo no está super claro pueden preguntarnos pero tranqui que eso lo vamos a ver pronto.



Recursividad. Tipos compuestos II: Listas.

publicado a la‎(s)‎ 9 may. 2020 11:54 por Juan Fernandes

Hola!,

¿Que temas vimos?
winnie pooh eating recursion

Esta clase vimos qué es la recursividad y como nos es útil para definir algunas funciones.
También presentamos un tipo de dato, las listas, que veníamos usando desde la primer clase pero solo como listas de chars (Strings).

¿Dónde está el material?


¿Qué más se puede leer sobre recursividad y listas?
¿Qué se puede practicar?

Aparte del TP-3 que está subido acá y hay que entregarlo el viernes que viene: https://classroom.github.com/g/IAVrCnGt
Hay práctica en Mumuki de ambos temas que pueden hacer si quieren:

¡̣̉Desafío de café con leche! x 2

Los desafíos de café con leche son ejercicios opcionales más complicados de los de los TPs, y la primera persona que mande una solución para los mismos tiene un premio (que en tiempos pre-cuarentena solía ser un café con leche del buffet pero ahora puede ser la satisfacción de haber resuelto un ejercicio muy difícil, o algo más si nos las ingeniamos).
Los 2 desafíos de cafe con leche que liberamos ahora están acá:

1-10 of 14