2009-02-04から1日間の記事一覧
はOCamlでは無理なのですよ。(例によって狭い世界では)みんな知ってるとは思うけど。なぜ無理かというと、let多相に制限があるからで、なぜ制限があるかというと副作用を許しているから。 # let filter x = List.filter ((<>) x);; (* これはまぁ大丈夫 *)…
はOCamlでは無理なのですよ。(例によって狭い世界では)みんな知ってるとは思うけど。なぜ無理かというと、let多相に制限があるからで、なぜ制限があるかというと副作用を許しているから。 # let filter x = List.filter ((<>) x);; (* これはまぁ大丈夫 *)…