Velo

Velo

Simple. Embeddable. Yours.

A functional, strictly-typed, compilable language on a small stack-based virtual machine — with generics, actors, and one-call JVM embedding.

Terminal term = new Terminal()

let name = "Velo"
term.println("Hello, $name!")

Highlights

  • Strict typing — every value has a checked type
  • Functional — higher-order functions and closures
  • Pattern matching — when expressions, enum sum types
  • Concurrency — actors with async / await
  • Error handling — try / catch / throw
  • Generics — classes, functions, extensions
  • Value types — immutable data classes
  • Embeddable — one-call JVM integration

Start here · ~30 minutes

Read these eight in order and you can write real Velo. Everything else is reference in the sidebar.

Keep going