Nix-types - a first step towards static types

Repo: GitHub - hsjobeki/nix-types: nix-types | type hints for nix

Website: https://typednix.dev

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.

  1. like in python
  2. 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

22 Likes

Anyone interested just join my open discussion
Weekly friday 13:00 - 15:00 UTC (latest end) @ Jitsi Meet

If you dont have time then and still can give some feedback whether positive or critical just contact me on matrix or send me an calendar entry via:
https://koalendar.com/e/meet-with-johannes-kirschbauer

I am thankful for every single contribution.
:wink:

4 Likes

I think a significant silent majority may just hope that you succeed and get it done.

2 Likes
Hosted by Flying Circus.