这周四 10.1 晚上 19:30
http://www.meetup.com/Functional-Thursday/events/225176689/
主题：
Embedding and optimizing domain-specific languages in the typed final style
[英文]
讲者：
Oleg Kiselyov
http://okmij.org/ftp/
( 这个是别人对 Oleg 的印象图 XD http://tinyurl.com/a77e6yu )
( When Oleg shows a newbie how to solve a problem )
以下是讲者所提供的演讲主题内容介绍~~ ^^
Typed final (aka, ``tagless-final'') style is a general method of embedding
(typed, higher-order) domain-specific languages (DSL) in a typed functional
language such as Haskell, OCaml, Scala and Coq. Once written, a DSL
expression may be interpreted many times. Evaluator, compiler,
partial evaluator, pretty-printer are all interpreters. At any time one may
add more interpreters, and even more expression forms to the DSL while
re-using the previous interpreters as they were. Only well-typed DSL terms
are representable. Therefore, the type checker of the host language checks