bitterharvest’s diary

A Bitter Harvestは小説の題名。作者は豪州のPeter Yeldham。苦闘の末に勝ちえた偏見からの解放は命との引換になったという悲しい物語

2015-02-15から1日間の記事一覧

Haskellで学ぶ圏論・ウォームアップ編 モノイドと二項演算子

1.モノイド圏の定義 前の記事でカリー化関数との関連の中でモノイドを説明した。モノイドは、二項演算子(中置演算子)を抽象化した概念で、対象が一つの圏である。そして、関数の合成を二項演算子とみなすことで、四則演算や、\(min\)や\(max\)などはモナ…