>TF же про выражение подъязыка, на элементах которого строятся программы. Лексикон этого подъязыка расширяется по необходимости, когда нужно добавить какую-то новую функциональность.

Я совсем далек от фп, но чем это отличается от дефолтного commit to the interface и что мешает применять подобную технику с конкретной эффект монадой?

Конкретная монада сразу делает язык очень богатым - тут и сайд-эффекты и конкурентное исполнение, и всё в одном флаконе, ничем не ограничено

Помнить, почему в Monix delay, а в ZIO - effect, почему они называются по-разному, отличается ли их поведение чем-то - это всё усложняет задачу чтения. Найти метод по названию, который тебе нужен, примерно представляя, что он делает, сложнее - мало того, что они везде названы по-разному, так они еще и не сгруппированы ни по каким признакам, все методы внутри god-object, будь то IO/Monix/ZIO одним сплошным списком

Так говоришь будто на тф сам пишешь

>TF же про выражение подъязыка, на элементах которого строятся программы. Лексикон этого подъязыка расширяется по необходимости, когда нужно добавить какую-то новую функциональность.

Я совсем далек от фп, но чем это отличается от дефолтного commit to the interface и что мешает применять подобную технику с конкретной эффект монадой?

Олег все обещает показать как это можно сделать с unlift

Дело-то тут не в том, чтобы написать F и страшно собой гордиться, потому что теперь мы абстрагированные и крутые. Добавляя к этому F тайпклассы, мы расширяем подъязык - добавили Functor - получили возможность в нашем языке трансформировать значения, добавили Applicative - получили возможность использовать значения, добавили монаду - научились связывать разные выражения языка друг с другом

Это нельзя сделать через анлифт, т.к. все равно требуется конкаррент эффект

Дело-то тут не в том, чтобы написать F и страшно собой гордиться, потому что теперь мы абстрагированные и крутые. Добавляя к этому F тайпклассы, мы расширяем подъязык - добавили Functor - получили возможность в нашем языке трансформировать значения, добавили Applicative - получили возможность использовать значения, добавили монаду - научились связывать разные выражения языка друг с другом

Думаю, что конкарентэффект можно попробовать локально выразить через нужный анлифт

Зачем к аппликатив добавлять функтор ?

Заменить. Ну ты понял

Ты мне рассказываешь что такое тф?

Заменить. Ну ты понял