AFP - Lecture 2 Domain Specifc Embedded Languages

4

Transcript of AFP - Lecture 2 Domain Specifc Embedded Languages

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