Aqua

Aqua is a high-level programming language for data stream analytics applications. It is designed to be simple, expressive, efficient and safe. Aqua compiles to dataflow systems such as Apache Flink (Java), and a custom native runtime (Rust).