2018-05-13から1日間の記事一覧
はじめに 抽象構文木の書き方を色々と試行錯誤していて考えついた方法について書いておこうと思います。 Haskell で抽象構文木を書く方法はかなり色々あります。 例えば data で定義する GADTs を使った方法 Fix を使った方法 (Data types à la carte) Tagle…
はじめに 抽象構文木の書き方を色々と試行錯誤していて考えついた方法について書いておこうと思います。 Haskell で抽象構文木を書く方法はかなり色々あります。 例えば data で定義する GADTs を使った方法 Fix を使った方法 (Data types à la carte) Tagle…