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 -
Архив записей в блогах:
Запомни ноябрь и день его пятый, Порох, измену и ложь. Героя отважного заговор правый Из памяти ты не сотрешь... Оргкомитет " Московского Чаепития " согласовал с властями Москвы проведение 5 ноября факельного шествия в Центре Москвы с ...
Это ОЧЕНЬ заметно по начавшему разрабатываться именно тогда Единому народнохозяйственному плану 12-й Пятилетки. Предусматривавшему массовую релокацию стратегических производств, особенно ВПК, с территории УРСР на территорию РСФСР в 1986-1990 и далее по 2000.
Причем там целый ряд ...
Ирина Николаевна Антанасиевич aka iraan говорит, что эта эмиграция похожа на ту в двух вещах. Во-первых, мы, как и они, очень любим котиков и собачек. А во-вторых, уважаем публичные лекции. К этому виду досуга белградчан приохотили именно выходцы из России. До них было не принято. ...
А ведь могли не украсть, а наоборот. Подложить. Понимаете что именно подложить? Я бы на месте Путина и Шамана приказал бы проверить все борты авиаотряда Россия. Досконально. Со сканерами, спецухой. Объясню некоторым в ФСО и ФСБ, чтобы потом не стрелялись... Самолёт этот - не просто ...
У меня есть три красивые открытки из Киева. С удовольствием порадую читателей и отправлю этот маленький сувенир. Нужно только вписать адрес. Хотите, отправлю именно вам? Это лотерея, но правила игры очень простые: оставляете комментарий, что хотите карточку. Тот, чей коммент окаж ...
