Shibuya.lispテクニカルトーク #4

  • スタッフの方々、ありがとうございました
  • たのしかったです
  • 内容についてはemasakaさんがいつものように詳しくまとめてくれているので略→こちら
  • 私のLTのスライド↓


pure lambda factorial functionのコード

((lambda (f)
   ((lambda (p)
      (f (lambda (x) ((p p) x))))
    (lambda (p)
      (f (lambda (x) ((p p) x))))))
 (lambda (f)
   (lambda (n)
     (((lambda (n) ((n (lambda (x) (lambda (x y) y)))
                    (lambda (x y) x))) n)
      (lambda (c) (lambda (x) (c x)))
      (lambda (c)
        (lambda (x)
          (((f (lambda (c)
                 (lambda (x)
                   (((n (lambda (g)
                          (lambda (h)
                            (h (g c))))) (lambda (u) x))
                    (lambda (u) u)))))
            (n c)) x)))))))