Oℕ
даже тот нерадивый чел с "конечными неразмеченными интерпретаторами" ничё про монады не говорил
Size: a a a
2020 September 01
SA
Везде примеры на скале только с монадами
программа на TF - это некий DSL, который потом интерпретируется. Вполне можно придумать код, для которого операция flatMap не нужна или даже вредна.
Oℕ
если хотите какие-то фундаментальные композеры, можете стрелочный ТФ использовать
A
trait AddAlg[F[_], T] {
def add(a: F[T], b: F[T]): F[T]
}
val res: F[Int] = addAld.add(a, b)
И где тут монада?
def add(a: F[T], b: F[T]): F[T]
}
val res: F[Int] = addAld.add(a, b)
И где тут монада?
Не, ну так то и я могу))
А вот с котами, эффектами, зио и вот этим всем как проекты то писать?
А вот с котами, эффектами, зио и вот этим всем как проекты то писать?
Oℕ
или моноидальный
Oℕ
а можете просто всё в язык воткнуть
Oℕ
поэтому тут вопрос не стоит "как можно использовать ТФ без монад"
Oℕ
вопрос, какую задачу вы хотите решить с помощью ТФ
EH
Не, ну так то и я могу))
А вот с котами, эффектами, зио и вот этим всем как проекты то писать?
А вот с котами, эффектами, зио и вот этим всем как проекты то писать?
>А вот с котами, эффектами
>зио
>TF
Абсолютно не связанные вещи
>зио
>TF
Абсолютно не связанные вещи
Oℕ
ну не абсолютно
Oℕ
связи-то имеются между каждой парой из трёх
EH
ну лишь частично пересекающиеся
A
>А вот с котами, эффектами
>зио
>TF
Абсолютно не связанные вещи
>зио
>TF
Абсолютно не связанные вещи
Ну да не полностью связанные. Общий вопрос это не отменяет...
EH
ТФ бывает без котов, коты бывают без ТФ
A
Коты вообще сами по себе
EH
Коты вообще сами по себе
*котоэффекты
Oℕ
собственно котоэффекты то и не дают ничего вообще для ТФ
Oℕ
коты ещё куда ни шло
GP
собственно котоэффекты то и не дают ничего вообще для ТФ
дают ‘иллюзию’ тф
Oℕ
ну ладно, есть в котоэффектах один тайпкласс