I've only used it for small scripts and can't say how well the type system actually functions/how it scales, but what I've seen so far has pleased me. (They have a _comptime_-equivalent! https://luau.org/types/type-functions/)

You may be interested in https://lute.luau.org/, which is a node.js-style runtime for the language.