Add type checking to `Luau.Web.js`
Opened this issue · 0 comments
Stefanuk12 commented
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".