Так там же сама JVM бросать может. Ведь, если я правильно помню, в JVM ссылочные типы создаются через new, а new может бросать исключения. Т.е. создается сам объект State-монады и при его создании вылетает исключение.

И что? Вся библия нафиг, ведь не принято же бросать...

1) Монады - это дополнительный уровень абстракции который создает новую систему типов поверх существующей. В новой системе типов есть две операции: первая переводит объект из старой системы типов в новую (unit), а вторая (bind) - это выполнение произвольной функции над содержимым монады.
2) Есть 3 самых типа известных монад: MayBe, State и IO. Что такое MayBe представить достаточно легко, по смыслу это очень похоже на std::optional и std::variant, но... у них нет операции bind и нам каждый раз приходится проверять, есть ли значение в optional и писать свич на вариант. При наличии этой операции писать этот свич будет не надо. State монада - это чуть более сложная абстракция, которая добавляет какие то метаданные о типах. Характерный пример - это монада Try из скалы https://www.scala-lang.org/api/2.9.3/scala/util/Try.html. Там как и на С++ не существуют checked exception'ы, но в отличии от С++ никто как правило не ожидает, что ему неожиданно выбросят в морду эксепшен. Для того, чтобы обрабатывать ошибки зачастую используют эту монаду, которая по сути к возвращаемому значению добавляет опциональный эксепшен и если у тебя есть цепочка операций, сделанная через bind, то при падении первой операции у тебя просто запишется эксепшен в стейт и дальше функции выполняться не будут. IO монады достаточно сложные в понимании и не нужны в языках с императивными конструкциями

Раз уж пошли такие набросы, то может быть кто нибудь знает, как из С++ из user space обработать синий экран в windows?

Кстати, а это исключение (о нехватке памяти) в jvm только при new бывает? Ведь память может кончиться и без new

Штука в том, что bsod не передаёт управление юзерспейсу, а исключение - передаёт

1) это не исключение, это Error, но его тоже можно выкидывать, оно называется OutOfMemoryError
2) не может, JVM проактивно растит кучу, то есть она жрет памяти больше, чем реально потребляет. Если памяти не хватает, GC не помог и не может вырастить кучу, то OutOfMemoryError

Кстати, jvm, при new обязательно трогает все аллоцированные странички? Как оно с lazy commit / overcommit взаимодействует?

Я бы ответил, что зависит от конкретного экземпляра, там везде по разному сделано и стандартов на это нет

То есть исключение это может вылететь просто когда итерируешься по массиву?

нет, это было про lazy commit и overcommit

Конечно не трогает, а зачем трогать, если нет аллокаций?

1) Монады - это дополнительный уровень абстракции который создает новую систему типов поверх существующей. В новой системе типов есть две операции: первая переводит объект из старой системы типов в новую (unit), а вторая (bind) - это выполнение произвольной функции над содержимым монады.
2) Есть 3 самых типа известных монад: MayBe, State и IO. Что такое MayBe представить достаточно легко, по смыслу это очень похоже на std::optional и std::variant, но... у них нет операции bind и нам каждый раз приходится проверять, есть ли значение в optional и писать свич на вариант. При наличии этой операции писать этот свич будет не надо. State монада - это чуть более сложная абстракция, которая добавляет какие то метаданные о типах. Характерный пример - это монада Try из скалы https://www.scala-lang.org/api/2.9.3/scala/util/Try.html. Там как и на С++ не существуют checked exception'ы, но в отличии от С++ никто как правило не ожидает, что ему неожиданно выбросят в морду эксепшен. Для того, чтобы обрабатывать ошибки зачастую используют эту монаду, которая по сути к возвращаемому значению добавляет опциональный эксепшен и если у тебя есть цепочка операций, сделанная через bind, то при падении первой операции у тебя просто запишется эксепшен в стейт и дальше функции выполняться не будут. IO монады достаточно сложные в понимании и не нужны в языках с императивными конструкциями

Вот ты говоришь new char[1024*1024*1024]; - при вызове этой строчки jvm потрогает все эти байтики, или просто память выделит?

При размерах больше чем 64кб переведет массив в виртуальную память