FM
этот код в эликсире имеет в эликсире не тот же смысл, что в руби
Size: a a a
2019 February 21
FM
у переменной не то, что тип, даже значение поменять нельзя
EV
этого достаточно что бы считать, что типизация - динамическая
B
Привет, Haleigh!
Пожалуйста, реши капчу:
Вычисли: 81+98=...
Осталось попыток: 3
Если не решишь - забаню навеки...
Удачи!
Пожалуйста, реши капчу:
Вычисли: 81+98=...
Осталось попыток: 3
Если не решишь - забаню навеки...
Удачи!
IK
А graphq как работает? Через post?
graphql ничего не говорит, какой протокол использовать
MS
достаточно
если тип переменной не привязан при создании (явно или нет), то уже считается динамической
foo = 1
foo = "1"
если тип переменной не привязан при создании (явно или нет), то уже считается динамической
И это тоже не динамическая типизация, а shadowing
EV
И это тоже не динамическая типизация, а shadowing
А разве не должно быть разных скоупов для shadowing’а?
MS
А разве не должно быть разных скоупов для shadowing’а?
Shadowing может быть в одном скоупе. Вообще в эликсире все переменные иммутабельные. Поэтому переменная с тем же именем это всегда новая переменная. Так что доказательством того, что в эликсире динамическая типизация это скорее что функции могут принимать и возвращать разные типы без всяких енамов
AB
и принимать тоже
AB
но если это начинает парить, то можно написать спеки
AB
вообще вроде говорят, что строгая динамическая типизация у нас. то есть 1+"2" у нас нельзя. не получится 3.
потому что + это для чисел, а для листов это уже конкатенация ++, а для бинарей <>
потому что + это для чисел, а для листов это уже конкатенация ++, а для бинарей <>
YP
вообще вроде говорят, что строгая динамическая типизация у нас. то есть 1+"2" у нас нельзя. не получится 3.
потому что + это для чисел, а для листов это уже конкатенация ++, а для бинарей <>
потому что + это для чисел, а для листов это уже конкатенация ++, а для бинарей <>
Это строгость, а не динамичность
AB
а я за динамичность и не топлю )
АЮ
До сегодняшнего дня думал, что динамическая и статическая типизация это про определение типа в рантайме или на этапе компиляции.
ЕР
До сегодняшнего дня думал, что динамическая и статическая типизация это про определение типа в рантайме или на этапе компиляции.
Так так и есть ведь
АЮ
О чём спор тогда, если эликсир не определяет типы переменных, аргументов функций и возвращаемых ими значений на этапе компиляции?
ЕР
О чём спор тогда, если эликсир не определяет типы переменных, аргументов функций и возвращаемых ими значений на этапе компиляции?
Не знаю о чем спор.
Если типы определяются в рантайме - типизация динамическая, на этапе компиляции - статическая.
Если в языке есть неявный каст типов, то есть 1 + "2" = 3, типизация нестрогая(слабая), если 1 + "2" выдает ошибку - строгая(сильная)
Если типы определяются в рантайме - типизация динамическая, на этапе компиляции - статическая.
Если в языке есть неявный каст типов, то есть 1 + "2" = 3, типизация нестрогая(слабая), если 1 + "2" выдает ошибку - строгая(сильная)
YZ
На всякий случай, для полной ясности: строгая/не строгая ортогонально статическая/динамическая. То есть, могут быть 4 варианта: строгая статическая, не строгая статическая, строгая динамическая, не строгая динамическая
ЕР
Нуу