(no subject)

[singalen]

А я тут решил встроить Lua в Wesnoth. Встраивается он интересно: API нехарактерное. Вместо объектной модели вызовов, из C надо доступаться к некоему стеку, в который надо заталкивать и извлекать параметры.
Подрублю к движку доменную модель на C++ - покажу и расскажу.

Заодно обнаружил, что кроме билда на autotools там есть билд на SCons, и развивается ещё один на cmake. Я знаю, что эти тулзы - уже года три как не новость, но сейчас на cmake переходит всё больше и больше проектов.
Например, KDE собирают на cmake. Вот статья о том, как они пытались в 2006-м сначала перейти на scons, но фич не хватало, и саппорт от коммюнити был дохлый.
Хотя лично мне уровень абстракции scons нравится больше. К тому же, я время от времени корябаю что-то на пайтоне.

Autotools с их тремя версиями и жутким синтаксисом давно пора сдохнуть. Как хорошо, что это, считай, произошло.

CDT 6.0 в Ecipse 3.5 работает. Тоже отлично билдит, и даже умеет extract method/mark occurencies.

Comments

[singalen]

defclass?

[gabriel-irk.livejournal.com]

В Python объявления class Foo: тоже есть. Duck typing это не мешает.

[singalen]

И шо, и issubclass(Foo, Bar) сработает, если я в Bar определю все методы Foo?

[gabriel-irk.livejournal.com]

Я про issubclass в Питоне ничего не знаю. Но мне казалось, что термин duck typing придумал Гвидо. Можно, конечно, в википедии посмотреть. Но мне это не кажется принципиальным.

[singalen]

issubclass() необходим для диспетчеризации мультиметода.
Тут надо или трусы одеть, или крестик снять.

Я, конечно, могу придумать другой механизм диспетчеризации. Сделать runtime type inference, определять, какие параметры подходят каждой реализации метода... но это решение будет хуже проблемы.

В Lua же нету даже defclass, потому что только таблицы.

[gabriel-irk.livejournal.com]

Ты хочешь реализовать мультиметоды через множественную передачу? Или зачем тебе issubclass понадобился?
Мне кажется, что таким образом решится настолько общая задача, что это решение будет никому не нужно.

Но если очень хочется, то можно реализовать issubclass на том же метапрограммировании, приписывая инстансам классов подходящим образом сгенерированный тип, и проверяя его.

[singalen]

Множественная передача - это multiple dispatch? А это не определение ли мультиметода?

[gabriel-irk.livejournal.com]

Про множественную передачу - это я вспомнил зубодробительную схему из книги Джефа Элджера про C++.

Так зачем тебе issubclass понадобилась?

[singalen]

Там это называлось "двойная диспетчеризация", и пример был развёрнут только по двум параметрам. Больше можно, но слишком громоздко.

issubclass - чтобы корректно реализовать твой пример. Сейчас он нарушает принцип подстановки Лисков.

[gabriel-irk.livejournal.com]

У Элджера рассматривается и "удвоенная двойная диспетчеризация", и множественная - я чуть мозг не вывихнул. :)))

Т.е. ты хочешь на место параметра подставлять класс или его подкласс? Если для подкласса нет специального правила? А кто-то так вообще делает?

Ну, собственно в упомянутом LOOP есть функции class(object), instanceof(object, class), subclassof(object, class) и superclass(class). Так что можно приниматься за дело. ;)

[singalen]

http://en.wikipedia.org/wiki/Liskov_substitution_principle

За какое дело? Я пока остановился на Lua. Это зрелая технология.

[gabriel-irk.livejournal.com]

А я что сказал? :)
(это про принцип подстановочности)

И я про Lua. LOOP = Lua Object-Oriented Programming, если что. ;)
Хорошая, кстати, библиотека.

[singalen]

Ты спросил: "Если для подкласса нет специального правила? А кто-то так вообще делает?"
Я ответил: все так делают, принцип Лисков - это базовый принцип ООП.

На LOOP посмотрим.

[gabriel-irk.livejournal.com]

Ну, если базовый, то простой табличной диспетчеризации не получится - придётся громоздить вложенные if'ы. Впрочем, можно попробовать совместить и то, и другое.