News for hackers. Stuff that matters.

A comment on What is Gradual Typing. Parent comment

Re:What is Gradual Typing by the_af on Wednesday November 12, 2014 @07:49AM (#8595189)
The add1 method was declared non static on purpose, to illustrate static type checking.
[ Parent | on HN ]
Re:What is Gradual Typing by shawabawa3 on Wednesday November 12, 2014 @09:31AM (#8595525)
No it wasn't.

Even if the type checker passed the compilation would fail because it's trying to call a non static method from a static method

[ Parent | on HN ]
Re:What is Gradual Typing by the_af on Wednesday November 12, 2014 @10:08AM (#8595730)
Oh, you're right, it's unintended. I didn't see the author tried to trigger a type-check error with an argument "a" of the wrong type.

However, failing compilation because you're calling a non-static method from a static context is also a kind of static checking, so the author's example still works, just in unintented ways.

[ Parent | on HN ]