The way that I interpreted this example from their homepage is that the type checker is assuming that n should be a Number since the function uses n * n which is fair, but then the function is called with the String and it says the error is in the function and I believe that the function definition should take precedence on which type is "right".
The way that I interpreted this example from their homepage is that the type checker is assuming that
nshould be aNumbersince the function usesn * nwhich is fair, but then the function is called with theStringand it says the error is in the function and I believe that the function definition should take precedence on which type is "right".Maybe it's not clear on their site., The function definition takes precedence like you thought it should.
Here's the example on their site:
What they're showing here is that the type checker won't allow you to call the function with a string.