ALGOL 68 has the nice property that there are no variables/lvalues: There are names that are bound to constant values, and there are values that are addresses. "int x := 5" is shorthand for stack-allocating an int and binding x to its address (so the type of x is "ref int").
-
-
In a language that’s highly structured, you have to say how “int” and “const int” are distinguished for locals, data structure fields, inferred types, etc. Is it encoded in the type? In the name? In a third place? What happens to covariance? So maybe Algol68 is universally best.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.