>>32
Yes, yes, everybody knows that finite bit strings are countable. This is discussed here only because
>>21 didn't understand what
>>17 said, shown in his reply
if that method can return any int, even if it violates reflexivity, anti-symmetry, or transitivity
All data ultimately resolves to a number. That is the nature of information.
which had nothing to do with what was argued.
Manifest typing makes the job easier for the compiler, since it might be nearly impossible in some cases for it to prove that a function will only ever be called with data that has an inferred structure. Manifest typing is also sometimes useful to limit the generality of a function so that it won't allow inputs that don't make sense.