Archive: 3月 2018

F# で型レベルプログラミング

今F# で依存型をシミュレートしようと頑張ってるのだけど、その途中でちょっと面白いことができたのでそこだけ切り出してまとめておく。