к
Size: a a a
2017 October 29
к
не надо андефайнед
к
Специально для этого сделаны холы
AW
ну, я в Хаскелле привык программировать сверху вниз, и undefined очень помогает в этом
к
Что в хаскеле "_hole", что в идрисе "?hole"
AW
Где холы? В Elm?
к
В элме нет, но и в хаскеле андефайнед не нужен, когда есть хол
Вл
а какой профит?
AW
Холы помогают писать конкуретную сложную функцию, т.к. компилятор выдаёт тип хола. Т.е. я люблю и холы. Но undefined тоже люблю, т.к. он помогает программировать сверху вниз, занимаясь одной веткой функций и временно заглушая остальные ветки при помощи undefined. Мне нужно понять, компилируется ли та ветка, которой я сейчас занимаюсь и undefined позволяет это проверить до того, как я доделаю всё
Вл
тип не запустится?
к
В холах профит в том, что мы можем делать тайпчек, но компилятор скажет, что мы чет забыли
к
Это для tdd
к
Type driven dev
к
С андефайнедом компилятор ничего не скажет и мы чет забудем и укатит боттом в продакшен с рантайм ошибкамм
к
Елм, который говорит, что у него 0 ошибок в рантайме, с андефайнедом - нонсенс
NK
Это для tdd
такой акроним уже занят
к
tdd в фп мире уже давно понимается как type driven)
к
Как минимум с выхода "Type driven development in idris"
AW
а какой профит?
Вот тут можно посмотреть Hole Driven Development вживую: https://www.youtube.com/watch?v=52VsgyexS8Q
NK
tdd в фп мире уже давно понимается как type driven)
не оч верится