DEV Community

loading...

Discussion on: Higher Kinded Types in Python

Collapse
hanpari profile image
Pavel Morava

I have to admit you've lost me in midway. I was not able to follow you properly.

But it is a great post, anyway.

Collapse
sobolevn profile image
Nikita Sobolev Author

Hey, thanks for the feedback. This is not an "ideal" HKT tutorial. Because it has too much Python implementation details. So, it is quite understandable. But, I hope people can recreate my path from this post if they are interested in how this works.

Collapse
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:

dev.to/hanpari/how-to-use-single-d...

Thread Thread
sobolevn profile image
Nikita Sobolev Author

I love singledispatch! I even wrote a fully typed version of it, check it out: github.com/dry-python/classes

Thread Thread
hanpari profile image
Pavel Morava

What a splendid idea!
I really like it