[Nix-dev] [***SPAM***] Thoughts on the Nix model

[Vladimír Čunát]

Hi.

On 09/14/2015 01:40 PM, Kosyrev Serge wrote:
> The simple fact that Turing-complete code is used to describe /everything/.
> [...]
> In my perception, this situation can't be good in the long term.

I think we should be able to side-step related problems in most cases,
though only trying to do so will show the truth.

In typical cases our style is relatively easy to analyze visually (and
we do want that), so tools should also be able to do so without great
difficulties. Of course, Turing-completeness probably allows us to break
any simple tools, but there shouldn't be need in most cases to utilize
the strength and diverge from the simple style.


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/20150922/7ee03863/attachment.bin