AK
Да, без конкретики звучит как что-то очень херово спроектированное, но смысл действительно есть :). И я постарался изолировать этот код от остального безопасного кода, и вдобавок сделал типоалисы, чтобы было понятнее где подписки, а где отписки.
Size: a a a
2018 May 23
AK
Может быть надо даже не алиасы, а newtype.
l
Да, без конкретики звучит как что-то очень херово спроектированное, но смысл действительно есть :). И я постарался изолировать этот код от остального безопасного кода, и вдобавок сделал типоалисы, чтобы было понятнее где подписки, а где отписки.
Не, я не про херовое проектирование) Я не раз огребал от подписок в таких местах, кажется что ща-ща разрулю, а оно не разруливается 💁♂️
l
И тут не в типах дело становится
l
Как правило выходил только хорошо типизированный бажный алгоритм 😁
AK
Да, понимаю, я вот уже почти месяц ковырялся и решил, что хватит.
AK
Хотел как лучше :)
l
Как нельзя — это тоже опыт 🌚
AK
Да, это точно, не зря ковырялся всё равно. Правда просветление ещё далеко кажется, но я и с командами в Elm долго врубался, потом в какой-то момент дошло.
2018 May 27
AK
А как сделать
но
forEachE :: ∀ e a. Array a → (a → Eff e Unit) → Eff e Unit но
:: ∀ e a b. Array a → (a → Eff e b) → Eff e b?к
а какой b он должен вернуть?
к
туда бы или Monoid b =>
или
или
Maybe b в концеAK
а какой b он должен вернуть?
вот любой бы
AK
к
вот любой бы
так а если их 0?
к
пустой массив
к
тебе нужен Monoid, я же говорю
AK
а, да, Maybe логичнее, да