3 ms·
> beyond the current level of technology I’m sure there quite a few languages that will catch that at compile time.
by jiofih 7y ago
> beyond the current level of technology
I’m sure there quite a few languages that will catch that at compile time.
- earenndil 7y agoIt is possible for a compiler to catch that particular mistake at compile-time. It's also possible for the user to provide a proof to a given compiler that a comparison function is well-formed. But I think that the parent was referring to a function that would check arbitrary comparison functions in java for correctness, without a proof, which is afaik provable impossible.