Boba

Boba is an early-stage, general purpose concatenative programming language.

Key features include:

1. Expressive, mostly implicit static types and kinds
2. Language-incorporated unit and property tests + runners
3. Algebraic effects via scoped effect handlers
4. Algebraic data types and pattern matching on constructors
5. Compile-time resolved function overloading
6. Structurally typed tuples, records and variants
7. Byte-code VM-in-Go backend with straight-forward first-order FFI access
8. Familiar looping, branching, and variable definition syntax constructs

More information is available at:

https://github.com/glossopoeia/boba