描述如何将高级功能语言转换为称为lambda演算的中间语言,以及如何使用惰性图约简来实现。