L
раст тут твой вне власти
Проблема языков со всякими наркоманскими фичами в том, что они не дают профита по скорости. Хотя эта часто их поебень может в теории быть дохуя быстрой
Size: a a a
2020 June 04
P
но ты не скажешь вызывающшей функции что ты записал именно этот токен
скажешь, ты вернёшь то, что записал, а по CQSP так делать низя
G
Проблема языков со всякими наркоманскими фичами в том, что они не дают профита по скорости. Хотя эта часто их поебень может в теории быть дохуя быстрой
в теории да а на практике не очень. но ATS может быть дохуя быстрым, это да
G
скажешь, ты вернёшь то, что записал, а по CQSP так делать низя
а с эффектами и зав типами я смогу это формально сделать
L
в теории да а на практике не очень. но ATS может быть дохуя быстрым, это да
Ну вот я об этом и говорю. Они тупо бесполезны
P
а с эффектами и зав типами я смогу это формально сделать
я это могу сделать в голой жаве без всякого мусора
G
Ну вот я об этом и говорю. Они тупо бесполезны
ты бесполезен
G
я это могу сделать в голой жаве без всякого мусора
увы нет
L
ты бесполезен
я вкурсе
P
увы нет
как же нет, как дат
G
как же нет, как дат
а вот и нет
L
я вкурсе
Бочку сделал, хуйцов соснул. Что дальше?
P
а вот и нет
обосравшегося ответ
G
формальная верификация это к зав типам
P
формальная верификация это к зав типам
констрейнт-анализ и без завтипов существует
P
но он к CQSP не имеет никакого отношения
AK
Срачик из Раст Оффтопика гайс
AK
Не надо так
AK
Давайте лучше гей шуточки
G
констрейнт-анализ и без завтипов существует
ясное дело можно и refinement типы приплести и weakest precondition хуялкулус