Thu 12 Jan 17 − 14:13, Théophane Hufschmitt( a écrit:
> Hi,
> 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
> system.
> 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
>, 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, 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).
> -- 
> Théophane Hufschmitt

Already one half of the required funding has been reached in less than
one day. A big thanks to all the donators !

For everyone else, there is still at lot of place if you want to be a
part of this, so don't hesitate ;)

Théophane Hufschmitt

Attachment: signature.asc
Description: PGP signature

nix-dev mailing list

Reply via email to