0
В питоне не больно.
Size: a a a
2021 March 02
0
И в жс.
0
Нет типов — нет проблем!
[
Питон строготипизирован
0
Нет типизации кроме статической, и Пирс пророк её.
c
В питоне есть статическая типизация, просто все одного типа
[
Я про то, что если ты сложишь строку и число в питоне, скрипт дойдёт до этой строчки, динамически типизирует, чё ты там ему написал и упадёт в слезах на пол от собственной ущербности
AK
Питон строготипизирован
Типизация постфактум?
0
В питоне ленивая статическая типизация, дискасс.
c
Типизация постфактум?
Ленивая типизация
c
Ох, меня опередили :c
[
динамическая типизация - это когда типы выводятся в рантайме
строгая - когда нет неявного приведения
Соответственно, статическая это проверка в компайл-тайме, а слабая - с неявным приведением
строгая - когда нет неявного приведения
Соответственно, статическая это проверка в компайл-тайме, а слабая - с неявным приведением
[
В хаскеле строгая статическая, в плюсах слабая статическая, в питоне строгая динамическая, в жс слабая динамическая
IR
0xd34df00d
В питоне ленивая статическая типизация, дискасс.
в blah
0
В хаскеле слабая типизация, ибо
Applicative f => f a неявно приводится к Monad m => m a (в ковариантной позиции, если я опять не напутал).[
Тру только последняя. И ещё сносная предпоследняя
AK
certifiable fleece
Ленивая типизация
Это типа когда бабахнет, но лениво в рантайме?
[
f True = 1
main = print (f False)
упадет в рантайме. Это динамическая типизация (что значение True)?
main = print (f False)
упадет в рантайме. Это динамическая типизация (что значение True)?
неа, это не все ветки кода обработаны, обратитесь к статическим анализаторам за лечением
0
Является ли терминейшн чекер куском тайпчекера?