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
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
