Т8
многие и разоряются
а те, кто нет?
Size: a a a
2020 March 08
p
Т-34 85
пускай пробуют раст. Посмотрим, как им зайдёт
Блокчейнам нормально
AZ
Компилятор не покажет логическую ошибку
покажет, если ты в типах это закодируешь
G
Т-34 85
но это не важно. Я хочу безопасный язык с максимально приближенным к си ситаксисом. Раст на это дело плюнул
безопасный системный язык это всегда мощная система типов, на которую у тебя аллергия
p
покажет, если ты в типах это закодируешь
Он покажет что ты забыл где-то отнять какую-то величину от другой?
AZ
например он покажет что ты пытаешься поделить на ноль, если у тебя будет тип Zeroable
G
Компилятор не покажет логическую ошибку
покажет
G
Компилятор не покажет логическую ошибку
см. automated theorem proving, refinement types
G
Он покажет что ты забыл где-то отнять какую-то величину от другой?
да
p
см. automated theorem proving, refinement types
Гляну
Т8
кто-то вбросил не разобравшись, а остальные подхватили
а почему подхватили-то? Почему не сказали "пиздишь, там изи"?
Т8
ошибки памяти нельзя протестировать
шо?
G
Гляну
если очень просто, то ты у функции задаешь что хочешь получить на вход и что на выходе. например, на вход хочу получить число, кратное 2 и больше или равно 6, компилятор проверит все вызовы этой функции на это правило
p
Т-34 85
а почему подхватили-то? Почему не сказали "пиздишь, там изи"?
В средневековье считалось что домовой ссыт в молоко из-за чего оно киснет
Т8
TDD с мощными системами типов плохо работает иногда
а такие типы никто и не юзает
AZ
Он покажет что ты забыл где-то отнять какую-то величину от другой?
если ты опишешь требования
то если забудешь минус то тебе компиль скажет
sub :: NonZeroInt a -> NonZeroUInt b -> (Int c, c < a && c < b)то если забудешь минус то тебе компиль скажет
p
В средневековье считалось что домовой ссыт в молоко из-за чего оно киснет
И так думали практически все
Т8
Блокчейнам нормально
рано пока судить. Но вроде да
p
если ты опишешь требования
то если забудешь минус то тебе компиль скажет
sub :: NonZeroInt a -> NonZeroUInt b -> (Int c, c < a && c < b)то если забудешь минус то тебе компиль скажет
Можешь расшифровать что здесь написано?
G
Т-34 85
а такие типы никто и не юзает
то, что ты не видел, что их кто то используют, не значит, что их не используют. у меня во дворе арбузы не растут, но я отдаю себе отчёт в том, что они есть