"Interpreting Functional Languages: a tutorial" - читать интересную книгу автора (Simon L Peyton Jones, David R Lester)