[identity profile] anhinga-anhinga.livejournal.com 2007-01-07 12:29 am (UTC)(link)
> Type inference в Джаве, например, циклится на некоторых дженериках

Ну циклится и циклится, какое кому дело.. В Standard ML тоже циклится -- это, кажется, принципиальный недостаток подобных полиморфных систем типов..

Попробую что-нибудь узнать про это..