News for hackers. Stuff that matters.

A comment on Open-sourcing MonkeyType – Let your Python code type-hint itself. Parent comment

Re:Open-sourcing MonkeyType – Let your Python code type-hint... by tigershark on Friday December 22, 2017 @01:11AM (#15985600)
No it's absolutely not. In Haskell and F# you don't need to write types annotations to get that guarantee.
[ Parent | on HN ]
Re:Open-sourcing MonkeyType – Let your Python code type-hint... by joshuamorton on Friday December 22, 2017 @01:15AM (#15985615)
Nor do you in python in many cases, it's type inference is quite good, certainly better than c++ or java, which is what I was speaking of.

But you're right, I should have specified "traditional" static language.

[ Parent | on HN ]
Re:Open-sourcing MonkeyType – Let your Python code type-hint... by tigershark on Friday December 22, 2017 @01:20AM (#15985623)
"That's the exact same guarantee you get in any statically typed language." You wrote that and f# and Haskell are statically typed
[ Parent | on HN ]