Наибольший общий предок

[metaclass]

Ребенок периодически компостирует мне мозги задачами на сложение чисел. Пока это просто числа, оно еще куда ни шло, но потом ей становится скучно и она добавляет к ним размерности, причем разные. Типа "сколько будет 3 воздушных шарика+2 бабочки".
Только сейчас спросонья дошло, что можно же свести объекты к общему предку и дать ответ в виде "число+тип предка". Ну как в скале - если в список добавить разных объектов, она автоматом тип к более общему сведет.
Но скажем, если из общего предка там только "объект", но у объектов есть общие свойства, например бабочки и шарики могут летать - не надо ли, в дополнение к объекту выводить еще и общие интерфейсы? В таком случае будет ответ "5 летающих объектов".

Comments

[blackyblack.livejournal.com]

А ещё Питон травишь за автоматическое приведение типов...

[falcrum.livejournal.com]

Не "наибольший", а "наиближайший" - не?

[xeno-by.livejournal.com]

Было бы круто, если бы в Скале были union types. В доте (новом калькулусе для Скале), впрочем, есть.

[aamonster.livejournal.com]

Ребе, вы забыли факин множественное наследование и агрегаты.
Три леденца + две коробки леденцов - это сколько?

P.S.:

[voidex.livejournal.com]

5 летающих объектов это уже потеря информации. 3 воздушных шарика и 2 бабочки это 3 шарика и 2 бабочки.

[theiced.livejournal.com]

абстрактная математика - зло. размерности не сходятся - задача идёт нахуй.

[arush-damage.livejournal.com]

Не, ответ будет "2 желтых штучки, красная, зеленая и синяя" %))

[woldemar kuchelbeker (from livejournal.com)]

Боюсь представить, что же будет в случае сложения действительных чисел с мнимыми.

[http://users.livejournal.com/_slw/]

а начинается всё с разрешения множимое и множитель местами менять

[berezovsky.livejournal.com]

конечно надо выносить, будет фантазию и абстрактное мышление развивать
но не летающих объектов, конечно, а пять летунов или что-нибудь похожее покрасивее

[zamotivator.livejournal.com]

"сколько будет 3 воздушных шарика+2 бабочки" == 5 предметов (объектов)

[maholet.livejournal.com]

Смех смехом, а я когда рассуждал наз возможными символьными вычислениями с точки зрения работы ИИ пришел примерно к такому же бреду, что мол операция над объектами со схожими свойствами может быть сведена к более обобщенному типу объектов, но при одном условии, если мы только опускаем мешающие свойства. Но тогда это скорее не операция сложения, а нечто более сложное, например оператор проецирования или редукции или еще чего...

По этому поводу вспоминается: 2 кг говна + 2 кг повидла = 4 кг ....

[cottidianus.livejournal.com]

btw в японском такое существует на уровне языка. Вещи считаются с применением счётных суффиксов и в японском совершенно нормально, когда
1 цилиндр бутылка + 3 цилиндра карандаша = 4 цилиндра
или
1 тортик + 2 зонтика = 3 хуйни

В японском это совершенно стандартные языковые конструкции и японец бровью не поведёт, если такое услышит.

[anatoly borodin (from livejournal.com)]

Вектор получится.

[anonim-legion.livejournal.com]

Возьмите задачку на умножение и типизацию результата:

pryf.livejournal.com/2875762.html