Given that there is renewed interest in language design to support correctness after all these decades, it may be time to return Turing+ to its roots and re-enable full checking of Turing's strict original semantic rules, and in particular strict mutable anti-alias checking.
Given that there is renewed interest in language design to support correctness after all these decades, it may be time to return Turing+ to its roots and re-enable full checking of Turing's strict original semantic rules, and in particular strict mutable anti-alias checking.