AP
зачем нагружать язык?
это УЖЕ делается компилятором!
Size: a a a
2017 October 26
NK
зачем нагружать юзера то
AK
компилятор может сравнивать вложенные рекорды друг с другом?
AK
я имею в виду Эльмовский компилятор, минималистичный и простой
NK
любой компилятор в теории может быть наделен такой способностью
AK
Короче это дискуссия про анархию и строгие законы, про андроид и эппл, я считаю что лучше запретить ради простоты использования и минимума багов, а если человек хочет то он всегда купит андроид и словит хайп своевольно
NK
гофер?
NK
утилиты позволяющие нам не использовать хаки и быть более уверенными в корректности нашей программы это никаким образом не "анархия"
NK
с такими fallacies опять же любой язык можно раскритиковать
AP
Эльмовский компилятор уже автоматически реализует сравнение на равенство для произвольных типов - для ADT, для рекордов, для анонимных рекордов
AP
Запрещаейте это быстро! А то баги!
AK
А вот это я не знал, это действительно стыдно
AK
AK
блин, круто, в JS я бы так никогда не смог
AK
хороший язык всё-таки
MP
Вон F#овцы недовольны отсутствием HKT и люто ждут хоть какого-то аналога и себе в язык. Ибо там хватает людей, понимающих профиты от нормальной мощности системы типов.
HKT полезны в основном в библиотеках. А Rust их не очень хватает, а в Elm их отсутствие, IMHO, не критично. Вот зависимые типы были бы полезны, что бы можно было описать, какие сообщения могут придти при каких состояниях модели и не писать недостижимых альтернатив в caseах.
NK
да о каких хкт разговор если даже нету семейств типов
AP
Зависимые типы без HKT? :)
NK
Зависимые типы без HKT? :)
в расте так делают