Date: Sat, 23 Sep 2023 20:26:47 +0200
On 23/09/2023 17:45, Chris Gary via Std-Proposals wrote:
> All computable data can be made isomorphic to integers.
So... what? Ditch any type system, because everything computable can be
expressed by integers and arithmetic?
My 2 c,
> All computable data can be made isomorphic to integers.
So... what? Ditch any type system, because everything computable can be
expressed by integers and arithmetic?
My 2 c,
-- Giuseppe D'Angelo
Received on 2023-09-23 18:26:51