関数 a -> b を取って、関数 f a -> f b を返すのです。こういう操作を、関数の持ち上げ(lifting)
という。
「引数を文脈に入れて返す」とも言われる。 引数が1 文脈がMaybeであればJust 1 みたいな具合。
- 作者: Miran Lipovača,田中英行,村主崇行
- 出版社/メーカー: オーム社
- 発売日: 2012/05/23
- メディア: 単行本（ソフトカバー）
- 購入: 25人 クリック: 580回
- この商品を含むブログ (69件) を見る
文脈 is 何
リストにはリストの意味を考えることができますし、I/O アクションもその意味を考えることができます。このようなプログラム上の意味を文脈といいますが、ここでは値を格納している型構築子のことを文脈と考えてもらってもかまいません
文脈うんぬんのはなしだと、ScalaのflatMapに似て入るけども、モナドやファンクターを扱うやつではない。と思われる。
