News for hackers. Stuff that matters.

A comment on Python's Type Checking Renaissance. Parent comment

Re:Python's Type Checking Renaissance by toolslive on Tuesday January 26, 2021 @02:12PM (#25919918)
two people, both solving a puzzle. The first person (static typing) has some pieces and looks at the second person (dynamic typing), who shouts "finished!" but the puzzle is completely wrong.
[ Parent | on HN ]
Re:Python's Type Checking Renaissance by true_religion on Tuesday January 26, 2021 @04:10PM (#25921097)
The funny thing is that when you look at the pieces on the static typing side there is no way to solve the problem at all.

For example, the piece which has two legs of the giraffe should to at the bottom most position but it doesn't have a single straight edge so it can't be a bottom most piece.

A deeper message is....

Dynamic typing: Solve your problems but leave bugs because you moved too fast.

Static typing: Discover that there is no sound solution, then have to manually cut and glue pieces together to satisfy your type checker.

[ Parent | on HN ]
Re:Python's Type Checking Renaissance by oblio on Wednesday January 27, 2021 @06:28AM (#25926936)
You do know that almost every language with a static type system has a hatch, right? Object, Any, whatever.
[ Parent | on HN ]