Home Blog

Archive: 3月 2018

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

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

Articles are licensed under CC BY-SA 3.0 (unless explicitly mentioned)

Code examples are licensed under the Expat(MIT) license.

CC BY-SA 3.0

This site is powered by Flxble, and it's my own blog engine!