Aq
а динамике нечего не к чему кастить
Size: a a a
2018 February 26
AI
и что?
AV
это операция непроверяемого каста, типа
unsafeCoerceAI
зато возможность этого есть
AI
чего в Хаскеле без бубна нет
AI
как не проверяемого? спрашиваешь из инстанс ов и если тру то кастишь уверенно
Aq
неплохо, неплохо
Aq
чего в Хаскеле без бубна нет
чего нету-то?
Y
Ну да, но другого синонима для "динамически типизированный язык" вроде нету?
Не нравится слово "типизированный" - назовите просто "динамическим", всё ближе, чем скриптовый.
AV
чего в Хаскеле без бубна нет
import Unsafe.Coerce (unsafeCoerce)AI
ну вот ансейф и бубен
n
а динамике нечего не к чему кастить
это с чего вдруг?
λO
Не нравится слово "типизированный" - назовите просто "динамическим", всё ближе, чем скриптовый.
даже в вашей википедии написано что норм называть такое скриптовым
Aq
это с чего вдруг?
тип один
к
В первом приближении можно было бы считать, что подобное разграничение предоставляют Clojure + Scala, связанные в одном проекте
аналогично будет flow + js
имея кусок нетипизированного кода, его можно задекларировать типами отдельно (при этом тайпчекаться этот кусок кода не будет, типы возьмутся на веру) и заюзать в flow-коде
имея кусок нетипизированного кода, его можно задекларировать типами отдельно (при этом тайпчекаться этот кусок кода не будет, типы возьмутся на веру) и заюзать в flow-коде
Aq
тип ВсеЛюбое кастить к типу ВсеЛюбое как-то не интересно
AV
ну вот ансейф и бубен
это ничем не отличается от каста, почему каст ты не называешь бубном
AI
потому что там проверяется тип