4 ms·
It’s useful, but overspecialized for general use. There are common use-cases for recursive arrays and functions, for example.
by kthielen 4y ago
It’s useful, but overspecialized for general use. There are common use-cases for recursive arrays and functions, for example.
- nly 4y agoI have no idea what you mean by this.
- kthielen 4y agoI have no idea why you're confused. :D Does the concept of a recursive array make sense to you? A recursive(ly typed) function? Or do you think such things can't exist? Like "[[[], []], []]" could be an instance of "mu X.[X]" right? https://en.wikipedia.org/wiki/Recursive_data_type#Isorecursive_types https://en.wikipedia.org/wiki/Recursive_data_type#Isorecursi...