mbps https://blog.hatena.ne.jp/mbps/ PS https://mbps.hatenablog.com/ 定義 圏論 無名関数, anonymous function 縦線つき矢印で対応を書く。 Placeholder syntax 簡単な関数の場合、placeholder syntaxが便利だ(この用語はScalaのもの)。 placeholderの記号はいろいろあって これらは全て、の意味である。一番上が広く使われているようだが、たぶんマイナス記号ではない。 圏論では必須になっている。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2013%2F04%2F08%2F034524" title="無名関数 - PS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://formula.s21g.com/?x%20%5Cmapsto%20(x%20+%201)%5E2.png Hatena Blog https://hatena.blog 2013-04-08 03:45:24 rich https://mbps.hatenablog.com/entry/2013/04/08/034524 1.0 100%