Por que a maioria das linguagens imperativas / OO "bem conhecidas" permite acesso não verificado a tipos que podem representar um valor "nada"?
Eu tenho lido sobre a (des) conveniência de ter em nullvez de (por exemplo) Maybe. Depois de ler este artigo , estou convencido de que seria muito melhor usarMaybe (ou algo semelhante). No entanto, fico surpreso ao ver que todas as linguagens de programação imperativas ou orientadas a objetos...