AN
почему нельзя смаппить термы на синглетоны?
Size: a a a
2021 May 26
B
а мы считаем что конст женерики это все типы
AN
или вы хотите сказать что переменная и тип, это разные вещи. Т.е. уже язык не теории множеств а все такие каких-то вычислений.
ΑZ
вот тебе формально без рантайма
TK
x = 5 // x is positive integer
x -= 8 // x is integer
x += 1.24 // x is real
if x > 0 {
show (1 / x) // x is real and nonzero, 1 is number, thus it is divisible by x
}
x *= i // x is complex
x -= 8 // x is integer
x += 1.24 // x is real
if x > 0 {
show (1 / x) // x is real and nonzero, 1 is number, thus it is divisible by x
}
x *= i // x is complex
ΑZ
держи
AN
сейчас прочту.
TK
В утопии тип лишь определяет множество значений
ΑZ
конст генерик это фича
TK
То есть одна переменная имеет бесчисленное число типов
ΑZ
сам конст генерик (который const N : i32) это тип а не терм
ΑZ
просто выглядит как 2
ΑZ
а на самом деле это тип N2
TK
И на определённом этапе, проверками или операциями, его можно уточнять или менять
B
ну они же просто констекспр значения
ΑZ
я не думаю что ты там сможешь юзать 2+2 в качестве аргумента)
ΑZ
ну да, у нас и нет теории множеств никаких
B
ну, могу
ΑZ
у нас лямбда-счисление (типизированное)