Post #1864716
2026-05-01 20:41 UTC
There is the Fortran method. The Fortran method I can remember roughly. I certainly have used it enough. You define a type designator as an integer constant. Then you append _DESIGNATOR to the numeral.
But another method is to have different contexts. One can have different operators. One can have a context set in parentheses. These are roughly methods used in OCaml. Something like that also in Standard ML.
In Scheme, I very often use SRFI-143. That gives you small-integer-only math.
Replies (1)
-
@chemoelectric@masto.ai 2026-05-01 20:44
There will be no need for the arrows as in Pascal or Modula-2, because all variables will be (at least for syntactic purposes) by reference. No such thing as a value variable. They are all reference variables with characteristics similar to linear typing.