Well "we need both" is obvious to anyone who has written software for any length of time :-) But that said, dynamically typed code is OK for small code bases y

Well "we need both" is obvious to anyone who has written software for any length of time :-) But that said, dynamically typed code is OK for small code bases you can fit in your head. The real question is does "tie yourself in knows" type systems like Haskell have a benefit over "80-20 does it" type systems like Python with type hints.