Эффективность флотационных установок в процессах очистки сточных вод автомобильных моек 
День самоуправления #11 в марафоне #ЗИМАЗИМА 
«Из жизни авианосцев» Николая Колядко 
Февральская ловля: тонкости рыбалки в период глухой зимы 
Когда в соратниках согласья нет 
МЕДЛЕННО НО ВЕРНО 
Лещ зимой: стратегии успешной ловли в холодный сезон 
Метеорит за 323 миллиона под видом камня: как таможенники сорвали аферу в 
Пицца домашняя
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 -
Архив записей в блогах:
Встретились вчера днём с одной знакомой. Уви, видимся мы редко из-за здоровья - то ее дети болеют, то мы. Знаю я ее уже лет наверное пять, что по моим меркам очень много. Женщина она очень милая и добрая, эмоциональная и открытая. Сейчас в декрете с ребенком и наслаждается всеми ...
Белорусским жандармам не хватает лоска. Пришли, звонят в домофон. - Мы из КГБ. Откройте, пожалуйста. Приличные спецслужбы не мяукают под дверью. Они пробивают стену стремительным джипом. Они всегда в белых рубашках, в их страшной темнице только кушетка, плётка и наручники. Они так арест ...
Здравствуйте. Хочу узнать мнение сообщников вот о чем: " Изменять ли изменяющему мужчине?" Уверена на 90%, что мой мужчина мне изменил. Возможно изменяет сейчас. Точно не знаю. Но каждый день общается в интернете с девушкой (младше его почти в два раза) по два часа. Не понимаю ...
— Они летали на Луну? — спрашивает Оскар Хартманн у космонавта Сергея Рязанского на 5:07:
- Мы знаем доказательства. Есть и съёмки с разных спутников и с китайских и с российских , — отвечает космонавт.
Съёмки с российских спутников , мда... хороши, однако, доказательства! ...
...
