Здравствуйте, netch80, Вы писали:

N>Я не вижу, чем тут динамика или статика — при прочих равных — влияла бы. Меняется только оформление формата этого самого Maybe.
My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler.
В динамике вопрос безопасных систем типов не стоит.

N>Понимание самого понятия, извините за каламбур — было.
N>Не было понимания важности. Не было оценки последствий, пусть даже таких фантастических, как "миллиард долларов".
+1. Понимания важности не было. Однако желание решить вроде было, но не было понимания как.