EG
А на железе
Size: a a a
2020 June 09
EG
Реальном блять железе
EG
Компилируется в ассемблер
С
лол ты рили не понимаешь чтоль
Какими типами-то. Вот у нас есть число. Мы хотим на него поделить другое число. Чтобы на уровне типов не давать делить на 0, нужны зависимые типы. Всё, приехали, языков с зависимыми типами существует 1 штука, идрис
SP
Компилируется в ассемблер
ну и что теперь любые баунчеки отменять ?
EG
Если хочешь, чтобы у тебя числа были тормозные как жопа — ну напиши свой ньютайп
С
Компилируется в ассемблер
Не, можно и софтово это вычислять, без сопроцессора с IEEE754
EG
Который будет каждый раз при любых операциях с числами проверять, что результат не nan
EG
И не inf
EG
И не -inf
SP
да блядь
EG
И приводить -0 к 0
С
Который будет каждый раз при любых операциях с числами проверять, что результат не nan
А вот проверят они, и что дальше?
SP
вы наркоманы
EG
Но это будет охуеть как долго
SP
просто завести сука ЛИНТЕР
SP
и говорить пацанчик тут у тебя может нан протечь
С
и говорить пацанчик тут у тебя может нан протечь
А, ну такое в Аде вроде есть
EG
Нормальные люди просто не пользуются флоатами где не надо
e
Компилируется в ассемблер
ой, правда? млин ... а я все время думал в машинный код