型レベルプログラミング - mrsekut-p

型レベルプログラミング

type-level programming

TypeScript

TypeScriptの型

https://susisu.hatenablog.com/entry/2020/03/10/125000

brainfuck

https://qiita.com/acid_chicken/items/c9cead41b6e70b429ee0#comments

オセロ

Haskellで型レベルプログラミングで遊ぶ

https://postd.cc/typelevel-quicksort-in-scala/

https://qiita.com/yasuabe2613/items/13fa771a4e3b113c7224

https://qiita.com/piyo7/items/12d08be6092659255215

http://docs.idris-lang.org/en/latest/st/examples.html

型レベルネットワークプロトコル

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