Note to self. Here's a snip from "Big Types in Little Runtime"
The runtime checks (\Downarrow) just checks the "top-level tag" list. It does not check that the list contains floats. Yet they call this "the expected type safety to programmers".
This is way too sneaky. Those casts to list float just vanish by runtime.
Note to self. Here's a snip from "Big Types in Little Runtime"
The runtime checks (
\Downarrow) just checks the "top-level tag"list. It does not check that the list contains floats. Yet they call this "the expected type safety to programmers".This is way too sneaky. Those casts to
list floatjust vanish by runtime.