[Nix-dev] [***SPAM***] Re: Typing nix − funding campaign

[Michael Raskin]

>I agree with your concerns about the separate implementation.
>The reason for this is related to your third paragraph. The inference
>algorithm that is going to be used is no trivial at all to implement,
>and my advisor already has done a lot of work on this that could be
>reused, but written in OCaml, and we agreed that writing and
>maintaining a parser it was far easier than reimplementing what he
>already had done, and that it would be too hard to ship a usable
>product in a few month without using it.

Have you considered making nix-instantiate --parse-only work with --xml 
like --eval-only does? May reduce the total effort needed (if it turns
out to be reasonably simple)