Abordaje Funcional a EDSLs - ECI2024_N1

Recursos

• learnyouakashell
• Functors, Applicatives, And Monads In Pictures
• Three Useful Monads
• Explanation of Generalized Algebraic Data Types | Video | Texto

Clases

N°	Tema	Código
1	Repaso funcional - Intro EDSLs	Comb parsers
2	Parsers aplicativos - Functores aplicativos	Parsing
3	Mónadas - Parsers monádicos	Monadic parsing
4	Intérpretes Tagless-Final
5	Deep-embeding en tipados - GADTs

Evaluación

Consigna del parcial

N°	Resolución
1	Shallow embedding
2	Deep embedding
3 a 1	Pp Shallow
3 a 2	Pp Deep
3 b c	Parser y UProp