AK
Т-34 85
Серьёзно?
Да. Поэтому для меня было шоком, когда в си оказалось иначе)))
Size: a a a
2020 March 25
Т8
Alexander Krivitskiy
Да. Поэтому для меня было шоком, когда в си оказалось иначе)))
Прикольно. А я наоборот, пришёл из Си, поэтому думал, что enum class сразу двух зайцев убивает
Т8
Спасибо за инфу, я думал, что с энамами хуже
Т8
Кстати, а возможен ли очень выразительный язык без GC?
p
Т-34 85
Кстати, а возможен ли очень выразительный язык без GC?
раст тужится
p
и смог бы стать более выразительным, если бы изначально делали с ХКТ и зав типами
S
Идрис-не Идрис, а на сегодняшний день самый действенный способ уменьшения багов в программах - это формализация того, чего ты хочешь, через типы.
Так а в формализации багов не может случиться? Я как посмотрел на сигнатуры типов с доказательствами, так они подлиннее целой функции с телом на питоне
p
Так а в формализации багов не может случиться? Я как посмотрел на сигнатуры типов с доказательствами, так они подлиннее целой функции с телом на питоне
скорее всего у тебя верификатор ругнется
p
ну и да, теорема занимает меньше места чем тесты.
S
я об ошибках человеческих, когда верификатор не может знать, баг это или фича
p
я об ошибках человеческих, когда верификатор не может знать, баг это или фича
можешь привести пример?
AZ
Т-34 85
Кстати, а возможен ли очень выразительный язык без GC?
не особо
p
если верификатор увидит несовпадение, он ругнется в любом случае
AZ
Так а в формализации багов не может случиться? Я как посмотрел на сигнатуры типов с доказательствами, так они подлиннее целой функции с телом на питоне
зато они куда короче функции с тестами
S
можешь привести пример?
lock-free алгоримты работы с данными, когда я осознанно не лочу ничего, потому что знаю, что программа не обратится к одному куску данных из двух потоков одновременно
AZ
lock-free алгоримты работы с данными, когда я осознанно не лочу ничего, потому что знаю, что программа не обратится к одному куску данных из двух потоков одновременно
докажи статически что не обращаешься и пользуйся
S
докажи статически что не обращаешься и пользуйся
А как это доказать?
S
Это на уровне доверия и любви
AZ
Это на уровне доверия и любви
я не доверяю людям
S
ну не доверяй, только объясни как доказать подобные вещи