Pragmatic-Type-Level-Design
Pragmatic-Type-Level-Design copied to clipboard
How to interpret "Free a" to return "b"?
I want to interpret the language differently (to return "String" instead of "Number")
But I cannot understand how to do it?
It it even possible?
Or do other interpreters always have to return the same type "Number"?
If so, what is the point of different interpreters?