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

[metaclass]

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

Comments

[blackyblack.livejournal.com]

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

[falcrum.livejournal.com]

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

[xeno-by.livejournal.com]

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

[xeno-by.livejournal.com]

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

[xeno-by.livejournal.com]

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

[metaclass.livejournal.com]

Как это на русский лучше перевести?:)
Наименьший общий тип?:)

[aamonster.livejournal.com]

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

P.S.:

[voidex.livejournal.com]

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

[thedeemon.livejournal.com]

наименьшая верхняя грань.

Только странный у вас выбор направления - что внизу, а что вверху.

[xeno-by.livejournal.com]

Я бы посмотрел как переведено в русском Types and Programming Languages

[thedeemon.livejournal.com]

А почему он больший, а не меньший?

[sbj-ss.livejournal.com]

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

[xeno-by.livejournal.com]

Никогда не задумывался, если честно. Просто когда слышишь least upper bound буквально каждый день, запоминается. Да и сабтайпинг в Скале обозначается как <:, что как бы намекает.

Я полагаю, что это из-за того, что сабтайпинг рассматривается как отношение предпорядка, обычно обозначаемое как ≤. А так как top это супертайп для любого типа, значит он меньше всех. Но это исключительно мои догадки.

[metaclass.livejournal.com]

Least upper - тут получается "самый низкий из высоких". И top по идее, как раз больше всех.
Т.е получается bottom <: обычные типы <: top

[xeno-by.livejournal.com]

Да, фейспалм, спасибо за то, что поправил.

[theiced.livejournal.com]

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

[metaclass.livejournal.com]

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

[thedeemon.livejournal.com]

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

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

[trueblacker.livejournal.com]

что дальше?
Айсед станет псить на стабильность?

[arush-damage.livejournal.com]

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

[gds.livejournal.com]

а в окамле coercion обозначается как :> , что соответствует логике: уменьшает (точнее, не увеличивает) количество известной информации. Для объектов -- выкидывает методы. Для вариантов -- добавляет новые варианты, "размазывая" знание (раньше было известно, что A | B, а стало A | B | C, и неуверенность в том, к какому же варианту принадлежит значение типа, возросла, и без рантайм-движух (поматчить) не сведётся обратно к A | B).

[woldemar kuchelbeker (from livejournal.com)]

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

[metaclass.livejournal.com]

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

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

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

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

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