Re: Discussion: Strict maps

On Nov 24, 2014 12:36 PM, "Milan Straka" wrote:

Note that if strictness is encoded on the type level, it is part of an API -- for example, a JSON parser might advertise that it returns the results in a "strict" map and cannot change this (as I see an internal implementation issue) without changing the API.

There are advantages to this too. If something returns something with a strict map type, they are promising that (shallow) evaluation of the elements will never lead to an exception.