無名ラムダ変数とセクション記法
混乱を招くこともあるが、Haskellのセクション記法が便利なこと気付いた。
- (△b) = λx.(x△b)
- (a△) = λx.(a△x)
特に、関数結合;に対して使うと:
- (;f)(u) = u;f 後結合=前送り
- (f;)(u) = f;u 前結合=引き戻し
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
混乱を招くこともあるが、Haskellのセクション記法が便利なこと気付いた。
特に、関数結合;に対して使うと: