The type system enforce some kind of usage. myObject[ someFunction() ] = 1; No compiler in the world would be able to detect if myObject.field should exis

The type system enforce some kind of usage. myObject[ someFunction() ] = 1; No compiler in the world would be able to detect if myObject.field should exists or not. In a (good) type system oriented language, you have to declare that myObject is a Map, and therefore when you want to access "field" you know this access could be "Nothing". The type system alert you if you don't handle the "Nothing" value.