Comment by mrkeen
4 hours ago
> unbounded TM is likely a fool’s errand
It's the whole language, not just the TM code. Other languages have no way of opting out of the TM code, whereas Haskell does.
4 hours ago
> unbounded TM is likely a fool’s errand
It's the whole language, not just the TM code. Other languages have no way of opting out of the TM code, whereas Haskell does.
Well, in a sense other languages opt-in to TM code by interfacing with a relational database. Similar to how in Haskell you put TVar in front of the relevant bits to opt-in.
In Haskell it's just more economic and better integrated with the rest of the language and its typesystem.