Предлагаю концепцию Faultable type — модификацию типов по аналогии с nullable. Суть — в том, что этот тип может принимать особое значение если при выполнении программы что-то пошло не так: не найден нужный файл, произошло деление на 0 и т.д. Этот тип предназначен для работы с ошибками как можно ближе к месту их возникновения, в отличие от исключений, которые больше подходят для того, чтобы работать с ошибками централизованно. Чтобы не переключать 100500 раз раскладку, буду называть его «ошибаемым типом», как бы забавно это не звучало.

Двенадцать F-клавиш, стрелки перевёрнутой буквой Т — кажется, так клавиатуры компьютера выглядели всегда. По крайней мере, эта раскладка с нами уже больше 30 лет. Казалось бы, зачем менять то, что хорошо работает? Но чем дольше понимаешь, сколько много казалось бы такой простой вещи спорных, неудобных и раздражающих мелочей.

Введение.