モナドへの近道・Haskell からの寄道
モナドへの近道・Haskell からの寄道 中村翔吾∗ 2007 年 1 月 26 日 本稿の趣旨 圏論のモナドとプログラミング言語 (Haskell) の間にはどの様な関係があるのか．この問いに答えるた めには，当然だが，少なくともモナドが理解できる程度に圏論を知らなければならない．本稿は，圏論の知 識が全くないところから，モナドを理解するまでの，最短コースの道のりをたどり (第 1,2 章)，これを前 提にして Haskell と圏論との関係を考察する (第 3 章)．読者には圏論の知識を要求しないが，Haskell の 文法の基本的な理解は前提としている．また，圏論に関しては，あくまでも「モナドへの最短コース」なの で，米田の補題，普遍性，コンマ圏，極限などの重要な概念は解説していない． 1 基礎知識の準備 定義 1 (メタグラフ metagraph) メタグラフは射 (arrow
ソースコード探険隊
What's new - 更新履歴 直近20件の新しい記事です。 2024-02-28: ASUS ROG ノートパソコン FLOW・ZEPHYRUS・STRIX の違い、比較 2024-01-14: ASUS ノートパソコン製品シリーズの違い・比較 2023-12-10: ゲーム開発に最適なノートパソコンの選び方／おすすめ機種紹介 2023-11-18: 動画編集に最適なノートパソコンの選び方／おすすめ機種紹介 2023-11-03: プログラミングに最適なノートパソコンの選び方／おすすめ機種紹介 2023-09-09: 『ノートパソコン購入ガイド』を公開 2023-04-29: 推理小説『水車館の殺人』の感想 2023-03-26: Lenovo 公式サイトの「ThinkBookとThinkPad の比較」を評価する 2023-03-21: Lenovo ThinkPad と Thin
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TechCrunch | Startup and Technology News
