Off topic: what is the most convenient statically typed language that don't require compilation/transpilation? To run instead of bash or Python, but types are mandatory (not just hints like python).

I know jShell has been here like 10 years, but I'm not sure it's convenient to quickly write to a file, query a url, etc.

.ksh for Kotlin? Typescript (through Deno)? Lua?

OCaml has both compilator and interpreter.

Lua isn't statically typed, and while there is Teal – a statically typed variant of Lua – it requires separate build step.