3 ms·
The fun follow-up question is whether we should extend this observation to static type systems too. Should we just accept that those should be Turing-complete t
by munificent 6y ago
The fun follow-up question is whether we should extend this observation to static type systems too. Should we just accept that those should be Turing-complete too?