Comment by LelouBil

3 hours ago

I post this on every post about Nix I encounter, but I sincerely hope that it gets static electricity typing one day. I have yet to try typenix (a fork of the typescript compiler applying the typescript type system to nix)

https://github.com/ryanrasti/typenix

2 comments

LelouBil

Reply
Shoue  2 hours ago

Adding TS types to Nix would make it so much easier to write Nix code. Which string do I need here? Oh the type system knows, the language server shows it inline - I don't have to look at the source. I've used NixOS since 2018 and written nixpkgs derivations and it would've saved me so much time.

I'm glad that TypeNix exists but it really should just be officially supported or even the default.