미란다 코드를 G-machine 어셈블리어로 바꾸는 부분 보고 있는 중임.

하스켈이랑 미란다랑 살짝 차이가 있어서 책에 있는 대로 구현하면 안 되고 살짝 변형해야 하는데 그게 너무 어렵다.

게다가 책에서는 특수화된 경우만 다루고 일반화된 경우는 알아서 응용하라고 하는데 그게 안 된다.

응용이 안 되는 건 수학을 못하기 때문인가,
아니면 G-machine 원리를 몰라서 그런가?

함수형은 너무 어려운 게 매력이야 ㅠㅠ

- dc official App