2017-12-29から1日間の記事一覧
入門的ではない型クラスの話:Haskellの型クラスがぁ (´^`;) オーバーロードは何故にかくも難しいのか:Haskellの成功と失敗 Haskellの型クラスに関わるワークアラウンド JavaScriptで説明するオーバーロード解決
弱2-圏 モナド論をヒントに圏論をする(弱2-圏の割と詳しい説明付き) 弱2-圏内のモナドに関する補足:モナドが作る2-圏の多様性 米田 困った時の米田頼み、ご利益ツールズ 「確率変数」の一般論は可能か 2次元の圏における米田の補題がわからない ラックス…