@marius Very excited to run across Apex, but a little sad it was mac-only. 75 minutes with Claude gave me this so I could at least play with it. github.com/rogpeppe-contr…
You potentially might find it of interest.
Massive update. Previously type checking was possible only for closed types. This limitation has now been removed.
Type checking is now simply a consequence of regular constraint propagation, previously it was a separate pass. Nevertheless, the system is still statically typed
