Learning some more ATS2 while 3 isn’t yet released. Cool language with linear types (which go further than Rust’s affine types), refinement types, dependent types, proofs & dataviewtypes over C for zero-cost abstractions.