Cursada 2018‎ > ‎Bitácora‎ > ‎

Clase 5 - Evaluación diferida y Typeclasses

publicado a la‎(s)‎ 17 abr. 2018 5:16 por Nahuel Palumbo
Terminamos de ver los temas faltantes / pendientes:
  • Vimos que Haskell posee clase de tipos - typeclass - como forma de tratar polimórficamente distintos tipos de datos. En ellas se declaran las operaciones, como las interfaces de Java, pero no definen un tipo en sí mismas.
  • Por último, prestamos más atención a cómo funciona el motor de reducciones, sobre todo para el extraño caso de listas infinitas (y al operar sobre ellas). Descubrimos que tiene una forma de evaluación diferida que hace que solo se ejecute las expresiones necesarias para el resultado final. Esto es posible gracias a la ausencia de efecto colateral!
Los apuntes son:
Luego comenzamos a resolver el ejercicio de Monsters Inc. Les dejamos este apunte con una posible solución (no es exactamente el mismo enunciado pero supongo que les va a servir).
Todo el código de la clase lo pueden descargar acá abajo.
ċ
clase5.hs
(0k)
Nahuel Palumbo,
17 abr. 2018 5:16
ċ
monstersInc.hs
(1k)
Nahuel Palumbo,
17 abr. 2018 5:16
Comments