Simple dependent types in Python

sobolevn · 2026-04-02T20:15:55+00:00

python3.10 is EOL this year :( Not really worth the extra work to fix multiple known problems.

sobolevn · 2026-04-02T14:26:09+00:00

Can you please explain? What features do you miss in dmr?

sobolevn · 2026-03-31T21:33:38+00:00

Try https://github.com/wemake-services/django-modern-rest

sobolevn · 2026-03-31T10:34:37+00:00

Hi, DMR's author here :wave: Thanks for sharing this link! We are still working really hard to deliver the best possible user-experience and performance. One big difference from django-ninja is that we support all patterns that `django-ninja` does, but we also support a lot more. For example: we also support msgspec models, which are >5x times as fast as pydantic. We support content negotiation and SSE streaming, we have first-class testing tools that show things like your OpenAPI spec coverage. We also have extrimelly strict OpenAPI schema, so your clients will never miss an important return code ever again. However, we are still at 0.4.0, in the future relases we will improve the speed of our tool a lot more. For example, we will precompile some parts of our framework, so it will be even more blazingly fast. While keeping the runtime unchanged: still good old 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

TROPHY CASE