AY
Судя по исходники они так и делают
Size: a a a
2020 October 01
MP
тут в noredink ищут фулстака если что)
MP
вообще, на elm-jobs (в elm slack) 4 вакансии аж выехало за последние пару дней
DK
тут в noredink ищут фулстака если что)
Вместо Эванса?)))
MP
Denis Krivosheev
Вместо Эванса?)))
этого не знаю =)) хехе
MP
Ребят, andThen - это монада?)
MP
или правильнее сказать, что Task - это и функтор (потому что есть map) и монада (потому что есть andThen) ?
AP
Законы соблюдаются?
AP
Недостаточно иметь методы, нужно ещё и свойства нужные обеспечивать
MP
Законы соблюдаются?
чувствую себя как на экзамене =) вроде вопрос понял, но ответ не знаю...
что там за законы должны соблюдаться? понимаю что где-то в теме теории категорий, идентичность, ассоциативность... эм?
что там за законы должны соблюдаться? понимаю что где-то в теме теории категорий, идентичность, ассоциативность... эм?
AP
1. Left identity
succeed x |> andThen f === f x
2. Right identityx |> andThen succeed === x
3. Associativity(x |> andThen f) |> andThen g
===
x |> andThen (\v -> f v |> andThed g)AP
Вот три закона в эльмовском синтаксисе. У Функтора свои законы тоже есть
MP
спасибо, надо обдумать)
AP
Есть в интернетах куча "монад", для которых законы не выполняются
DK
Вообще в элм andThen есть для многих типов. Мэйби и таск - это монады
DK
В большинстве языков (включая хаскел) законы не доказываются системой типов... их надо доказать математически для каждого типа
DK
В хаскеле есть «доказатели» на основе проперти тестинга... в теории это булшит, но на практике довольно неплохая штука
DK
Идея такая - пишешь свой тип, который по твоему мнению является монадой... пишешь арбитрари инстанс для него ... и говоришь библиотеке - докажи что это монада... и она с помощью проперти тестинга проверяет свойства монады
DK
С математической точки зрения некорректно конечно
AP
А разбаньте @iampiupiu, а то его бот забанил сгоряча (еяпп).