4 ms·
You're right, and foo x = foo x also qualifies as 'a -> 'a. The only function that always terminates is the identity function, then.
by anyfoo 4y ago
You're right, and foo x = foo x also qualifies as 'a -> 'a. The only function that always terminates is the identity function, then.
- tsimionescu 4y agoWe could throw some unsafePerformIO in there and do anything else as well, but if course we would have a function in the mathematical sense anymore.
- xigoi 4y agoA function in the mathematical sense is total (always terminates).