3 ms·
Nix itself prevents a lot of generalized recursion and side effects. If I recall turing-completeness in functional languages requires generalized recursion in w
by xena 7y ago
Nix 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.