2018-01-10から1日間の記事一覧
どうやら、米田埋め込みを単位とするモナドがありそうです。ちゃんと構成するのはけっこう大変。このモナドを定義するためのアウトラインを示します。内容: 伝説としての米田モナド 前層構成子の上のモナド: 楽観的な導入 サイズの問題とフレイド/ストリ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
どうやら、米田埋め込みを単位とするモナドがありそうです。ちゃんと構成するのはけっこう大変。このモナドを定義するためのアウトラインを示します。内容: 伝説としての米田モナド 前層構成子の上のモナド: 楽観的な導入 サイズの問題とフレイド/ストリ…