型レベルプログラミング
type-level programming
型レベル
TypeScript
TypeScriptの型
https://susisu.hatenablog.com/entry/2020/03/10/125000
brainfuck
https://qiita.com/acid_chicken/items/c9cead41b6e70b429ee0#comments
オセロ
Haskellで型レベルプログラミングで遊ぶ
Scala
https://postd.cc/typelevel-quicksort-in-scala/
https://qiita.com/yasuabe2613/items/13fa771a4e3b113c7224
https://qiita.com/piyo7/items/12d08be6092659255215
Idris
http://docs.idris-lang.org/en/latest/st/examples.html
型レベルネットワークプロトコル
PureScript
https://qiita.com/matoruru/items/2ccb3f01fd57d5791a0c
fizzbuz
https://qiita.com/hiruberuto/items/9d32d96354740b2b7020
RowToList型クラス
https://purescript-resources.readthedocs.io/en/latest/typelevel-programming.html
https://jordanmartinez.github.io/purescript-jordans-reference-site/content/91-Type-Classes/Type-Level-Programming.html