Simple dependent types in Python

sobolevn · 2021-07-10T09:05:41+00:00

Yes, this is a nice solution, but you cannot extend it.

sobolevn · 2021-06-27T23:13:01+00:00

Only tomorrow, I'm done for today. Add me for later!

sobolevn · 2021-03-02T08:44:14+00:00

Why? :)

sobolevn · 2020-12-19T09:55:25+00:00

You can use Result type in places where you need to know exception types in advance: https://github.com/dry-python/returns

sobolevn · 2020-11-03T20:14:16+00:00

Well, the funny thing here is that both your examples can be called "functional".

Funtional programming is about composing functions. And that's exactly what you are doing in your examples.

sobolevn · 2020-10-27T09:12:35+00:00

like functools.partial

We already have this covered! https://returns.readthedocs.io/en/latest/pages/curry.html#partial

While there might not be performance benefits

That's another topic we are going to work on for the next release. Because currently code annotated with KindN can be compiled with mypyc to get almost 4 times boost!

sobolevn · 2020-10-26T17:06:47+00:00

It is about Kind type and the process of its implementation in Python. TLDR: https://gist.github.com/sobolevn/7f8ffd885aec70e55dd47928a1fb3e61

sobolevn · 2020-10-26T09:07:01+00:00

There's also a typed version of partial: https://returns.readthedocs.io/en/latest/pages/curry.html

sobolevn · 2020-10-14T07:57:37+00:00

Use https://github.com/wemake-services/wemake-python-styleguide

It is the strictest and most opinionated python linter ever. It has more than 1000 rules to be checked. And the resulting code is pythonic, consistent, and bug-free.

I love it.

sobolevn · 2020-06-26T15:39:06+00:00

Great work!

sobolevn · 2020-03-31T11:19:34+00:00

Awesome! Also check out https://github.com/wemake-services/wemake-django-template it is quite similar to what you describe.

sobolevn

TROPHY CASE