> but you will get a runtime exception if you pass the function a value whose > type can't be added. ...but type checking a value for being consistent with a > concept is done entirely at runtime.
No, neither of these things are true, nim is a compiled language, thus generic type mismatch errors happen at compile time.
