사실 전에 한 번 구현을 시도해봤다가 포기했지만 다시 도전함.

lambda lifting은 클로저를 빼내는 작업이고,

full-laziness는 재평가를 방지하는 최적화 기술인데,

둘 다 이 책의 6장에서 다뤄짐:

https://www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial/

이것들만 구현하면 드디어 nabi 백엔드가 끝남 ㅎ

그런데 왠지 이미 짜둔 것도 처음부터 다시 짜야될 것 같은 느낌이 듦;;