A System F-based programming language with automatic type inference, strong module support, strong integration with C++. It compiles to C++.
It supports algebraic data types (aka variant), record types (structs), tuples, polymorphic types and functions.
It has an integrated build system with incremental builds.
$ make bpl
$ ./bpl build program.bpl