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

> static electricity typing

I assume that was an autocomplete typo?