お気楽 Haskell プログラミング入門www.geocities.jp リストにはリストの意味を考えることができますし、I/O アクションもその意味を考えることができます。このようなプログラム上の意味を文脈といいますが、ここでは値を格納している型構築子のことを文脈…

関数 a -> b を取って、関数 f a -> f b を返すのです。こういう操作を、関数の持ち上げ(lifting) という。 「引数を文脈に入れて返す」とも言われる。 引数が1 文脈がMaybeであればJust 1 みたいな具合。 お気楽 Haskell プログラミング入門www.geocities.j…