Система типов Скалы.

[thesz]

Подробное объяснение некоторых проблем с системой типов Скалы (и, заодно, с компилятором). Один из комментариев содержит параграф "I am the original author of scalaz. I still don't understand how to best help Scala figure stuff out. I am starting to think it is a lost cause.".