ι←これ link ね、見えにくいけど。 Why care whether Iota is unambiguous? If ambiguous languages were allowed, we could do without the star, and have an even simpler language: Syntax Semantics F --> i ^x.xSK F --> F F [F][F] This language has…

map2 :: (a -> b) -> (c -> d) -> ([a], [c]) -> ([b], [d]) -- map2 f g (xs, ys) = (map f xs, map g ys) -- map2 f g = uncurry $ (. map g) . (,) . map f -- map2 f g = uncurry $ (. (,) . map f) (. map g) -- map2 f g = uncurry $ (. (,) . map f) …

李斯が出るのに李氏朝鮮が出ない。韓信も。

expr1 $ expr2 = ((expr1) (expr 2))ゆえに e1 $ e2 $ e3 = ((e1) ((e2) (e3)))で f . g $ x = ((f . g) (x))