In the context of Lua, I’ve taken a liking to LuaLS (Lua Language Server). You can just write your Lua scripts with annotations (where needed) and the language server can help auto-complete and verify type usage. No compilation step needed.

I never tried “typed Lua” variants (such as MoonScript IIRC), but I believe those do require a compilation step.