William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove · 91:05 · Watch on YouTube
이 강연은 변수 조회, 람다, 적용을 위한 세 줄의 핵심 코드만으로 이루어진 작은 Lisp-in-Lisp 메타순환 인터프리터가 어떻게 모든 계산을 포착하는지, 그리고 이를 miniKanren의 관계형 인터프리터로 다시 작성하면 평가가 가역적인 프로그램 합성으로 전환되는지를 보여줍니다.