afp - lecture 2 domain specifc embedded languages
TRANSCRIPT
![Page 1: AFP - Lecture 2 Domain Specifc Embedded Languages](https://reader033.vdocuments.site/reader033/viewer/2022042013/625587fc9e53b129ac40aec7/html5/thumbnails/1.jpg)
AFP - Lecture 2 Domain Specifc
Embedded Languages
Patrik Jansson2014
(slides by Norell, Bernardy & Jansson)
![Page 2: AFP - Lecture 2 Domain Specifc Embedded Languages](https://reader033.vdocuments.site/reader033/viewer/2022042013/625587fc9e53b129ac40aec7/html5/thumbnails/2.jpg)
![Page 3: AFP - Lecture 2 Domain Specifc Embedded Languages](https://reader033.vdocuments.site/reader033/viewer/2022042013/625587fc9e53b129ac40aec7/html5/thumbnails/3.jpg)
![Page 4: AFP - Lecture 2 Domain Specifc Embedded Languages](https://reader033.vdocuments.site/reader033/viewer/2022042013/625587fc9e53b129ac40aec7/html5/thumbnails/4.jpg)
Summary� Diferent kinds of operations
� constructor functions / combinators / run functions� primitive / derived
� Implementation styles� Shallow � representation given by semantics� Deep � representation given by operations
� Remember� Compositionality� Abstraction