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