2008-09-26から1日間の記事一覧
The 2008 ACM SIGPLAN Workshop on MLより。Invited Talk: Types for Units-of-Measure in F# (Andrew Kennedy)を読んだ。どうやらF#では値の「単位」を幽霊型で表現する模様。そーかー、言われてみればそういう使い方ができるなー。そういう論文はたくさ…
The 2008 ACM SIGPLAN Workshop on MLより。Invited Talk: Types for Units-of-Measure in F# (Andrew Kennedy)を読んだ。どうやらF#では値の「単位」を幽霊型で表現する模様。そーかー、言われてみればそういう使い方ができるなー。そういう論文はたくさ…