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

[metaclass]

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

Comments

[blackyblack.livejournal.com]

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

[nivanych.livejournal.com]

Тут же не автоматическое, а ручное! ;-)

[falcrum.livejournal.com]

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

[xeno-by.livejournal.com]

Least upper bound. Наибольший это будет top, он же Any или Object.

[xeno-by.livejournal.com]

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

[xeno-by.livejournal.com]

К слову, если мне не изменяет память, лабы (lubs = least upper bounds) в Скале могут быть структурными типами. Т.е. тип выражения List(baloon, butterfly) скорее всего будет List[AnyRef { def fly: Unit }]. Сейчас не за компом, так что точно проверить не могу.

[aamonster.livejournal.com]

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

P.S.:

[sbj-ss.livejournal.com]

Если мне не изменяет память, потому что в наших глазах мало рецепторов, отвечающих за фиолетовый участок спектра.

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

а сколько две кучки камней и четыре камня?

[sassa-nf.livejournal.com]

23

[voidex.livejournal.com]

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

[alll]

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

[theiced.livejournal.com]

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

[metaclass.livejournal.com]

Ты же строки с числами в руби складываешь :)

[thedeemon.livejournal.com]

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

А ведь это ничто иное, как статическая проверка типов. Кто-то чужой пишет из под аккаунта айседа?

[arush-damage.livejournal.com]

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

[woldemar kuchelbeker (from livejournal.com)]

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

[metaclass.livejournal.com]

Комплексное число.

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

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

[aamonster.livejournal.com]

Матрицы, кватернионы и учителя начальной школы смотрят с осуждением.

[berezovsky.livejournal.com]

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

[zamotivator.livejournal.com]

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

[4da.livejournal.com]

корректно и бессмысленно

[maholet.livejournal.com]

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

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

[metaclass.livejournal.com]

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

[cottidianus.livejournal.com]

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

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

[cottidianus.livejournal.com]

пыщ

[anatoly borodin (from livejournal.com)]

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

[anonim-legion.livejournal.com]

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

pryf.livejournal.com/2875762.html