"О понимании типов,абстракции данных и полиморфизма" - читать интересную книгу автора (Карделли Л.)