News for hackers. Stuff that matters.

A comment on Pyre: Fast Type Checking for Python. Parent comment

Re:Pyre: Fast Type Checking for Python by merlincorey on Friday May 11, 2018 @02:52PM (#17049904)
> I don't always need to check types. I don't need to know that isReady returns a bool. It clearly returns a bool.

I'm sorry but you're mistaken, friend. I checked the signature of that function and it actually returns an enumeration of ready states:

    enum class Ready { Insert, Process, Clean };
    const Ready isReady();
Static typing is extremely useful for knowing what things return - names are not.
[ Parent | on HN ]
Re:Pyre: Fast Type Checking for Python by jhall1468 on Friday May 11, 2018 @06:48PM (#17051268)
> Static typing is extremely useful for knowing what things return - names are not.

Only if you completely ignore convention (that is prefixes return bools) then, sure, it's not useful. But if you just want to break conventions, then all of this is moot because you are guaranteed to do stupid stuff outside of that.

[ Parent | on HN ]
Re:Pyre: Fast Type Checking for Python by elbear on Saturday May 12, 2018 @02:25AM (#17052753)
Even if you don't want to break conventions, you might do it by accident. If you don't have a compiler (or a static checker of some sort), there's no one there to keep you consistent.
[ Parent | on HN ]