■

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