ドメイン固有言語

Haskellでドメイン固有言語

こちら(GADTとDSL)とこちら(確率的プログラミングとGADT/DSL)とHaskellのEDSL GADTs(Generalized Algebraic Data Types)は、Haskellのデータ型である代数型データタイプを一般化したもの これを使って、AST(abstract syntax tree)を作ることができる。このAS…