En esta clase vimos dos tipos de objetos muy útiles:

• Bloques
• Colecciones
  • Vimos que en Wollok existen dos tipos de colecciones: las listas y los sets. Es común que cada lenguaje defina distintos tipos de colecciones para poder elegir cuál usar en base a la necesidad para cada problema.
  • También vimos algunos de los mensajes que entienden las colecciones de Wollok. Algunos eran muy similares a los que ya conocíamos de Haskell, otros directamente no estaban en Haskell porque están pensados para trabajar con efecto colateral.

Arrancamos con un nuevo paradigma, y eso implica replantearnos todo lo que ya sabemos. Nos volvimos a preguntar qué es un programa, esta vez en el Paradigma Orientado a Objetos y la respuesta esta vez está basada en dos ideas: objetos y mensajes.

A lo largo de las primeras 2 clases tocamos los siguientes temas:

• Mensajes y Métodos
• Variables / Referencias
• La Pseudovariable self
• Encapsulamiento
• Responsabilidad y Delegación
• Polimorfismo
• Testing
  

Para este paradigma vamos a estar trabajando con Wollok. En esa página van a encontrar todo el material que necesiten para complementar lo que vemos en clase, así como la forma de instalar el entorno. En la sección Documentación -> Apuntes van a encontrar los mismos módulos que están en la página de la cátedra, y en Documentación -> Explicación de Conceptos van a encontrar una guía rápida de cómo se usan los distintos elementos del lenguaje.

Además pueden encontrar ejercicios resueltos en la sección Ejemplos, y en la sección Tour les van a dar un paseo por las herramientas para que descubran cómo sacarle el jugo al IDE.

Para profundizar y ejercitar

• De la sección de apuntes: los primeros 3 módulos cubren los temas que vimos en la primera clase y además pueden leer sobre testing en el módulo 5.
  
• De Mumuki, las primeras 3 guías cubren los temas de esta clase. Alternativamente, también hay una nueva guía luego de esas 3 que resume esos los temas de las primeras 2 con otro enfoque. También pueden practicar con la guía 5.

En esta clase cerramos los temas del paradigma lógico viendo cómo se trabaja con otro tipo de individuo compuesto que son las listas.

Vimos cómo se puede hacer para trabajar con listas recursivamente usando pattern matching, y también algunos predicados que ya vienen para trabajar con listas más cómodamente (hay más en la guía de lenguajes que pueden ser de utilidad también):

• length/2
• sumlist/2
• member/2
• y findall/3 que es un predicado de orden superior.

Importante! No olviden que la mayoría de los problemas ya los podíamos resolver sin listas, de forma declarativa. Para no caer en la tentación, les dejamos Los Donny, no! para el uso responsable de findall.

Para profundizar y ejercitar

• De la sección de apuntes:
  • En el Módulo 3 sobre individuos compuestos se explica listas más en profundidad de lo que llegamos a ver, incluyendo otros predicados para trabajar con listas sencillos pero menos cotidianos.
  • En el Módulo 4 sobre predicados de orden superior se explica el predicado findall/3.
  • En el Módulo 5 sobre recursividad se termina de explicar este tema para cuando las otras herramientas se quedan cortas.
  • En el Módulo 6, en la sección de Code Smells, pueden encontrar una versión extendida con ejemplos concretos de los Donny, no!.
• De Mumuki pueden trabajar con todas las guías, ya que terminamos de ver todo el contenido teórico que teníamos planeado para este paradigma.

En esta clase incorporamos un nuevo tipo de individuo, que tiene laparticularidad de ser un individuo compuesto: el functor.

Un concepto importante que surgió gracias a estos simpáticos individuos fue polimorfismo.

Para profundizar y ejercitar

• De Mumuki pueden trabajar con las guías de Functores.
• De la sección de apuntes: en el Módulo 3 se explica functores y polimorfismo, pero en el medio también se explican las listas que preferimos no introducir aún. Pueden complementar lo visto con ese apunte, pero tal vez convenga postergarlo para evitar confusiones.

En esta clase introdujimos los predicados de orden superior:

• not/1 para la negación
• forall/2 para el cuantificador universal (para todo)

De esa forma cubrimos todo lo relacionado con existencia (no hace falta usar ningún predicado especial para esto), no existencia y para todo, que es lo que nos faltaba para poder trabajar con lógica de primer orden.

También vimos que ambos predicados tienen problemas de inversibilidad, con lo cual hay que tomar ciertos recaudos al usarlos para que nuestros predicados sean inversibles. En general alcanza con que los parámetros de nuestros predicados lleguen unificados al consultar not/1 y forall/2, lo cual se logra consultando un predicado inversible previamente en nuestra regla que se encargue de unificar esas variables.

Para profundizar y ejercitar

• De la sección de apuntes: Módulo 4 de Lógico hasta sección 4 inclusive.
• De Mumuki pueden trabajar con las guías de negación y cuantificación.

En esta clase arrancamos con el Paradigma Lógico de la mano del lenguaje Prolog.

Acá pueden encontrar una introducción al paradigma que sienta las bases de cómo trabajar, y cómo se resuelven con estas herramientas básicas la conjunción y disyunción. Hasta ahora trabajamos sólo con individuos simples.

Uno de los temas que introdujimos en esta clase es uno de los puntos fuertes de este paradigma y es el concepto de inversibilidad, lo cual permite hacer consultas con múltiples respuestas. Profundizaremos más adelante el tema de inversibilidad.

Resumen de nomenclatura <-- Repasar esto si no recordás a qué nos referimos al decir predicado, hecho, regla, cláusula, aridad, consulta, individuo, átomo...

Para profundizar y ejercitar

• De la sección de apuntes: Módulos 1 y 2 de Lógico.
• De Mumuki pueden trabajar con las primeras dos guías.

En esta clase estuvimos viendo los siguientes temas:

• Estrategias de Evaluación
  • Evaluación Ansiosa vs. Evaluación Perezosa
  • Listas infinitas
• Typeclasses e Inferencia de tipos.

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