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

[metaclass]

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

Comments

[maholet.livejournal.com]

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

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

[metaclass.livejournal.com]

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