Haskellで出来なかったことをPureでリベンジその2 再帰を使わずにYコンビネータを定義する 404 Blog Not Found:Y combinator is forbidden in Haskell!? ところがぎっちょんぎっちょんちょん。これが出来ないのです。 ch_y = \ f -> (\ x -> f (x x)) (\ x -…

Haskell風の文法だけど動的型なPureという言語を発見。 The Pure Programming Language Pure has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat sim…