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.
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.
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.