Obtener pellets de alimento adicionados para ratas y ratones sometidos a estudios de comportamiento conductual. Estos compactos deben poseer un tamaño de 4 a 6mm de diámetro para poder ser dispensadas en jaulas especiales denominadas cajas de Skinner...

Este seminario propone un recorrido a través de las extensiones más conocidas del sistema de tipo del compilador GHC de Haskell: 1. El sistema de tipos de Haskell, clases de tipos, 2. FlexibleContexts, FlexibleInstances, 3. GADTs, Phantom Types, 4. R...