2007-02-18から1日間の記事一覧
こないだ載せたテンプレートモナドの記事ですが、 型がイイカゲンな言語のほうが楽ちんに実装できますけど、本来のモナド概念は強い(ものすごく強い)型を背景とした定式化になっています。 こういうところ、あんまり厳密に書いてませんでした。 ※ 個人的に…
こないだ載せたテンプレートモナドの記事ですが、 型がイイカゲンな言語のほうが楽ちんに実装できますけど、本来のモナド概念は強い(ものすごく強い)型を背景とした定式化になっています。 こういうところ、あんまり厳密に書いてませんでした。 ※ 個人的に…