ファンクタであそぼう - 非現実的非日常的非常識的、非日記。

Haskell, ITこの記事はHaskell Advent Calendar 2013の3日目の記事です。 目次どうして？ファンクタを拡張しようおさらい引数をふたつ取ろう逆転の発想共変・反変・自由変・固定変データ型の整理正の位置と負の位置自由変と固定変ファンクタ類を自動生成しようまとめおまけThornについてCPLであそぼう どうして？ファンクタはHaskellに欠かせないものですが、ファンクタを一般化して見るという見方は意外に広まっていないように感じます。分かってしまえば単純な話だけにもったいないと思ってこの記事を書くことにしました。 また、僕は最近Thornというライブラリを作りました。これは、さまざまなデータ型から関手や畳み込み・展開をTemplate Haskellを使って自動生成するライブラリです。このライブラリを作るなかで気づいたことも合わせて書いていこうと思います。 ファン

[Haaaa_N]

反転ファンクタあたりから何を言ってるのかさっぱりわからなくなった

[Nnwww]

Functor類を一度に学べる，説明も可換図式付きで分かりやすい

[kirakking]

CPL面白そう > 関数型を定義するというのがかなり変わっていますが、プリミティブには関数のかわりに射を扱います。関数はあくまで射を通して扱うデータのひとつなのです。

[cube_cube]

はんぺんファンクタを含む話。(よくわかっていない)

[letsspeak]

ファンクタであそぼう - 非現実的非日常的非常識的、非日記。 (id:Kinokkory)

[uehaj]

関数はあくまで射を通して扱うデータ(CPLの話)