Fortress is a programming language designed for high-performance computing (HPC) with high programability. Features include implicit parallelism, transactions, mathematical syntax, static checking (but with type inference), and definition of large parts of the language in its own libraries.
