But thanks to how we can introspect annotations, we could have a specialized syntax for types that would be also usable for those things, while the other way around would be harder.
So it's nice we went the type hints road, because you can now define types, and yet have wonderful libs like pydantic, fastapi, typer, taichi and so on.
I designed typedload before pydantic was a thing and I made it with mypy in mind already, and with the idea of using the standard library, not defining my own dataclass.
Unfortunately mypy has a limitation so you can't make a function that takes Type[T] and returns T. You can define it but it won't work for all types. There is still discussion on how to provide this feature.
@inject
def main(service: Service = Provide[Container.service]) -> None:
...
https://python-dependency-injector.ets-labs.org/introduction...
taichi does ffi with their own dsl, cython with c.
I you haven't tried pydantic or sister projects (django-ninja, fastapi and typer), this is a good place to start. They bring a breath of fresh air and are quite fun to use.
The dep injection is fastapi and typer code though, and quite tied to it. So it's worth mentioning that somebody is attempting (quite successfully from the look of it) to create a generic lib of dep injection using annotation named DI, inspired by those libs: https://github.com/adriangb/di
An example:
@dataclass
class HackerNewsPost:
title: str
author: str
votes: int = 0
def __init__(title: str, author: str, votes: int = 0):
self.title = title
self.author = author
self.votes = votes
It can do some other things too!
https://cython.readthedocs.io/en/latest/src/tutorial/external.html