[Nix-dev] Ideas for a NixOS-related bachelors thesis?

[Vladimír Čunát]

On 10/29/2015 02:01 PM, Matthias Beyer wrote:
> On 29-10-2015 13:26:33, Vladimír Čunát wrote:
>> There are already simple ways how to use individual machines as binary
>> caches, getting whatever is in /nix/store.
> 
> What means "simple" here?

nix.sshServe.enable = true;

>> For that, IMHO it would be nice to have some lintian-like checks run
>> automatically (not blocking the regular builds). We have nixpkgs-lint
>> tool (in perl) that does some simple analysis of expressions (without
>> building anything), but I think most problems are only testable when you
>> have the actual binary output.
> 
> Would be nice to have a (C++) library which does the AST parsing
> extracted from nix itself for exactly this, wouldn't it? The AST would
> need to refer to the source file to do the linting.


(1) There is an expression library in nix providing some API IIRC, and
you might easier get evaluations of attributes by nix-repl or similar.
(2) Nix uses standard parser generators (perhaps lex + bison), and those
can be used to generate a nix parser for various languages.
(3) We do have nixpkgs-lint that analyses the expressions. I don't think
much more linting can be done at nix-source level.


Vladimir


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3771 bytes
Desc: S/MIME Cryptographic Signature
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151029/6e6743f8/attachment-0001.bin