Tests aren’t enough: Case study after adding type hints to urllib3

Re:Tests aren’t enough: Case study after adding type hints t... by freemint on Wednesday October 20, 2021 @06:53AM (#28929196)

Multiple dispatch and compile time times are not exclusive at all.

[ Parent | on HN ]

Re:Tests aren’t enough: Case study after adding type hints t... by kennywinker on Thursday October 21, 2021 @03:32PM (#28949766)

I'm saying the problem isn't solved by multiple dispatch alone, but it is solved by compile time types alone. You can use both together, of course.

[ Parent | on HN ]

Re:Tests aren’t enough: Case study after adding type hints t... by freemint on Friday October 22, 2021 @06:41PM (#28963642)

The issue whether the language is interpreted or compildd (which would distinguish compile time types from strong types) is in my opinion completely orthogonal to the issue of how dispatch works. Strong types and multiple dispatch fix the issues I see even in an interpreted language.

[ Parent | on HN ]