Вскрытие замка: 3500 или 45000₽? Реальная история 
Нелёгкие 
Во всех ты, душенька, нарядах хороша 
Леди Элиза и леди Амелия Спенсер на Венском оперном балу. 
Подвиг Кузьмича 
Вьетнамская кухня и еда + экзотика
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 -
Архив записей в блогах:
Лет десять назад я написал стихотворение "Люди привыкают ко всему",
которое неожиданно для меня стало очень популярным в сети
(каждый день его цитируют по нескольку раз)
И вот сейчас я написал ответ - св ...
Анализируя рекомендации френдов по предыдущим выпускам все-таки решил представлять посты не в виде рейтинга, а в виде "Горячей 10-ки" самых интересных постов за минувшую неделю. Буду рад вашим замечаниям и рекомендациям!) А пока смотрите ...
Я снова в Италии. Приехала сюда полторы недели назад и сразу же мы отправились в короткое путешествие по югу страны. Чувствую я, что скоро про путешествия придется забыть. Вот и пользуемся возможностью. Перед отъездом из Питера я была слишком занята сбором вещей и прочими приготовлениями ...
Авиакомпания "Победа" и аэропорт Внуково в преддверии 70-летия Победы в Великой Отечественной войне провели фотосессию одного из 10 самолетов из парка авиакомпании - Боинг-737-800NG. На переднюю часть фюзеляжа Боинга была нанесена юбилейная символика - логотип с изображением голубя ...
Вчера В.Путин подписал указ, предоставляющий льготы при переезде в Россию «лицам, разделяющим традиционные российские духовно-нравственные ценности» (сам список этих ценностей – впрочем, довольно бессодержательный, был опубликован двумя годами раньше ). © Игорь Поночевный ...
