Что такое монадическая обработка ошибок?

Errors are values.
Don't just check errors, handle them gracefully.
(c) Rob Pike https://go-proverbs.github.io/

Наглядные картинки в "железнодорожно-ориентированном" программировании.

Посмотрите причину создания и основные требования к языку

Ортогональность. Язык должен предоставлять небольшое число средств, не повторяющих функциональность друг друга.

Простая и регулярная грамматика. Минимум ключевых слов, простая, легко разбираемая грамматическая структура, легко читаемый код.

Простая работа с типами. Типизация должна обеспечивать безопасность, но не превращаться в бюрократию, лишь увеличивающую код. Отказ от иерархии типов, но с сохранением объектно-ориентированных возможностей.

Отсутствие неявных преобразований.

Интересно обратываются ошибки I/O в Rust. Там такой синтаксис что ты не можешь получить результат не обработав ошибку. Является ли это монадической схемой? ХЗ.

use std::fs;

fn main() {
    let data = fs::read_to_string("/etc/hosts").expect("Unable to read file");
    println!("{}", data);
}

В других языках можно как-то проскочить между капелек дождя. Просто не делать секцию catch(exception) а здесь компиллятор просто не соберет код без except().

Есть еще другой более красивый кейс с Rust но я его не найду никак.

Монадическая обработка ошибок - это когда для представления результата операции, которая может закончиться ошибок, используется монада. Например Either (aka Result).

В Go хоть и нет try-catch, но и монадической обработки ошибок тоже нет.

Главнаый смысл монад в том, что ты не можешь напрямую молча её распаковать.
А ещё есть функция map() с помощью которой можно безопасно обработать успешный результат.

Хорошие примеры языков с такой системой - Haskell, F#, Ocaml, Rust.

Также советую посмотреть на railroad oriented programming, ссылку на которую скинул Александр Скуснов.