A
Ну я к тому, что никаких новых возможностей по сравнению с функциями такой подход не дает.
Size: a a a
2021 May 03
AS
Так это все и есть функции :)
AS
Даже TH
JS
все инстансы создаются компилятором во время компиляции, извлекаются во время исполнения
AS
В случае с генериком, самый базовый пример - функция, превращающая любой* тип данных в JSON и обратно.
* сериализация которого имеет смысл
* сериализация которого имеет смысл
AA
> извлекаются
че?
че?
AF
очень свободные
[
Даёт, писать меньше
[
Ты пишешь меньше кода, а потом говоришь, что ничего не изменилось
[
Тебе норм..?
AF
абстракцию даёт
DB
У тебя какие-то очень веские выводы) Ты небось 100к строк в продакшен и на том и на другом написал?)
AF
бинд ридера это f(x, g(x, a))
[
Ну, я ввёл ReaderT в код и тот стал чище
[
Что не так?
DB
)))))))))))))
[
Я не туда смотрю?
AF
оно и на композиции двух функций не очень понятно смотрится, а если накрутить два десятка до со смежными контекстами? мозги потекут
AF
В смысле непонятно, зачем руками всё разводить, если с этим компьютер справляется
KV
Чтобы ограничить какие-то участки кода определённым набором легальных операций, кроме которых ничё нельзя вызвать, типа произвольного IO или смены стейта. Смысл такой же, как у геттеров и сеттеров вместо обычного присваивания, или как у абстрактных типов данных