Строительство и эксплуатация инженерных сооружений: содержание курса и практическое применение
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.Но первые хвойные партизаны уже начинают оккупир ...
Заранее прошу прощения у владельца за второй пост, но на меня сейчас накатило вдохновение, а захочу ли я завтра публиковать пост на данную тему я не знаю, поэтому публикую как есть. Если владелец скажет, готов понести дисциплинарное наказание в виде нескольких дней отсутствия публикаций. ...
Это про пост концентрированного либерала ...
27.09.2022
В прошлом повествовании вернулись с озера Рица ( https://cand-orel.livejournal.com/2397313.html ), в этот раз отправились в Гудауту. Доехали до центра — улица Махаджиров, парк культуры и отдыха имени Орджоникидзе.
...
Во-первых, обилие трудов по той или иной теме ещё не говорит о том, что она достаточно изучена. Во-вторых, если даже какое-либо положение и выглядит общепризнанным, это ещё не значит, что оно верно. Более того, подобная «общепризнанность» сама по себе ...
