"Programming with Arrows" http://www.cs.chalmers.se/~rjmh/afp-arrows.pdfの1.1 Pointfree programming のところを読む。 ポイントフリープログラミングは、パイプでつなげるような感じで、 自然にコンポーネントを組み立てるようにプログラミングができ…

Conceptual Mathematics: A First Introduction to Categories作者: F. William Lawvere,Stephen Hoel Schanuel出版社/メーカー: Cambridge University Press発売日: 1997/10/09メディア: ペーパーバック クリック: 7回この商品を含むブログ (15件) を見ると…