The Bosque Programming Language

Bosque Programming Language - Microsoft Research

The Bosque programming language is designed for writing code that is simple, obvious, and easy to reason about for both humans and machines.