PS

無名関数

無名関数, anonymous function

縦線つき矢印で対応を書く。

Placeholder syntax

簡単な関数の場合、placeholder syntaxが便利だ(この用語はScalaのもの)。 placeholderの記号はいろいろあって

これらは全て、の意味である。一番上が広く使われているようだが、たぶんマイナス記号ではない。 圏論では必須になっている。