カリー化とは 「引数を複数受け取る関数」を「引数を段階的に受け取る関数」に分解する let add = (n, m) => { return n + m } let addCurry = n => { return m => { return n + m } } //呼び出し方 add(3,4) addCurry(3)(4) これだけだとあんまり利点を感じ…

半分ぐらい読んだ。 序盤のラムダ計算から関数型プログラミングを説明するところはとても良い。 ただ、中盤ではjavascriptに無理やりパターンマッチングを導入し説明している。 ここのせいでコードが読みづらいし、直感的にわかりにくくなってる。「javascri…

predicate 意味：述語日本語の述語には2つ意味がある 1つ目は主語と述語。動詞とほぼ同義。 2つ目は数学用語の述語。 こっちの意味は 変数 ｘ の値を定めることで真偽を判定することができる主張を 『 述語 』 という。 命題論理と述語論理プログラミングに…