Aq
Ну как это один тип? Вон в JS есть числа, строки, объекты... *невинно*
нету
Size: a a a
2018 February 26
Aq
как типов
Aq
как значения есть
n
тип один
откуда? типов много
AV
потому что там проверяется тип
а толку, тот же runtime error
Aq
потому что там проверяется тип
в хаскеле есть каст с проверкой типа
Aq
откуда? типов много
откуда? тип один
AV
просто дело в том, что динамические языки дают много больше
Aq
Жопа есть, а слова нету?
жопа есть, а типа у нее нету
AI
никаких эрроров - я же писал про инстанс ов проверку
AV
откуда? типов много
в js - один ADT и много конструкторов
λO
тип один, просто на нём тэги и протоколы
λO
на объекте типа
AV
типы vs теги
λO
ой, началось... нет компиляции - значит нету типов
ой всё!
Aq
никаких эрроров - я же писал про инстанс ов проверку
так есть динамический каст в хаскеле. Есть же ртти (Typeable)
Y
жопа есть, а типа у нее нету
Ну как это, если typeof разное возвращает 😉