코드 7줄, 3분 만에 프로그래밍 언어 구현하기 (2010) | Hacker News

해커 뉴스 게시물은 바이너리 람다 계산(Binary Lambda Calculus) 규약 아래에서 람다 계산이 실용적인 프로그래밍 언어로 작동할 수 있다고 주장한다.

글은 170비트 자기 해석기(self-interpreter)를 소개하며, 이를 훨씬 큰 Scheme 해석기와 비교한다.

이 비교를 통해 아주 최소한의 형식 체계도 일반 목적 계산을 충분히 지원할 수 있음을 보여준다.

또한 언어의 크기 한계와 단순한 입출력 규약의 힘을 강조한다.