読者です 読者をやめる 読者になる 読者になる

PLUS

プログラム lambda

と思って定義を確認したらPLUSができた.
PLUS := λm n f x. m f (n f x)

(function(m){
  return function(n){
    return function(f){
      return function(x){
        return m(f)(n(f)(x));
      }
    }
  }
})