DEV Community


Discussion on: Higher Kinded Types in Python

hanpari profile image
Pavel Morava

A week I saw someone commenting he was surprised that Python had typehints.

So I guess there is long way to go ahead proper use of optional static typing.

From my perspective, I believe that structural typing makes more sense in Python. Fortunately, modern typing module offers nominal and structural types.

Still, we need more articles like this. It is bothersome to see here only articles dealing with basics.

I wonder what do you think about approach I described here:

Thread Thread
sobolevn profile image
Nikita Sobolev Author

I love singledispatch! I even wrote a fully typed version of it, check it out:

Thread Thread
hanpari profile image
Pavel Morava

What a splendid idea!
I really like it