What is it with grafting type systems onto dynamic, interpreted languages? Can't we just leave them alone? There are plenty of statically-typed languages if types are required.
Because as codebases in dynamic languages grow and age the developers start seeing the advantages having a static type system to lean on would give them.
the only statically typed language that’s usable with roblox is roblox-ts pretty much, and that’s just an unofficial project that compiled ts to luau. there’s nothing wrong with adding types to luau.