Top Banner
4

AFP - Lecture 2 Domain Specifc Embedded Languages

Apr 12, 2022

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: AFP - Lecture 2 Domain Specifc Embedded Languages

AFP - Lecture 2 Domain Specifc

Embedded Languages

Patrik Jansson2014

(slides by Norell, Bernardy & Jansson)

Page 2: AFP - Lecture 2 Domain Specifc Embedded Languages
Page 3: AFP - Lecture 2 Domain Specifc Embedded Languages
Page 4: AFP - Lecture 2 Domain Specifc Embedded Languages

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