I think the advantage of type systems isn't something trivial like ensuring a function receives an integer instead of a string. It's that (in powerful type syst

I think the advantage of type systems isn't something trivial like ensuring a function receives an integer instead of a string. It's that (in powerful type systems) you can encode your own domain constructs into types, which reduces cognitive overhead.