Косметика Atelier Rebul 
Услуги электрика поселение Московский 
Сигал 
Готический волейбол 
Решающая неделя 
Найди невольные слова... 
Индекс IQ создан не для поиска гениев, а для отбора посредственностей 
Поездка на конференцию в загадочный город 
Не перепутайте! это патриоты, а предатели - это украинцы...
07.05.2010 —
dmzlj -
dmzlj -
dmzlj — 19.05.2010
Хиндли-Миллнер, модифициованный для языков с классами и
наследованием должен выглядеть забавно. Вместо равенства типов в
унификации надо будет использовать операцию проверки, не является
ли тип A наследником B или наоборот. Если внутри языка иерархия
классов представлена лесом (это еще если нет множественного
наследования, а оно ведь есть даже в джаве: интерфейсы), то это все
будет давать очень приличный множитель к сложности унификации, а
оно и так ведь достаточно сложное.Плюс казусы
class Core {
// нету someMethod();
}
class A : Core {
public void someMethod();
}
class B : Core {
public void someMethod();
}
///
///auto x = someFactory().create();
auto x = null;
x.someMethod();
// Ну и какого класса у нас x ?
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
24.03.2010 —
postgresql
27.02.2010 —
dmzlj -
12.02.2010 —
302 Found
07.02.2010 —
dmzlj -
04.02.2010 —
Объясняю, что такое указатели. Недорого.
03.01.2010 —
dmzlj -
Архив записей в блогах:
1. Отчитываюсь о промежуточных итогах сбора средств на «Руксперт». Мы собрали 435 тысяч рублей, многие подписались на ежемесячную помощь. Теперь наше будущее обеспечено примерно до лета 2019 года, и вся команда «Руксперта» испытывает по отношению к жертвователям чувство горячей ...
На волне сообщений из Ливии, Руанды, Туниса, Сирии и т.д. об изнасилованиях как оружии становится неактуальным популярный в свое время лозунг "Занимайтесь любовью, а не ...
В Римской империи две тысячи лет назад нравы были совсем не строгие. Но жизнь, которую вела жена римского императора Клавдия, Валерия Мессалина (ок. 20-48 гг.) смущала даже весьма свободных в сексуальном отношении римлян.
Достоверных изображений ...
Много писалось о членах сообщества "Правозащитные Известия", которые открыто провозглашают своей целью "антилиберальный троллинг". (см. напр. http://social-media-ru.livejournal.com/9972.html ). Отличительная особенность большинства этих троллей (см. ниже, - "Саша ...
Григорий Александров и Любовь Орлова.
Знаменитая советская актриса Любовь Орлова была женой не менее знаменитого кинорежиссера Александрова. Жили они в любви и согласии, что не мешало Александрову име ...
