2011-03-05から1日間の記事一覧
型に厳しいことで有名な言語であるStandard MLで C++でよく使われる,type erasure(型消去)パターンを実現する方法を紹介します. (* 斉藤さんのコメントによる指摘を受けて追記 *) fun op $ (f,x) = f x; infixr 1 $; (* コード中の行頭に - の付いた行はイン…
型に厳しいことで有名な言語であるStandard MLで C++でよく使われる,type erasure(型消去)パターンを実現する方法を紹介します. (* 斉藤さんのコメントによる指摘を受けて追記 *) fun op $ (f,x) = f x; infixr 1 $; (* コード中の行頭に - の付いた行はイン…