Ciencias de la Computación FAMAF - categorias
https://wiki.cs.famaf.unc.edu.ar/
2026-04-09T09:39:11+00:00Ciencias de la Computación FAMAF
https://wiki.cs.famaf.unc.edu.ar/
https://wiki.cs.famaf.unc.edu.ar/_media/wiki:dokuwiki.svgtext/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)anterior
https://wiki.cs.famaf.unc.edu.ar/categorias:anterior?rev=1763225254&do=diff
Teoría de Categorías
Generalidades
* Docente: Daniel Fridlender.
* Dictado: 2 clases teóricas semanales de 2 horas (lunes y miércoles de 14 a 16 hs en el aula 15) + horario de consulta para resolución de ejercicios (lunes y miércoles de 16 a 17 hs en el aula 15).text/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)con_monadas
https://wiki.cs.famaf.unc.edu.ar/categorias:con_monadas?rev=1763225254&do=diff
data Exp = Val Int
| Mas Exp Exp
| Menos Exp Exp
| Por Exp Exp
| Div Exp Exp
-- Monada
{- Con la monada identidad, antes de evaluar Div
type T a = a
t :: (a -> b) -> T a -> T b
t f = f
eta :: a -> T a
eta a = a
mu :: T (T a)text/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)main
https://wiki.cs.famaf.unc.edu.ar/categorias:main?rev=1763225254&do=diff
Teoría de Categorías
* Años anteriores
Generalidades
* Docente: Daniel Fridlender.
* Dictado: 2 clases teóricas semanales de 2 horas (horario a convenir) + horario de consulta para resolución de ejercicios (horario a convenir).
* Regularidad: entrega de resolución de ejercicios seleccionados.text/html2025-11-15T16:47:34+00:00Anonymous (anonymous@undisclosed.example.com)sin_monadas
https://wiki.cs.famaf.unc.edu.ar/categorias:sin_monadas?rev=1763225254&do=diff
data Exp = Val Int
| Mas Exp Exp
| Menos Exp Exp
| Por Exp Exp
| Div Exp Exp
{- antes de Div
eval :: Exp -> Int
eval (Val i) = i
eval (Mas a b) = eval a + eval b
eval (Menos a b) = eval a - eval b
eval (Por a b) = eval a * eval b
eval (Div a b) = eval a `div` eval b
-}