Э?

То есть сделает аллокацию виртуальной памяти

А бывает не виртуальная? Там же внизу один фиг mmap

Maybe монады нужны, чтобы не писать много if'ов и не проверять везде не является ли у тебя указатель nullptr, а рассматривать только позитивный случай.
Со стейт монадами примерно тоже самое: ты пишешь код, как будто у тебя только позитивный кейс и эксепшены не выпадают

Буду готов поспорить, если будет:
- дано короткое и понятное людям определение монад
- короткий и ёмкий пример реализации
- список мест, где они могут нанести пользу

До сих пор все валились на пункте 1 :(

Я вот много раз пытался читать про монады и так ничего и не понял. Точнее, примеры монад всегда были понятны, но я так и не смог понять что они такое в общем виде.

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 монады достаточно сложные в понимании и не нужны в языках с императивными конструкциями

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 монады достаточно сложные в понимании и не нужны в языках с императивными конструкциями

В плане системы нет, на практике бывает

Непонятно, зачем оно вообще надо. Как правило его не пишут ни в одной книжке, нацеленной на массовую аудиторию. Все как правило пишут определение через систему типов и две операции. Умение писать код != понимаю того, какая теория стоит за твоим компилятором. И я скажу даже больше: большинство людей, которые пишут в коде эти монады в глаза не видели эту теорию категорий.

А что тут это значит? jvm делает mmap, получает кусок адресного пространства. Память физическая под это дело пока не выделена.  Память будет выделяться только когда приложение (jvm) попытается прочесть или записать что-то в каждую страницу этой памяти.

jvm пробежит по всему этому гигабайту памяти прежде чем отдавать пользователю, или отдаст как есть и тогда OutOfMemory случится уже когда пользователь начнёт с ней работать?

Система не даст выделить размер больше, чем дозволено, поэтому выбросит ошибку и делай что хочешь

По крайней мере, так на Винде :)

Мы про политику overcommit в линуксах, которая суть дефолт