Re:Removing Garbage Collection from the Rust Language (2013)
by masklinn on Monday September 11, 2023 @08:02AM
(#37465981)
> Type system is even accidentally Turing complete
A turing complete type system is easier to stumble into than to avoid.
That doesn’t mean the type system is expressive. Turing tarpits are turing complete by definition, and nobody would call Thue, Iota, or the average OISC expressive.
A turing complete type system is easier to stumble into than to avoid.
That doesn’t mean the type system is expressive. Turing tarpits are turing complete by definition, and nobody would call Thue, Iota, or the average OISC expressive.