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

Date: 2013-04-18 07:44 am (UTC)
From: [identity profile] theiced.livejournal.com
абстрактная математика - зло. размерности не сходятся - задача идёт нахуй.

Date: 2013-04-18 07:48 am (UTC)
From: [identity profile] metaclass.livejournal.com
Ты же строки с числами в руби складываешь :)

Date: 2013-04-18 11:17 am (UTC)
From: [identity profile] kiryl.livejournal.com
% ruby -e '"1" + 1'
-e:1:in `+': no implicit conversion of Fixnum into String (TypeError)
from -e:1:in `'

Date: 2013-04-18 11:39 am (UTC)
From: [identity profile] metaclass.livejournal.com
А, это ж в рантайме. Ну ок, в кложури то же самое.
Edited Date: 2013-04-18 11:39 am (UTC)

Date: 2013-04-18 11:29 am (UTC)
From: [identity profile] darkdrip.livejournal.com
в руби строгая динамическая типизация

Date: 2013-04-18 07:51 am (UTC)
From: [identity profile] thedeemon.livejournal.com
>размерности не сходятся - задача идёт нахуй.

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

Date: 2013-04-18 08:12 am (UTC)
From: [identity profile] trueblacker.livejournal.com
что дальше?
Айсед станет псить на стабильность?

Date: 2013-04-18 12:03 pm (UTC)
From: [identity profile] kiryl.livejournal.com
С чего вы взяли, что статическая? Проверка, да. О времени проверки информации нет ;)

Date: 2013-04-18 12:32 pm (UTC)
From: [identity profile] thedeemon.livejournal.com
Раз вся "задача идет нахуй", значит еще до запуска (начала решения). Так я понял, по крайней мере.

Date: 2013-04-18 06:31 pm (UTC)
From: [identity profile] theiced.livejournal.com
да. и вот у те у кого оно в голове есть - спокойно пишут на динамически типизированных яыках. а те у кого нет - те страхуются статической.

Date: 2013-04-18 07:17 pm (UTC)
From: [identity profile] thedeemon.livejournal.com
Ага:
"when people is say type is help them work without keep whole program in brain, what they really say is have small brain"
https://twitter.com/PLT_Borat/status/248762754113081344

В общем, никто не сомневался, что у айседа либо очень большая голова, либо очень маленькие проекты.

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 3rd, 2025 09:44 pm
Powered by Dreamwidth Studios