SRTP と型プロバイダを使った黒魔術が盛りだくさんです
そろそろ F# での型クラスの実用的な作り方について書いておく
あんまり一般受けするようなネタが思いつかなかったので，SRTP をゴリゴリ書いてる人向けの記事になってしまいました．ごめんなさい……
静的サイトジェネレータ flxble を自作して, ウェブサイトをそれに移行した.
今F# で依存型をシミュレートしようと頑張ってるのだけど、その途中でちょっと面白いことができたのでそこだけ切り出してまとめておく。
F# の言語機能の隠された真の力をお伝えするために、とりあえずは Haskell の do-notation のようなものを実現してみせよう。