I don't understand what the Julia language offers over for example OCaml, which has a solid type system yet also has a REPL as well as a scientific computing library:

https://ocaml.xyz/

https://ocaml.xyz/docs/