RR
Я сейчас в принципе пишу на идрисе не замуываясь особо о зав типах
Size: a a a
2020 November 29
RR
У него и всё остальное на высоте… включая тупые баги компилятора
NI
Зависимые типы могут исправить убогость Elm архитектуры?
Думаю, что нет.
ХГ
Sucker punch!..
NI
Я сейчас в принципе пишу на идрисе не замуываясь особо о зав типах
Так и надо. Иначе, будешь поначалу путаться сильно.
Я хорошо помню, как офигел от возможностей и то контролировать и ещё вон то типами.
И потом путался и тяжело код писать было, от неопытности.
Начинать нужно писать, пытаясь делать, как в хаскеле, как привычно.
Я хорошо помню, как офигел от возможностей и то контролировать и ещё вон то типами.
И потом путался и тяжело код писать было, от неопытности.
Начинать нужно писать, пытаясь делать, как в хаскеле, как привычно.
RR
Думаю, что нет.
Why not?
RR
Хуки прикрутить, реализовать что у меня в пурскриптовой версии либы было, и огонь будет
NI
У него и всё остальное на высоте… включая тупые баги компилятора
С выводом типов у него плохо.
Не, я понимаю, что вывод в идрисе неразрешим, но под простые случаи уж могли бы эвристик накидать.
Впрочем, Саша щас тут ответит, что вот сам бы и накидал ;-)
Не, я понимаю, что вывод в идрисе неразрешим, но под простые случаи уж могли бы эвристик накидать.
Впрочем, Саша щас тут ответит, что вот сам бы и накидал ;-)
JC
Зависимые типы могут исправить убогость Elm архитектуры?
Думаю, что стоит начать с перечисления убогих моментов
JC
А потом уже смотреть, как их можно исправить
RR
Ну не знаю, по моему идрис отлично выводит всё
RR
И коллизий нет
NI
Why not?
У него есть один недостаток с тупостью про push-часть.
Как бы ты его не реализовывал, неудобства останутся.
Как бы ты его не реализовывал, неудобства останутся.
RR
Думаю, что стоит начать с перечисления убогих моментов
Минус Elm’а это его монолитность
NI
Ну не знаю, по моему идрис отлично выводит всё
Надо пробовать.
Вероятно, что мои сведения устарели.
Вероятно, что мои сведения устарели.
RR
Единый стейт, единые ивент, единые подписки
RR
Сложно компоненты строгать независимые
RR
У него есть один недостаток с тупостью про push-часть.
Как бы ты его не реализовывал, неудобства останутся.
Как бы ты его не реализовывал, неудобства останутся.
Ну, я в хаскеле чаще на типы натыкался которые не пойми как выводятся и ничего не работает
RR
Хотя это наверное потому что либы так сделаны были
RR
Вот бы ещё кто-то ещё запилил пакетный менеджер нормальный