プログラマーのための圏論 - ショッピング・ショップ | 通販検索

【新品本書店】送料無料4000円以上

BartoszMilewski 著

出版社-オーム社

発売ー年月

コードで学ぶ、プログラマーのための圏論入門

〈本書のポイント〉

・C++とHaskellのコードを使って、圏論の概念を解説した

・数学書のような定理⇒証明の繰り返しではなく、プログラマーの慣れている技術書な解説とした

近年の並列・並行プログラミングにおける安全性確保では、共有可変状態に依存する設計の難しさが指摘されています。こうした課題への有力なアプローチの一つが関数型プログラミングであり、その背景として圏論（けんろん）が重要な役割を果たします。圏論は型理論やラムダ計算と並ぶ理論的基盤の一つです。

関心の高いプログラマーは、命令型言語に導入されたラムダ式などの関数型プログラミングのアプローチから関数型言語に興味をもったり、命令型と異なる関数型というパラダイムに対する関心をもったりするなかから関数型言語を学びます。そのなかの一部は、理論的背景となる圏論にも興味を持ちます．

しかし『ベーシック圏論』や『圏論の基礎』を前にして、数学的素養というハードルの高さを感じる読者も少なくありませ