関数 a -> b を取って、関数 f a -> f b を返すのです。こういう操作を、関数の持ち上げ(lifting)
という。
「引数を文脈に入れて返す」とも言われる。 引数が1 文脈がMaybeであればJust 1 みたいな具合。
- 作者: Miran Lipovača,田中英行,村主崇行
- 出版社/メーカー: オーム社
- 発売日: 2012/05/23
- メディア: 単行本(ソフトカバー)
- 購入: 25人 クリック: 580回
- この商品を含むブログ (69件) を見る
関数 a -> b を取って、関数 f a -> f b を返すのです。こういう操作を、関数の持ち上げ(lifting)
という。
「引数を文脈に入れて返す」とも言われる。 引数が1 文脈がMaybeであればJust 1 みたいな具合。