luau-lang/luau

Add type checking to `Luau.Web.js`

Opened this issue · 0 comments

As far as I can tell, Luau.Web.js loads some WASM that lets you run Luau on the web, but it doesn't bundle one of Luau's biggest features: type checking. Adding another function into the module like checkScript that checks the types of the script would be awesome.

Use case

The main use case for this is to have a better online editor for things like the demo.

Technicalities

Some additional code will be needed to handle global type files and allowing the imports of types in general. A solution could be for checkScript could take the source, and then an array of source "type files".