bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

今日は圏論勉強会でした

なんか勢いでテキスト変わっちゃいました。

40ページ弱だし初学者向けの文献だけど、参加者多数の支持を受けて採用ということに。

Why do I need a monad for IO in Haskell? The standard explanation is, that the IO monad hides the non-functional IO actions ―which do have side effects― from the functional world of Haskell. But how does this "hiding" work, apart from having IO actions disappearing beyond the borders of my knowledge?

This report scratches the surface of category theory, an abstract branch of algebra, just deep enough to find the monad structure. On the way we discuss the relations to the purely functional programming language Haskell. Finally it should become clear how the IO monad keeps Haskell pure.

This guide tries to fit exactly between the available theoretical literature about category theory on the one side and literature about how to program with monads on the other.

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。