λO
Шёл 2020й год, в оффтопике продолжали путать типы и тэги
Size: a a a
2020 March 03
EG
typeof(a/0)?
typeof(a/b) — Int, но функция не определена при b == 0.
λ
ну ок, пруф что значение эквивалентно литералу это ведь тип?
Пруф это значение, а тип это тип этого пруфа
AZ
Нет.
testFunc : n -> (n = 1) -> Integerp
это значит что ты не запуская программу в каждой точке можешь назвать множество возможных значений перменных
a = 1
def foo(b):
pass
Тогда здесь у переменной a тип int, а у b: any
def foo(b):
pass
Тогда здесь у переменной a тип int, а у b: any
p
Так?
λ
testFunc : n -> (n = 1) -> IntegerТут n это не тип
λO
a = 1
def foo(b):
pass
Тогда здесь у переменной a тип int, а у b: any
def foo(b):
pass
Тогда здесь у переменной a тип int, а у b: any
Оба PyObject
p
Оба PyObject
Почему?
G
в принипе, можно сделать такую систему типов, в которой будет
int / int = int
int / 0 = never
тогда тип
1 / 0 во время компиляции будет int | never
int / int = int
int / 0 = never
тогда тип
1 / 0 во время компиляции будет int | never
div : int -> int -> Div int, то есть функция нетотальнаяp
Я вижу 1, он имеет тип int
AZ
a = 1
def foo(b):
pass
Тогда здесь у переменной a тип int, а у b: any
def foo(b):
pass
Тогда здесь у переменной a тип int, а у b: any
нет, а тоже any потому что этот код работает:
a = 1
print(a)
a = "Hello"
print(a)λO
Почему?
Потому что других типов в питоне нет
EG
Оба PyObject
Протестую, PyObject — это CPython implementation detail. Говори в терминах питона.
p
нет, а тоже any потому что этот код работает:
a = 1
print(a)
a = "Hello"
print(a)Так ты две разные переменные создал)
EG
В PyPy никакого PyObject нет.
G
в принипе, можно сделать такую систему типов, в которой будет
int / int = int
int / 0 = never
тогда тип
1 / 0 во время компиляции будет int | never
int / int = int
int / 0 = never
тогда тип
1 / 0 во время компиляции будет int | never
Или можно сделать тотальную функцию с refinement типами:
div : int -> a:int{a != 0} -> Tot intEG
нет, а тоже any потому что этот код работает:
a = 1
print(a)
a = "Hello"
print(a)let a = 1;
println!("{}", a);
let a = "Hello";
println!("{}", a);
p
нет, а тоже any потому что этот код работает:
a = 1
print(a)
a = "Hello"
print(a)Аналог на расте:
let a = 1;
print(a);
let a = "Hello";
print(a);
let a = 1;
print(a);
let a = "Hello";
print(a);
AZ
Так ты две разные переменные создал)
с чего бы это?
a = 1
if 1 == 1:
a = "Hello"
print (a)