в качестве аргументов принимают результат работы других функций" пойдет?
Моноид в категории эндофункторов
не пойдёт
класс типов таких что ... и законы. И добавить, что нужны для композиции вычислений последовательной
так и отвечу
Нечто с определенным поверх этого 2 операции и 3 закона
Ответ неверный, ваше очко переходит в зрительный зал
Да хватит уже доколупыватся
Очень хорошее определение чего-угодно, спасибо за эдит
в общем понятно, постараюсь на каких-то базовых знаниях выехать и просто как хороший человек себя показать, а уже там далее с этими вашими ендоф*нкторами будем когда-то потом разбираться
По моему в котодоке все на пальцах расписано и без бикатегорий
можно линк? я просто не совсем понимаю, о чем речь
https://typelevel.org/cats/typeclasses/monad.html
Обсуждают сегодня