You mention there that you like Ruby and that you wanted Ruby with types (and that you looked at Crystal). I've been messing around with a language that I summ

You mention there that you like Ruby and that you wanted Ruby with types (and that you looked at Crystal). I've been messing around with a language that I summarize as: ALOE = Scheme + Smalltalk + Types https://github.com/dharmatech/2026-09-02-aloe-racket https://github.com/dharmatech/2026-09-02-aloe-racket One of the examples is a very basic computer algebra simplifier: https://github.com/dharmatech/2026-09-02-aloe-racket/blob/main/examples/mpl/core.aloe https://github.com/dharmatech/2026-09-02-aloe-racket/blob/ma... That simplifier is based on a computer algebra library in Scheme: https://github.com/dharmatech/mpl https://github.com/dharmatech/mpl