Hi Maarten, I plan to rely heavily on Eelco's thesis for rewriting the spécifications, but it will need a serious update because of the changes that happened to the language.
Integration into an ide is a long term goal, but this is probably not gonna happen anytime soon. (but using types to enhance documentation is of course planned) Le 12 janvier 2017 15:50:18 UTC+01:00, Maarten Hoogendoorn <maar...@moretea.nl> a écrit : >Interesting idea. > >Note that Eelco's phd thesis about nix contains a formal definition of >both >the syntax and semantics the language. >The whole thesis is well written and approachable. > >Potential other benefits from a deeper analysis could include: >- generation of better documentation for helper functions >- or even IDE features like jump to definition > > >2017-01-12 14:13 GMT+01:00 Théophane Hufschmitt <rg_ni...@regnat.ovh>: > >> 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 >> 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). >> >> -- >> Théophane Hufschmitt >> >> _______________________________________________ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >>
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev