このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2011-03-18から1日間の記事一覧

インデックス付き圏を使ってオブジェクト指向風計算を定式化してみる

不純な計算のモデルとしてモナドは強力ですけど、万能ってわけではないですね。例えば、オブジェクト指向風の計算は状態概念を伴います。状態付き計算にモナドを使えますが、あんまり適切じゃない気がするのです。もっと直接的に状態を更新する計算を定式化…