AW
ID:351615646
не оч верится
Я бы уточнил: в мире ТИПИЗИРОВАННОГО фп, где если это компайлится, то это работает.
Size: a a a
2017 October 29
NK
ну
NK
обычно такой и подразумевается
NK
к
туториал по идрису вполне ок для людей с бэкграундом
к
TDD, наверное, пойдёт и совсем нулёвым
к
И тут он говорил именно про type
к
Не ну серьезно, когда я слышу про tdd в контексте тфп, то по дефолту считаю, что речь про типы, зачастую так оно и оказывается
NK
И, вдогонку к холивару Elm vs Haskell. Чего мне ещё реально не хватает в Elm из того, что есть в Haskell - это undefined, которым можно закрыть на время пока не написанную функцию и проверить, что всё остальное компилируется. Вот реально не хватает ))
Debug.crash
NK
Лежит прямо в core
NK
Hole development - это весело, я вам скажу. Я так когда-то свои призмы лепил.
AW
ID:154127650
Debug.crash
Спасибо ))
AP
Debug.crash, это не undefined, это error
AP
Но так даже лучше - хотя бы сообщение можно указать
NK
undefined = Debug.crash "Debug.crash: undefined"
NK
Если нужен вот прям вот
undefinedAP
Неплохо бы поиметь warnings от компилятора по поводу оставленных крэшей. И не давать собрать пакет с ними
AP
В хаскеле undefined не вызывает предупреждений. Почем - понятно, ибо undefined, это средство разработки. Но флажок компилятора, выключающий битьё по рукам за забытые undefined не помешал бы (некоторые кстомные прелюдии добавляют предупреждение)
NK
а crash не может быть специально оставлен?