Aq
ой, началось... нет компиляции - значит нету типов
нету статического тайпчека - значит типов нету
Size: a a a
2018 February 26
Aq
Ну как это, если typeof разное возвращает 😉
ну так что? Это же в рантайме
AV
да, именно так. ой, всё.
тут сову на глобус натягивают.
тут сову на глобус натягивают.
пойду пирсу напишу, что он гад в книге сову на глобус натянул и меня заставил
λO
да, именно так. ой, всё.
тут сову на глобус натягивают.
тут сову на глобус натягивают.
вы беситесь потому что у нас есть исследования подтверждающие пользу СТ, а у вас в пользу ДТ нет ничего кроме чувств
Aq
бугага
ну вот так вот оно
AV
всегда знал, что изнутри виднее
AV
можно я это на цитату утащу?
AI
(когда я общался с хаскелистами в их локализованном чате, большинство выглядело более сдержаными)
AV
пни там пирса от меня
пнуть могу того, кого лично знаю
Aq
люди с молотками пытаются убедить человечество, что вокруг одни гвозди
ну вот люди с молотками написали учебники по типам, а люди со скриптами про кровь адама в основнм рассуждают, учебники не пишут почему-то
AV
(когда я общался с хаскелистами в их локализованном чате, большинство выглядело более сдержаными)
потому, что противоположная сторона была на каком-то уровне другом, более аргументированной, содержательной, чтоли
IZ
ну вот люди с молотками написали учебники по типам, а люди со скриптами про кровь адама в основнм рассуждают, учебники не пишут почему-то
Было бы странно, если бы ТЕ люди написали бы что-то другое, а потом бы ТОПИЛИ ЗА ТИПЫ...
AV
То есть типы бывают только в компайл-тайме, потому что Пирс так сказал?
потому, что компайл и рантайм - типы, это сильно разные вещи
Aq
Было бы странно, если бы ТЕ люди написали бы что-то другое, а потом бы ТОПИЛИ ЗА ТИПЫ...
ну тут просто - читал учебники - топит за типы. Слушал Хикки - топит против типов
AI
потому, что противоположная сторона была на каком-то уровне другом, более аргументированной, содержательной, чтоли
ну мы то с тобой всегда нормально общались вроде. до вчерашнего дня, когда я вдруг стал "не из ваших" по твоим словам
AV
называть их одним и тем же словом это очень неверно и ведет к большим проблемам