> Duck typing is really enforcement of interfaces, not types themselves A type system is just a set of rules that must be followed. The rules can be as weird o

> Duck typing is really enforcement of interfaces, not types themselves A type system is just a set of rules that must be followed. The rules can be as weird or as simple as you want. Just because <int> + <string> is allowed doesn't mean it's not enforcing types. Not really a criticism, just trying to push to expand your idea of what a type system is.