w
Size: a a a
2020 July 28
AT
На примерах можно показать как свойства записать, а потом все остальное почти автоматически сработает
ZM
наверное проект магазина стройматериалов хотят на скале сделать
AD
лол
AD
в чат плюсистов тоже захаживала
AT
Это же неудобно. Со скалы только вертолетом доставку можно делать
ZM
Да мож есть сторона пологая, под транспорт.
AT
Вот, уже хотт пошёл
λ
Но рядовой писатель контрактов не хочет учиться доказательствам)
А если гарантировать это на уровне протокола и делать все чеки до паблиша контракта ?
AT
А если гарантировать это на уровне протокола и делать все чеки до паблиша контракта ?
Тогда у тебя будет очень невыразительный язык
λ
Или нельзя сделать такого, потому что в контрактах хуета обычно?
AT
У людей богатая фантазия)
λ
Тогда у тебя будет очень невыразительный язык
Ну вот в асме ж как-то живут с парой инструкции
AT
Ну вот в асме ж как-то живут с парой инструкции
Но он выразительный
AT
Все что угодно можно сделать, когда из тьюрингова болота вылезешь
AT
Ты же не захочешь прогать на языке с уровнем выразительности примерно на уровне классических регулярок?
λ
Да я вообще не хочу прогать
w
Да я вообще не хочу прогать
Эх, сча бы прогать
AT
Есть ещё попытки линейные типы туда приспособить или прочий учёт ресурсов в типах. Но это упирается в пользователя этих языков