"Programming in Standard ML (11.02.11 draft)" - читать интересную книгу автора (Robert Harper)