Т8
Если говорить о надёжном коде с верификацией, то в Аде это всё уже есть и не первый год. И инструменты есть.
Никакой верификации! Только снизить опасность выстрелить в ногу
Size: a a a
2020 February 28
Т8
Мы хотим писать приложения, а не доказывать теоремы
Т8
В особенности, если речь про расширяемость и архитекуру в целом
Мне кажется, это такой же оверкилл
G
Т-34 85
Мы хотим писать приложения, а не доказывать теоремы
Мы хотим писать приложения, доказывая теоремы
AZ
Т-34 85
Искать баг в коде, во флагах компилятора. Ну, что там ещё может быть, по классике
причем тут флаги?
AZ
допустим ты из 2 разных мест мутируешь ридонли переменную
AZ
при чемт ут флаги?
Т8
Мы хотим писать приложения, доказывая теоремы
Не хотим
G
Т-34 85
Не хотим
Почему не хотите?
Т8
причем тут флаги?
Выравнивание какое-нибудь другое может быть или ещё что
Т8
допустим ты из 2 разных мест мутируешь ридонли переменную
Как такое может случиться?
Т8
Почему не хотите?
Потому что слишком заёбищно, а профита мало
G
Т-34 85
Потому что слишком заёбищно, а профита мало
Ты пробовал?
DS
Т-34 85
Мне кажется, это такой же оверкилл
Так дело в том, что писать даже обычные приложения на скале проще, чем на шарпе.
Там мало того, что одна из сильнеших систем типов в мейнстриме, так ещё доступны все JVM библиотеки, куча синтаксического и др. сахара (нормальные рекорды, мощный паттерн-матчинг, очень дружелюбный к edsl синтаксис), а в крайнем случае есть сильное метапрограммирование.
Там мало того, что одна из сильнеших систем типов в мейнстриме, так ещё доступны все JVM библиотеки, куча синтаксического и др. сахара (нормальные рекорды, мощный паттерн-матчинг, очень дружелюбный к edsl синтаксис), а в крайнем случае есть сильное метапрограммирование.
Т8
Ты пробовал?
Доказывать теоремы?
G
Т-34 85
Доказывать теоремы?
Доказывать теоремы в исходном коде
Т8
Доказывать теоремы в исходном коде
Нет, потому что мне это не нужно
G
Т-34 85
Нет, потому что мне это не нужно
Как ты это понял?
Т8
Так дело в том, что писать даже обычные приложения на скале проще, чем на шарпе.
Там мало того, что одна из сильнеших систем типов в мейнстриме, так ещё доступны все JVM библиотеки, куча синтаксического и др. сахара (нормальные рекорды, мощный паттерн-матчинг, очень дружелюбный к edsl синтаксис), а в крайнем случае есть сильное метапрограммирование.
Там мало того, что одна из сильнеших систем типов в мейнстриме, так ещё доступны все JVM библиотеки, куча синтаксического и др. сахара (нормальные рекорды, мощный паттерн-матчинг, очень дружелюбный к edsl синтаксис), а в крайнем случае есть сильное метапрограммирование.
Шарп прямо настолько хуже?
YM
Плохому танцору..