This is a design for a unnamed programming language that I don't intend currently intend to make. It's dynamically typed, heavily inspired by Clojure, and designed with little thought given to performance.
The main features are:
- Inbuilt pattern matching on functions
- Error values instead of exceptions
- Unconstrained polymorphism
- Modules that are easier to statically analyze than namespaces