Size: a a a

Elm Lang сообщество разработчиков

2017 October 22

к

кана in Elm Lang сообщество разработчиков
Ну пофиг даже, что без серванта, я совсем не понимаю, как код на модули разбивать. Увидев вживую этот процесс станет намного проще.

То есть в прицепе написать бэк на хаскеле я бы смог, но это была бы огромная херня в одном файле
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
И да, я не буду углубляться в вёрстку, например - я её можно сказать не умею :) Цель - показать, как пишутся фуллстэк штуки на чистом ФП
источник

EK

Evgeny Kochetkov in Elm Lang сообщество разработчиков
Звучит очень заманчиво
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Кстати, теория тоже планируется, поэтому Haskell. "Теория", это про параметрический полиморфизм, поверхностно про HKT, и подробно про "ужасающую тройку" (Ф/АФ/М). Так что это будет и курс по ФП, пусть и с уклоном в практику
источник

AN

Alexander Nuikin in Elm Lang сообщество разработчиков
Я не в столицах, поэтому всячески поддерживаю онлайны или записанные оффы. Но звук - это да, хотелось бы приличный.

Про ужасающие тройки и другую теория красивого - только "за"!
Круто было бы ещё зависимые типы и предикатные ограничения обозреть. Кто-то их использует вообще? Какие примочки лучше? LiquidHaskell? Какие возможности у TemplateHaskell? Какие ограничения накладывают?
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Зависимые типы, это не ко мне, а к идрисоводам :) И если туда лезть, то до практики точно не дойдет :)
источник

AN

Alexander Nuikin in Elm Lang сообщество разработчиков
Вот, как раз интересно, может ли хаскелл что-то в этой сфере? И насколько они полезны на практике? )
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Это курс не для продолжающих, а для начинающих :)
источник

AN

Alexander Nuikin in Elm Lang сообщество разработчиков
Потому как кроме Vec 5 Int примеров не видно. А хотелось бы. Потому как по идее - это ещё целый класс ошибок - вон!
источник

AN

Alexander Nuikin in Elm Lang сообщество разработчиков
А, ну ок )
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Кое-что из зав.типов Хаскель может, и не только длину закодировать для вектора, но "полнеценных" - и удобных синтаксически - з.т. в хаскеле нет и в ближайшее время не будет
источник

AN

Alexander Nuikin in Elm Lang сообщество разработчиков
Подскажи, каким путём это кое-что делается?
источник

к

кана in Elm Lang сообщество разработчиков
Да может и никогда не будет
источник

к

кана in Elm Lang сообщество разработчиков
Прокси и синглтоны, полагаю
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Прокси и синглтоны, да. TypeInType вот это всё
источник

к

кана in Elm Lang сообщество разработчиков
Первые позволяют отправить тип в  типы (как аргумент), второе держать типы и значения в синхронизации
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
За подробностями - в хаскелечят :)
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
Ато наоффтопим тут :)
источник

AN

Alexander Nuikin in Elm Lang сообщество разработчиков
Ок, спасибо ) Почитаю, а потом и туда загляну)
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
К слову сказать, "продакшн" на хаскеле и без зав.типов пишется :)
источник