By the time i started noogle.dev I started to realize, there is no convention /ruleset how to use type comments.
Trying to standardize those with ‚nix-types‘ and make them AST parseable could be a first step towards static types in nix.
If the new standard then is capable of representing the types within nix it could be integrated into the language in many possible ways.
- like in python
- as a real type system
This project is far from done and i need your help. Requesting anyone and especially type theorists here for help.
Also there is a matrix channel: You're invited to talk on Matrix