I've been selected a few programming languages for education purpose:
- Elixir
- Mercury
- Racket
- Rust
https://elixir-lang.org/install.html
http://dl.mercurylang.org/index.html
https://download.racket-lang.org/