3 ms·
I'd argue that Nix is turing-incomplete. I've also been working on some tools that use Nix AST parsers to replace details like version numbers and hashes of git
by xena 7y ago
I'd argue that Nix is turing-incomplete. I've also been working on some tools that use Nix AST parsers to replace details like version numbers and hashes of git repos inside of existing .nix files. No fruit yet, but I'm still in the early planning phase.
- danieldk 7y agoI'd argue that Nix is turing-incomplete. What do you mean by this? Nix is a Turing-complete language.
- xena 7y agoNix itself prevents a lot of generalized recursion and side effects. If I recall turing-completeness in functional languages requires generalized recursion in ways Nix doesn't allow.
- mbrock 7y agoNix does allow general recursion, no? I haven’t seen any limitations that would prevent it from Turing completeness.