Changelog: tramaj-go

tramaj-go 0.1.0unreleased

Go port: parser, evaluator (concrete and symbolic modes), Node JSON codec, static analyses and a tramaj-go CLI. Standard library only, Go 1.21+.

• added Hand-written port checked against `corpus/cases` by `corpus_test.go`: every case passes in both modes.
• changed Breaking: numbers are two types, an integer and a float (decisions section 18). A literal and a JSON number are typed by their text: `3` is an integer, `3.0` and `3e0` are floats. Integers cover the signed 64-bit range; one outside it is a parse error as a literal and a `TypeMismatch` in the context.
• changed Breaking: a number keeps its type when written. `str(1.0)` is `1.0` where it was `1`, and `CompactJSON` and `PrettyJSON` write a float with a fraction or an exponent.
• changed Breaking: `eq` never equates an integer with a float, and `lt`/`lte`/`gt`/`gte` take two integers or two floats; a mixed pair is a `TypeMismatch`. An array index given to `has` or `lookup` is an integer.
• changed Breaking: in a `tramaj.JSON` value an integer is an `int64` and a float a `float64`, where every number was a `float64`. `ParseJSON` types a number by its text and refuses none; `NormalizeNumbers` is what refuses an integer beyond 64 bits or a float too large for a double. `NumberLit` is now `IntLit` and `FloatLit`. New: `FormatInteger`, `FormatFloat`.
• changed Breaking: `"$term"` is a reserved object key, and `int` and `float` replace `number` as v4 type primitives.
• added The arithmetic profile: `sum`, `product`, `negate`, `quotient`, `inverse`, `floor-quotient`, `modulo`, `floor` and `real`, and the `NotRepresentable` error kind. It is off by default: `Options`, `DefaultOptions`, `EvalProgramWith` and `RunProgramWith` turn it on, and so does the CLI's `--arithmetic`.
• added Terms: over a symbol an arithmetic builtin evaluates to `{"$term": op, "arguments": [...]}`, with its operands as written.
• added `ArithmeticNames`, `ArithmeticOps` and `DeepArithmeticOps`, the arithmetic names a program references; `tramaj-go analyze arithmetic` prints them.
• added `sort-by(list, fn)` and `sort-by-descending(list, fn)` (decisions section 20): a stable sort by a key function, over integer, float or string keys, strings by code point. Both are special forms lowered to one new AST constructor, `SortBy`, so neither name can be bound and called or passed by reference.
• added `format-number(x, decimals, group)`: a number as positional decimal text, rounding its exact value with ties away from zero, 0 to 20 decimals, never an exponent or a negative zero. An ordinary builtin that needs no option.
• added `round(x)`, the tenth name of the arithmetic profile: the nearest integer, ties away from zero. It builds a term over a symbol and is reported by `ArithmeticOps`.