[Nix-dev] Typing nix − funding campaign

[Peter Simons]

Hi Théophane,

 > https://www.gofundme.com/typing-nix

I see that you plan to spend approx. 2 months (a third of the entire
project's time) on developing a parser for Nix. Why do you feel that
this is necessary, considering that there is a parser for Nix already?

The notion of working with a separate implementation worries me because
I see the danger that your efforts are going to exist in a parallel
universe which won't be possible to merge back into Nix proper.

Or, to put it differently, does your project even have the goal of
providing a working implementation for Nix? Or is it more about
exploring the design space for type systems that Nix could potentially
use?

Best regards,
Peter