Skip to Main Content

no subject

> Type inference в Джаве, например, циклится на некоторых дженериках

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

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

Post a comment in response:

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message