On Fri, 20 Feb 2015 12:58:01 +0000, rumbu wrote:

> A simple cast will always permit to destroy the type system entirely:

`cast` is the thing programmer does explicitly. it's assumed that 
programmer is know what he is doing, and he takes full responsibility for 
that.

hidden type system breakage is completely different thing.

moving checks to runtime turns language to JS.

Attachment: signature.asc
Description: PGP signature

Reply via email to