[rockwotj]

Gleam.run is my current favorite flavor for "typed functional language". It's simple (a small language) and compiles to erlang