подключаемые и опциональные системы типов

[wizzard]

Лютым фанатам статической типизации яростно рекомендуется. http://bracha.org/pluggable-types.pdf

via http://sdfgh153.livejournal.com/

А, да, и тем, кто верит в онтологии – тоже рекомендуется, это по сути недалеко ушло :)