Полное разрешение классов типов в стиле Haskell для Java

Статья обсуждает реализацию механизма разрешения классов типов, характерного для языка Haskell, в среде Java. Рассматриваются подходы к эмуляции полиморфизма и статической проверки типов, свойственных функциональному программированию, на императивном языке.