Document the typed function language (available from GeoDMS 20.9.0)
Add 8 wiki pages for the new first-class typed function syntax and type
definitions, each marked as available from GeoDMS version 20.9.0 and later:
- Function-definition: the `function` construct - typed parameter telescope,
the -> result specification, the three body forms, structured unit
parameters, the `using` import clause, and `item` meta-reference parameters;
contrasted with Template.
- Type-alias: `alias = type;` (vs the item form `name : type;`), plain
aliases, alias-of-alias / type-by-example, and function-signature aliases.
- Function-signature: declared signatures, function-typed parameters, type
application (nuf<V, D>), and application-time checking.
- Generic-function: type variables and constraints (any / numerics / integers
/ floats / uints / sints / domains / points / domain_points), multiple
variables, domain-variable vs unit-parameter polymorphism, and variants.
- Anonymous-function: function literals (lambdas) and the brace rule.
- Closure: function-valued results, capture by value, user-defined compose,
passing functions, and typed closures.
- Variadic-parameters: `...rest`, arity-aware dispatch, operator-name sharing.
- Map: the built-in map(F, src) combinator and partial application
map(F(k, _), src).
Wire the pages into _Sidebar.md under a new Function subsection, and add a
see-also from Template.md. All snippets are quoted from the testcases battery;
all internal links validated.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>