http://thesz.livejournal.com/ ([identity profile] thesz.livejournal.com) wrote in [personal profile] metaclass 2012-11-07 08:26 am (UTC)

Да, ещё вот, что надо заметить. Вот в этой статье https://www.precog.com/blog-precog-2/entry/existential-types-ftw есть список успехов: "Limited-to-no "classical" OO", "Most-Specific type at the "end of the world"" и т.д.

Я про эти успехи говорил.
(175 comments)

Post a comment in response:

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
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.