On Nov 24, 2014 12:36 PM, "Milan Straka" <fox@ucw.cz> 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.