bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2007-02-18から1日間の記事一覧

テンプレートモナド 追補

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

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。