Разновидности и особенности металлопроката 
Одесские французы российских ВВС 
Прогулка по любимому городу 
Бамбукий! И немного рабицы. 
Китиша - о Мизулиной, детях и "Роблоксе"(тм). 
Каравай 
ЖЖ: начало конца? 
Поздравление с католическим Рождеством! 
Новогодние подарки
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 -
Архив записей в блогах:
Согласно нынешней госпропаганде и школьным учебникам истории самым насыщенным с точки зрения числа и масштабов преступлений сталинизма(тм) является период 30-х годов прошлого века. Именно в тот период были совершены три главных преступления сталинизма(тм): индустриализация, коллективизация ...
Вызывали на разбор полётов двух "сраногидроавиаторов" в бассик. Как же эти обадва заколупале! И деффки ихние заколупале! И возраст их заколупал! И вообще да, дети - наша радость. Когда спят зупками к стенке! Жду недождусь, когда мой будующий внук отомстит моему настоящему сыну! ...
Нахлынула, так-скать, ностальгия - вспомнил, как во времена оны искал себе кассету с записью "Красавицы Мемфиса". И ведь что обидно - она была у меня на руках, я ее подержал, покрутил, а потом положил на место - ладно думаю, успеется, если вещи и поважнее, чем ...
ЧАСОВЩИК
Часовщик прищурил глаз, (Закрыть один глаз).
Чинит часики для нас. (Закрыть другой глаз).
(Открыть глаза.)
ЁЛКА
Ёлка плакала сначала (Потереть глаза.)
От домашнего тепла,
Утр ...
Schneider Kreuznach Edixa Tele Xenar 3.5/135 135mm под M42 тут предлагают весьма недорого.Вопрос-кто имел дело с этим стеклом,насколько оно хорошо,по сравнению с тем же Юпитером 37 к примеру? Как у него резкостью,контрастом,зайцами,контровым светом? Заранее ...
