Lecture 2

Round 1:

今天的题目是 Domain Specific Embedded Languages

  • 正式上课之前,Patrik讲了一下 Signal的代码实现,对其中 unSig的部分我不是特别理解,其他部分都还可以

  • DSEL: Aset of types modelling concepts in the domain
  1. Combinators: combing and modifying elements
  2. Run functions: making observations
  3. Constructor functions : constructing element
  • Deep & Shallow embedding

然后就是以Shape为例的Deep & Shallow embedding






Round 2:




  • primitive operation & derived operation
  • shallow embedding & deep embedding:
    In shallow embedding, it is much easier to write a run function because it is more close to the semantics and most of the work should be done by construction part. 这个不是绝对的,有时候两个run function可能是完全不同的概念有完全不同的朝向。
    In deep embedding, the constructor does less, run function does the major job. It is more like an interpreter for the language.
  • GADT:generalized abstract data type. 理论上第一次见到GADT的实例







个人分类: 学习随笔——AFP
上一篇Lecture 1 & 2
下一篇Going home
想对作者说点什么? 我来说一句

Lecture 2: Models of Computation

2015年07月25日 944KB 下载

CS229 Lecture notes Andrew Ng

2015年07月02日 1.98MB 下载