A list of interesting non-mainstream programming languages to look at and take ideas from
- TablaM - an in-progress programming language to provide a more ergonomic experience for building data-oriented applications
- Egel - an untyped concurrent functional scripting language based on eager combinator rewriting with a concise but remarkably powerful syntax
- Egison - a programming language that features extensible efficient non-linear pattern matching with backtracking for non-free data types
- Dafny - a verification-ready programming language
- Whiley
- Koka - a strongly typed functional-style language with effect types and handlers
- Eve - a programming language based on years of research into building a human-first programming platform
- Gleam - Gleam is a friendly language for building type-safe, scalable systems (compiles to Erlang)
- Keli
- Passerine - A small extensible programming language designed for concise expression with little code
- Lavwere - a categorical programming language with effects
- Pony - an object-oriented, actor-model, capabilities-secure, high-performance programming language
- Flix - a statically typed functional, imperative, and logic programming language
- Inko - a statically-typed, safe, object-oriented programming language for writing concurrent programs (very similar to Rust)
- Ante - a low-level functional language for exploring refinement types, lifetime inference, and other fun features
- Eo - an Experimental Object-Oriented Programming Language Based on 𝜑-calculus
- Neut - A dependently-typed programming language with compile-time malloc/free determination
- Futhark - a purely functional data-parallel programming language in the ML family
- Alumina - an imperative, general-purpose, statically typed, compiled system programming language