読者です 読者をやめる 読者になる 読者になる

osiire’s blog

ふしぎなそふとやさん

The 2008 ACM SIGPLAN Workshop on MLより。Invited Talk: Types for Units-of-Measure in F# (Andrew Kennedy)を読んだ。どうやらF#では値の「単位」を幽霊型で表現する模様。そーかー、言われてみればそういう使い方ができるなー。そういう論文はたくさんあるらしいのだけど、今まで読んだ事無かったし、思いつきもしなかった。今度OCamlでもやってみようかな。