Всем доброе утро))) Я тут помню недавно холиварил по поводу хаскелля)) Походу я допизделся, на новой работе на проекте нужна будет формальная верификация кода)) Т.е. то самое математическое доказательство корректности
Всем доброе утро))) Я тут помню недавно холиварил по поводу хаскелля)) Походу я допизделся, на новой работе на проекте нужна будет формальная верификация кода)) Т.е. то самое математическое доказательство корректности
Комментарии: 16
Andrey
Так для этого есть специально обученные люди и среды
Ilya
Ну да, я в курсе про Rodin и тд Просто у тя получается модель в ваккууме, оторванная от кода как бы
Andrey
А разницы нет) тыже не адекватность миру проверяешь
Ilya
Т.е. кроме как глазами проверить код на соответствии спеки на EventB или coq, по которым ты теоремы доказываешь, не получится Просто для хаскелля нашлось вот такое https://github.com/antalsz/hs-to-coq
Jirafivanich
Посоны, насоветуйте аккумулятор и зарядку для него на 12в. Хочу на велик наколхозить диодный свет, блюпуп музыку и иногда зарядку для мобилы
Stanislav
Почему-то сразу в голову приходит акк от упса + автозарядка, умеющая 1А :-)
Ilya
Если заведется, то позволит вообще в качестве тестов даже модель использовать) И доп нагрузка хорошая))) На ноги
Stanislav
7А*ч - это немного.
Jirafivanich
Целых полтора кило плюс?
Ilya
Да) Но эт кому как
Jirafivanich
Каеф
Jirafivanich
Изначально в эту сторону смотрю Вопросы по моделькам
Stanislav
Пользуюсь чем-то ноунеймовым автоматическим, умеющим 4А и 1А. Работает уже лет 10.
Dopl
Шуруповёртный акб и его зарядка От шуруповёрта можно и гнездо для акб аккуратно пересадить на велик
Jirafivanich
я не буду из-за 2к портить хорошие вещи!
Dopl
Раздолбайку можно купить с нерабочим мотором или ты уже нашёл чего прикрутить? Я прост не дочитал ещё