Cursos‎ > ‎Cursadas Anteriores‎ > ‎2019‎ > ‎Noc-Jueves‎ > ‎

Bitácora de clase - Jueves Noche 2019

Acá van a encontrar información relacionada con los temas vistos, ejercitación y trabajos prácticos.

Clase 9 - Estrategias de Evaluación. Listas infinitas. Typeclasses.

publicado a la‎(s)‎ 31 may. 2019 6:08 por Mariana Matos

En esta clase estuvimos viendo los siguientes temas:

Para profundizar estos temas:
  • De la sección de apuntes: Módulos 4 y 7 de funcional.
  • De Mumuki:
    • Práctica Evaluación Diferida, donde van a encontrar ejercicios puntuales donde se aprovecha esto, así como ver cómo usar algunas funciones que ya vienen en Haskell que tienen en la guía de lenguajes bajo el título Funciones de generación de listas.
    • Sobre tipado están las lecciones 3, 4 y 9.

Clase 6 - Listas, Recursividad vs. Orden Superior

publicado a la‎(s)‎ 3 may. 2019 7:04 por Mariana Matos

En esta clase recordamos la idea de recursividad como mecanismo alternativo a la iteración usando estructuras de control como el for y el while que conocen de algoritmos, esta vez para trabajar un nuevo tipo de dato compuesto, cuya naturaleza en Haskell es recursiva, que son las listas.

También vimos uno de los conceptos más fuertes de la materia, sobre el cual vamos a volver una y otra vez a lo largo del año, que es Orden Superior. En particular vimos esta idea para trabajar con listas, porque si bien se puede hacer todo con pattern matching y recursividad, podemos llegar a soluciones mucho mejores evitando esta mecánica.

Sin embargo es importante entender que orden superior puede aplicarse en cualquier contexto, por ejemplo la composición no es más que una función de orden superior super genérica y sencilla!

(.) :: (b -> c) -> (a -> b) -> (a -> c)
(.) g f x = g (f x)

Ahora que incorporamos el uso y definición de funciones de orden superior a nuestras herramientas para trabajar, vamos a poder armar abstracciones todavía más poderosas, pudiendo parametrizar parte de la lógica a ejecutar. En los lenguajes funcionales esto normalmente es sencillo, gracias a que las funciones son ciudadanos de primera clase.

Entre las funciones de orden superior para trabajar con listas que vimos en esta clase están:

  • map :: (a -> b) -> [a] -> [b]
  • filter :: (a -> Bool) -> [a] -> [a]
  • all :: (a -> Bool) -> [a] -> Bool
  • any :: (a -> Bool) -> [a] -> Bool

Si bien vimos cómo se pueden definir estas funciones y otras para trabajar con listas usando recursividad, al trabajar con listas debemos recordar lo que hablamos la primer clase sobre declaratividad. En general, para trabajar con listas, vamos a preferir siempre las soluciones que usen 1 o más funciones de orden superior adecuadas para el problema a resolver por sobre soluciones recursivas, ya que las primeras son más declarativas que las segundas.

Con esto no queremos decir que nunca vayan a usar recursividad:

  • La recursividad es una gran herramienta cuando el problema tiene naturaleza recursiva (como el ejemplo del factorial), en cuyo caso la solución a la que lleguemos recursivamente a priori no va a ser criticable en términos de declaratividad.
  • La recursividad trabajando con listas a veces simplemente es necesaria, porque el problema no se ajusta bien al algoritmo de recorrido estándar que viene resuelto con las funciones de orden superior que ya existen.

Luego de esta clase ya casi vimos todos los temas de este paradigma, nos falta revelar un par de misterios más que tenemos bajo la manga. Pero lo que falta sobre todo es práctica, mucha, para terminar de dominar las herramientas así como incorporar algunas nociones más de diseño.

Para profundizar y ejercitar

  • De la sección de apuntes: Módulos 5 y 6 de funcional.
  • De Mumuki, con lo que vimos ya podrían hacer todas las guías, pero en particular estas guías sirven como práctica de los temas vistos en esta clase:
    • Práctica de Listas
    • Práctica Recursividad
    • Práctica de Aplicación Parcial y Orden Superior

Clase 5 - Composición y Aplicación Parcial

publicado a la‎(s)‎ 25 abr. 2019 19:20 por Mariana Matos

En esta clase vimos los siguientes temas:

Para profundizar y ejercitar
  • De la sección de apuntes: Módulo 2 de funcional.
  • De Mumuki:
    • Ya pueden terminar Valores y Funciones y su práctica asociada.
    • Introducción tipos de dato, hasta ejercicio 9 inclusive.
    • Aplicación Parcial y Orden Superior (Ejercicios 1 al 4 inclusive).
    • Práctica Aplicación Parcial y Orden Superior (hasta ejercicio 6).

Clase 3 - Guardas, pattern matching. Tuplas y Data.

publicado a la‎(s)‎ 4 abr. 2019 12:54 por Mariana Matos   [ actualizado el 4 abr. 2019 13:30 ]

En esta clase vimos los siguientes temas:

Para profundizar y ejercitar

  • De la sección de apuntes: Módulos 1 y 3 de funcional (teniendo en cuenta que todavía no vimos listas).
  • De Mumuki:
    • Alternativas: Guardas y Patrones
    • Modelado (hasta ejercicio 13)

Clase 2 - Paradigma Funcional

publicado a la‎(s)‎ 4 abr. 2019 12:45 por Mariana Matos

En esta clase retomamos la introducción a funcional donde se trabaja con funciones que son valores cuya operación principal es la aplicación.

Por ahora sólo trabajamos con los tipos de datos más simples de Haskell, la clase que viene incorporaremos más herramientas interesantes para representar la información de nuestro programa.

Clase 1 - Introducción a la materia

publicado a la‎(s)‎ 22 mar. 2019 13:26 por Mariana Matos   [ actualizado el 22 mar. 2019 13:34 ]

También se dio una pequeña introducción a lo que es el paradigma funcional que profundizaremos en las próximas clases.

Para la próxima:
  • Traigan la guía de lenguajes (ver sección de Apuntes, donde se encuentra esta guía y mucho más).
  • Regístrense en el aula de Mumuki y resuelvan los ejercicios 1, 2 y 3 de la guía de TP de funcional (que irá creciendo próximamente).
  • También pueden ir avanzando con las lecciones 1 y 2 a modo de repaso y práctica adicional.

1-6 of 6