Size: a a a

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

2018 February 21

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
> Общая алгебра скорее

Общая алгебра - часть математики. Поэтому "точнее", а не "скорее" :)
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Ну да, но Эльм как раз про то, чтобы не было необходимости в это лезть непосвящённому человеку, который не хочет в это лезть (может быть и зря, но это другая история)
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Из цикла вредных советов
источник

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков
> может быть и зря

не "может быть", а точно :)
источник

PF

Pawel Filimonenkow in Elm Lang сообщество разработчиков
Господа категорщики, стесняюсь спросить, а кто юзает годный TreeView?
я нарыл только этот http://package.elm-lang.org/packages/gribouille/elm-treeview/latest/Treeview
Хотелось бы понять степень его адекватности прежде чем тратить на него время
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Вангую, что там тоже Task, который просто всегда success
Да, он, в самом низу
источник

AK

Andrey Koppel in Elm Lang сообщество разработчиков
Это очень большое исскусство объяснить понятным языком для простых людей
источник

AK

Andrey Koppel in Elm Lang сообщество разработчиков
без ссылания на математические термины
источник

AK

Andrey Koppel in Elm Lang сообщество разработчиков
и большая работа в Элме проделана для этого
источник

AK

Andrey Koppel in Elm Lang сообщество разработчиков
Они как бы говорят не углуюляйтесь в дебри если не хотите, и со временем вы увидите какие-то шаблоны, большинство шаблонов являются каким-то математическим термином
источник

к

кана in Elm Lang сообщество разработчиков
Anton Kotenko
Ну да, но Эльм как раз про то, чтобы не было необходимости в это лезть непосвящённому человеку, который не хочет в это лезть (может быть и зря, но это другая история)
понятие "моноид" тут не усложняет что-то, а упрощает. Понятие примитивное, определение узнается за 5 секунд, а столько абстракций можно в одну свернуть

Имхо не вводить тут этого определения довольно глупо
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
кана
понятие "моноид" тут не усложняет что-то, а упрощает. Понятие примитивное, определение узнается за 5 секунд, а столько абстракций можно в одну свернуть

Имхо не вводить тут этого определения довольно глупо
нет, определение за 5 минут не узнаётся, как раз потому что чтобы его понять, нужно а) выйти на абстрактный уровень (и не каждый это может вообще, и это нормально) б) иметь алгебраическое мышление (на Эльме можно писать без него) в) оно теоретически научное, а я вот например науку не люблю и вообще практик
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
то есть узнаётся-то да, но на осознание уходит много времени (больше чем на комманды по-любому)
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
и это не нужно для программирования, и к этому нужно самому захотеть придти
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
а Эльм неявно побуждает это желание, но не настаивает, что прекрасно
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
не харрасит короче
источник

к

кана in Elm Lang сообщество разработчиков
окей, сделаем другое определение, "конкатенируемый" - тип T, элемент которого может быть объединен с другим элементом типа T, чтобы на выходе тоже иметь T, и есть нейтральный элемент типа T, который при объединении с другими отдаст тот же элемент
ну еще ассоциативность у объедниния

никакой науки. Набор функций можно представить на элме как

`type alias Monoid a = (a, a -> a -> a)
cmdMonoid :: Monoid (Cmd msg)
cmdMonoid = (Cmd.none, \a b -> Cmd.batch [a, b])`

для программирования это таки нужно, иначе зачем бы так форсили дизайн-паттерны в ооп? Абстракциям хочется давать какие-то имена (особенно таким частым как моноид), чтобы не называть определения каждый раз. Вместо того, что писать длинные предложения про Cmd.none и Cmd.batch можно сказать:

Cmd - моноид по Cmd.none и Cmd.batch
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
кана
окей, сделаем другое определение, "конкатенируемый" - тип T, элемент которого может быть объединен с другим элементом типа T, чтобы на выходе тоже иметь T, и есть нейтральный элемент типа T, который при объединении с другими отдаст тот же элемент
ну еще ассоциативность у объедниния

никакой науки. Набор функций можно представить на элме как

`type alias Monoid a = (a, a -> a -> a)
cmdMonoid :: Monoid (Cmd msg)
cmdMonoid = (Cmd.none, \a b -> Cmd.batch [a, b])`

для программирования это таки нужно, иначе зачем бы так форсили дизайн-паттерны в ооп? Абстракциям хочется давать какие-то имена (особенно таким частым как моноид), чтобы не называть определения каждый раз. Вместо того, что писать длинные предложения про Cmd.none и Cmd.batch можно сказать:

Cmd - моноид по Cmd.none и Cmd.batch
Хаскель это как религия, его лучше держать при себе и не навязывать другим
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Тогда может быть люди сами потянутся
источник