I'm fairly close to releasing something called nix-compile, which is a type inferring Hindley-Milner compiler that unifies across nixlang and bash. It finds a l

I'm fairly close to releasing something called nix-compile, which is a type inferring Hindley-Milner compiler that unifies across nixlang and bash. It finds a lot of bugs. Because it has a very complete view of your project, it can do cute stuff like precise go to definition across modules, annotate code with types in the comments, it's cool.