News for hackers. Stuff that matters.

A comment on Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to. Parent comment

Re:Adoption of Mypy for Python type checking: 45% already us... by joshuamorton on Monday March 22, 2021 @12:13PM (#26542829)
Can you elaborate on this? Forward refs and recursive types are accepted on most places that isn't NewType, so you can make them, but not in a one liner.
[ Parent | on HN ]
Re:Adoption of Mypy for Python type checking: 45% already us... by throwaway81523 on Sunday March 28, 2021 @02:04PM (#26612596)
Sorry about the slow reply but I just noticed your question. Haskell supports recursive types just fine. The issue I'm mentioning is that it is hard to express those types in MyPy, which is a static typechecking add-on for Python, not Haskell.
[ Parent | on HN ]