3 ms·
I'd argue that Nix is turing-incomplete. What do you mean by this? Nix is a Turing-complete language.
by danieldk 6y ago
I'd argue that Nix is turing-incomplete.
What do you mean by this? Nix is a Turing-complete language.
- xena 6y 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 6y agoNix does allow general recursion, no? I haven’t seen any limitations that would prevent it from Turing completeness.