Тактильная плитка 500500: как устроить понятный и безопасный маршрут
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 -
Архив записей в блогах:
Сегодня стало известно о новых патронажах Меган, герцогини Саcсекской. Это Smart Works Charity , Mayhew , Ассоциация университетов Содружества и Королевский национальный театр . Давайте вспомним, как это было у герцогини Кембриджской =) Итак. Обе герцогини получили свои ...
И все-таки можно удивиться энергичности этих двух дам . Полтора месяца назад они еще были в Германии, потом поехали в Австрию, из Австрии в Словению, а сегодня уже в Хорватии. Но ни в одной из стран они не чувствуют себя достаточно уютно. Если в Германии, самой развитой стране ...
Сижу себе, бухаю и тут, на тебе фашист ракету. Ливер заявил, жертв и разрушений нет. ...
Все, кто интересуется экономической ситуацией в мире и в России, читает еженедельные обзоры Сергей Егишянца. А на днях вышел его отличный обзор по итогам посткризисного управления экономикой России: http://worldcrisis.ru/crisis/864082 ...
Я не знаю, как тут у нас в США, есть аналитики какие или нет, никто из моих знакомых ничего такого не знает и будущее не предсказывает (кроме глобальных утеплителей), но на русском постоянно можно узнать, что будет завтра, послезавтра, через год, через 30 лет, через 200 лет. Ну через 30 ле ...
