Tony Programming Language

Tony is a strongly typed, high level, general purpose programming language built for parallelism.

Easy to reason about

By removing common ways in which programs tend to become harder to understand and maintain, Tony is easier to reason about. It also supports advanced syntactical features like pattern matching, operator overloading, and list comprehensions.

Safety as a foundation (v0.2.0)

Tony is strongly and statically typed. It's type system is completely "sound", meaning that type mismatches are caught before running your code. Tony utilizes refinement types allowing for domain-specific checks at compile time, and as a bonus drastically reducing the need for error handling.

Built for parallelism (v0.3.0)

Tony makes it incredibly easy to write concurrent programs. It simplifies sharing memory between threads through channels and is inherently safe by only supporting immutable values.