"Practical Aspects of Declarative Languages, 10 conf., PADL 2008" - читать интересную книгу автора (Paul Hudak, David S. Warren)