sealscript A strongly typed programming language with expressive types, inspired by Haskell, Go and Rust.