p
У функции 1 множество значений - {1}
Size: a a a
2020 May 22
𝚙
посмотрите только на лучшие языки всех времен: x86 ассемблер, например
𝚙
там никаких типов
SP
Тип это множество значений данной функции
только есть одна проблемка - как только ты начинаешь его юзать ты загоняешь себя в сектантские рамки и пляшешь под дудочку тех кто пытается нести в программирование ахинею из математики которая случайно в названии имеет похожее слово
𝚙
только есть одна проблемка - как только ты начинаешь его юзать ты загоняешь себя в сектантские рамки и пляшешь под дудочку тех кто пытается нести в программирование ахинею из математики которая случайно в названии имеет похожее слово
там другая проблема
DS
посмотрите только на лучшие языки всех времен: x86 ассемблер, например
> x86 ассемблер
> лучший
Я надеюсь ты это не серьзено
> лучший
Я надеюсь ты это не серьзено
𝚙
теория типов предполагает, что ты будешь на каждом уровне анализа семантически переопределять любой знак
𝚙
знак функции, к примеру
DS
На современных х86 ещё и можно писать как человек, но на старых это же треш трешем
SP
тип это волевое решение кодерка не иметь функции с дырищей куда бы пролезала кошка
p
только есть одна проблемка - как только ты начинаешь его юзать ты загоняешь себя в сектантские рамки и пляшешь под дудочку тех кто пытается нести в программирование ахинею из математики которая случайно в названии имеет похожее слово
почему? я только одно определение привел. причем в математике я думаю совсем другое определение.
𝚙
там неизбежно возникают противоречия
𝚙
поэтому теория типов некорректна
𝚙
> x86 ассемблер
> лучший
Я надеюсь ты это не серьзено
> лучший
Я надеюсь ты это не серьзено
😄
SP
почему? я только одно определение привел. причем в математике я думаю совсем другое определение.
потому что тебе сразу предьявят - кококо, это же определение из теории типов, ану давай кукарекай дальше на теориетипном
DS
поэтому теория типов некорректна
Это ты зря сейчас. Те теории типов, которые идут под основания математики ещё как корректны.
𝚙
NASM squad, assemble
𝚙
Это ты зря сейчас. Те теории типов, которые идут под основания математики ещё как корректны.
я как раз про те, которые идут под основание математики
𝚙
теория типов Рассела
p
тип это множество значений. при попытке засунуть в этом множество значение не попадающее в это множество ты получаешь логическую ошибку которую компилятор тебе показывает