Sim, ela é uma forma de isolar e controlar possíveis comportamentos indesejados que vem de efeitos colaterais do código (como atribuir undefined em uma variável como o post mostra).

É possível você ver esse tipo de padrão também com linguagens de programação funcionais com tipagem estática como o Haskell, que faz isso através do Monad, o equivalente do Option enum seria o Monad Maybe, recomendo ver esse vídeo do computerphile explicando melhor.

Mas no final das contas, toda linguagem de programação possui às mesmas capacidades, porém diferem-se no que tange a forma de resolver os problemas, linguagens muito populares precisaram errar muito no passado para acertar em algumas características, mas linguagens recentes como o Rust podem pegar tudo o que eles acertaram e melhorar (através da tentativa e erro).