[Nix-dev] Typing nix − funding campaign
Théophane Hufschmitt
rg_nixos at regnat.ovh
Thu Jan 12 22:02:50 CET 2017
Thu 12 Jan 17 − 18:30, Michael Raskin(7c6f434c at mail.ru) a écrit:
> >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)
I haven't, but it is worth considerating, indeed (but I fear that it
would require some modifications to the nix parser in order to be
useful for me). If nothing more, this could be a good way to test my
parser against the official one.
--
Théophane Hufschmitt
More information about the nix-dev
mailing list