and i think this is the point; runtime vs compile time! similar reasons that people love the popular new type systems... if it compiles, it probably works or yo

and i think this is the point; runtime vs compile time! similar reasons that people love the popular new type systems... if it compiles, it probably works or you get an error rather than pushing that later and possibly not catching it