[Nix-dev] Typing nix − funding campaign
rg_nixos at regnat.ovh
Thu Jan 12 14:13:28 CET 2017
I am Théophane Hufschmitt, a french master degree CS student, and I
wish to start a six month length internship on giving nix a type
Numtide offered to fund a part of the internship, but we still need
some help for me to be able to start it.
The goal of the internship is to design (and implement) a type system
for nix in order to be able to statically get some guaranties about
the well-foundness of the nixpkgs repo (or any nix expression), in
complement to hydra or travis tests which may let some inconsistencies
pass − especially on nixos module system which is way harder to test.
Providing nix with a proper type system is a long running issue (see
https://github.com/NixOS/nix/issues/14), and I think a huge
opportunity for nix to improve its awesomeness.
The crowdfunding campaign (and a slightly more detailled description of
the project) is open at https://www.gofundme.com/typing-nix, and you
are all invited to donate.
Of course, I'll be happy to answer any question, by mail or on
irc/matrix (I am regnat[m] on freenode).
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: not available
More information about the nix-dev