Date: 2007-01-07 12:29 am (UTC)
> Type inference в Джаве, например, циклится на некоторых дженериках

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

Попробую что-нибудь узнать про это..
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

Profile

anhinga_anhinga: (Default)
anhinga_anhinga

July 2021

S M T W T F S
    123
45678910
11121314151617
18 192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 2nd, 2025 10:31 am
Powered by Dreamwidth Studios