フォースとの決別

May the force be with you...
そう言われて育ってはきたけれど(!)、フォースを使わないで済むならそうしたい。
ということで、型関数(Type Function)を使ったミニハックをご紹介。



0
F#!F#!
10
"e + 1"で初めて変数eが評価されます。
ただ、型関数は利用できる場面が限られているので(ローカル変数としては使えない 等)、あまり便利なテクではないかもしれません・・・。


型関数はちょっとマイナーな機能ですが、 typeof<'T> や sizeof<'T> などはこの機能を使って実装されています。