Embedded Files
MiniCurso sobre Lenguajes de Dominio Espcífico Embebidos
MiniCurso sobre Lenguajes de Dominio Espcífico Embebidos
https://meet.google.com/iwi-pffe-ctw
Temario:
Temario:
- Introducción a DSLs y EDSLs
- Introducción a DSLs y EDSLs
- Clasificación: Shallow Embedding y Deep Embedding.
- Clasificación: Shallow Embedding y Deep Embedding.
- Functores Aplicativos y Mónadas
- Functores Aplicativos y Mónadas
- Ejemplo de shallow embedding: Parsers funcionales (aplicativos y monádicos).
- Ejemplo de shallow embedding: Parsers funcionales (aplicativos y monádicos).
- EDSLs bien tipados y tagless encoding:
- EDSLs bien tipados y tagless encoding:
+ Shallow embedding (tagless final)
+ Shallow embedding (tagless final)
+ Deep embedding (tagless initial, GADTs)
+ Deep embedding (tagless initial, GADTs)
Dirigido a estudiantes de Ciencias o Ingeniería de la Computación, Matemáticas y áreas afines.
Dirigido a estudiantes de Ciencias o Ingeniería de la Computación, Matemáticas y áreas afines.
Se asume que las personas participantes tengan nociones básicas de programación funcional (en particular, Haskell).
Se asume que las personas participantes tengan nociones básicas de programación funcional (en particular, Haskell).
Edificio C (nuevo) del IIMAS
Edificio C (nuevo) del IIMAS
30 de septiembre
30 de septiembre
Salón C 13
Salón C 13
10:00 a 12:00 hrs.
10:00 a 12:00 hrs.
16:00 a 18:00 hrs.
16:00 a 18:00 hrs.
03 de octubre
03 de octubre
Salón C 13
Salón C 13
10:00 a 12:00 hrs.
10:00 a 12:00 hrs.
16:00 a 18:00 hrs.
16:00 a 18:00 hrs.
04 de octubre
04 de octubre
Salón C 12
Salón C 12
10:00 a 14:00 hrs.
10:00 a 14:00 hrs.
Se les podrá dar constancia de participación con asistencia al 80% de las sesiones.
Se les podrá dar constancia de participación con asistencia al 80% de las sesiones.
Referencias para EDSLs :
Referencias para EDSLs :
* Functional Programming for Domain-Specific Languages
* Functional Programming for Domain-Specific Languages
Jeremy Gibbons
Jeremy Gibbons
CEFP − Summer School on DSLs. LNCS Vol. 8606, 2013.
CEFP − Summer School on DSLs. LNCS Vol. 8606, 2013.
Se encuentra en su página web:
Se encuentra en su página web:
* Typed Tagless Final Interpreters
* Typed Tagless Final Interpreters
Oleg Kiselyov
Oleg Kiselyov
SSGIP 2010, LNCS Vol. 7470, 2012
SSGIP 2010, LNCS Vol. 7470, 2012
El curso es escencialmente el que se expuso en la Escuela de Ciencias Informaticas, en Buenos Aires Argentina 2024:
El curso es escencialmente el que se expuso en la Escuela de Ciencias Informaticas, en Buenos Aires Argentina 2024:
Page updated
Report abuse