2013-04-08 無名関数 定義 圏論 無名関数, anonymous function 縦線つき矢印で対応を書く。 Placeholder syntax 簡単な関数の場合、placeholder syntaxが便利だ(この用語はScalaのもの)。 placeholderの記号はいろいろあって これらは全て、の意味である。一番上が広く使われているようだが、たぶんマイナス記号ではない。 圏論では必須になっている。