А
Ну я про either и maybe. Вы все еще возвращаете просто значения, но при это не страдаете от if err not nil
Either и Maybe не обязаны быть монадами
Size: a a a
2018 June 09
AK
Either и Maybe не обязаны быть монадами
Ммиим
AK
Ну как
l
Да вообще никому ничего не обязаны
AK
Очевидно можно сделать реализацию, которая нарушит определение
А
Очевидно можно сделать реализацию, которая нарушит определение
Какое определение?
AK
Только зачем тогда это называть either/maybe
DK
Монадой можешь ты не быть, но моноидом в категории эндофункторов быть обязан
AK
Какое определение?
Монады
l
type Nothing = null
type Maybe<A> = [A, Nothing | void]
declare function foo(): Maybe<number>
const [value, err]
if (err === null)
l
Хоть в лоб хоть по лбу
А
Монады
data Maybe a = Nothing | Just a - где тут что-то связанное с монадами?l
Чтобы объяснить гоферу чем это будет отличаться от maybe нужно затратить бесконечное количество энергии
А
лол, в Go примерно так и происходит
AK
data Maybe a = Nothing | Just a - где тут что-то связанное с монадами?В композиции, которую ты можешь определить)
D
Не совсем вопрос по тайпскрипту но всё же, как из массива функций удалить елемент по значению?
DK
Не совсем вопрос по тайпскрипту но всё же, как из массива функций удалить елемент по значению?
filter
DK
А если прям удалить, то найти индекс через findIndex
DK
И дальше splice
D
Окей, подходит, спасибо