VG
докажешь что какой дикий макрос в рантайме принимающий код по сети будет корректен не потратив 2 месяца на типы?
Size: a a a
2020 May 08
VG
как хотрелоад фронтэнда в clojure работает
M
Вот вот а то как будто дибилы кругом не просто так компили регрес тесты и фазинг юзают
M
Формализация это хорошо но слишком дорого даже для топ компилей
VG
крч типы эт хорошо, типы не панацея, типы + тесты еще лучше
G
Вот вот а то как будто дибилы кругом не просто так компили регрес тесты и фазинг юзают
потому что технологии не доросли ну
M
Да с типами нихуя не понятно
VG
но можно и без типов, как можно и без тестов если не требуется уверенность в коде
M
Я не чекал тему из того что видел слабо они тесты заменяют
M
Они скорей ошибки типа конвертацией и обмера с состояниями ловят
M
Вот тут да типы удобны
VG
https://hackage.haskell.org/package/pipes-4.0.0/docs/Pipes-Tutorial.html
вот тут вот например типы, и для их объяснения требуется пздц сколько ASCII графиков, на кложуре эта либа несколько сот строк была бы без типов и протестить 100 строк кмк проще чем разбираца в таких типах
вот тут вот например типы, и для их объяснения требуется пздц сколько ASCII графиков, на кложуре эта либа несколько сот строк была бы без типов и протестить 100 строк кмк проще чем разбираца в таких типах
G
Они скорей ошибки типа конвертацией и обмера с состояниями ловят
в более общем случаи системы типов хороши для доказательства того что разные компоненты в программе взаимодействуют правильно
M
Хуйня полная это я даже аргументировать могу
G
https://hackage.haskell.org/package/pipes-4.0.0/docs/Pipes-Tutorial.html
вот тут вот например типы, и для их объяснения требуется пздц сколько ASCII графиков, на кложуре эта либа несколько сот строк была бы без типов и протестить 100 строк кмк проще чем разбираца в таких типах
вот тут вот например типы, и для их объяснения требуется пздц сколько ASCII графиков, на кложуре эта либа несколько сот строк была бы без типов и протестить 100 строк кмк проще чем разбираца в таких типах
ну хуяк хуяк да
G
проще
VG
type Producer' b m r = forall x' x . Proxy x' x () b m r
G
когда хуяк хуяк
VG
так хуяк хуяк уже будет полгода в проде работать и все баги отловяца
G
type Producer' b m r = forall x' x . Proxy x' x () b m r
называй переменные понятно и понятно будет