Система типів у Rust справді натхненна Haskell, зокрема трейти — спрощене та більш прикладне втілення ідеї типів-класів. Але типів вищих порядків, HKT, high kinder type немає.
Під кожною статею, знайдеться такий анонім який має не прокачані Power skills(в минулому soft skills) та нагадить в душу автору Такє враження, що треба заборонити людям бути анонімами, бо так дискусія скочуються до рівня «прекрасного.айті»
точно так же можна добавить максимальное возможное время выполнения функции, или логирование времени исполнения функции, или тригернуть какую то другую таску и добавить ее в очередь или сделать ресет кеша.
Я ще не завершив читати, але вже бачу що з наскоку не осилю, буду повертатись до цієї статті і не раз, так як мені цікаве ФП.
Дуже добре написано з гарними референсами до ООП. Дякую за такий якісний матеріал.
cons: дуже довго. типовий вайб-кодер не буде читати.
Для типового вайб-кодера вже є достатньо статей у стилі «монада — це коробка для піци». Я пишу не для популяризації, а для тих, хто справді хоче розібратися в суті.
так, не поєднуються. за це їх часто критикують. але є трансформери — допоміжні класи, які завертають у себе якусь монаду, і параметризуються ще однією, яку витягують за допомогою lift.
Дякую за статтю, фундаментально
Монадні трансформери дозволяють «нашарувати» монади одна на одну, створюючи нову монаду, яка поєднує функціональність обох: MaybeT, ReaderT, StateT.
Тобто вони природньо не поєднуються?
Коментарі