dmzlj -

топ 100 блогов dmzlj19.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 ?



Оставить комментарий

Предыдущие записи блогера :
07.05.2010 dmzlj -
24.03.2010 postgresql
27.02.2010 dmzlj -
12.02.2010 302 Found
07.02.2010 dmzlj -
03.01.2010 dmzlj -
Архив записей в блогах:
В субботу мы с lady_sabbath решили провести эксперимент: проверить, насколько легко женщине познакомиться в реале, и для этого отправились в ирландский паб. О том, что происходило, Леля писала пост (с фотками) и обновляла его в режиме реального времени. В 20.30 мы ...
Давно я не выкладывала фоточки Лизки . А их накопилось не мало, пора исправлять это. Недавно мы с ней игрались на диване и я все это дело засняла на фотик. В конце концов, кошке надоело то, что она не может поймать фантик от конфетки, и она скорчила недовольную рожу и даже пыталась вонз ...
Сергей Шпилькин " украл " отличную идею у Григория Шерстюка и построил графики числа голосов за первое и второе места на праймериз Единой России по участкам в субъектах федерации, где результаты по участкам успели опубликовать (потом их стерли). Тут всех красот не опишешь, да и ...
... конечно слитые "заботливыми" фотобанками и официально не опубликованные. Фотограф - герцогиня Кембриджская ...
Сегодня в Питере – теракт в метро. Более десяти погибло от взрыва сразу, несколько десятков ранено, среди раненых несколько уже умерло, была еще одна большая бомба, но не взорвалась… Началась программа «Время», показывают самые важные новости из Питера. Вначале – долгий нудный репортаж ...