¿Por qué la mayoría de los lenguajes imperativos / OO "conocidos" permiten el acceso sin control a tipos que pueden representar un valor de "nada"?
He estado leyendo sobre la (des) conveniencia de tener en nulllugar de (por ejemplo) Maybe. Después de leer este artículo , estoy convencido de que sería mucho mejor usarMaybe (o algo similar). Sin embargo, me sorprende ver que todos los lenguajes de programación imperativos u orientados a objetos...