Luau Type Checking Beta!

[sjr04 (uep)]

The type checker itself is still in beta, hence the title.

@zeuxcg

Type checking is not out of beta yet - we still have some work to do on the type checker itself. The items on our list before going out of beta right now include:

• Better type checking for unary/binary operators
• Improving error messages to make type errors more clear
• Fixing a few remaining crashes for complex scripts
• Fixing conflation of warnings/errors between different scripts with the same path in the tree
• Improving type checking of globals in nonstrict mode (strict mode will continue to frown upon globals)

Of course this doesn’t mark the end of work on the feature - after type checking goes out of beta we plan to continue working on both syntax and semantics, but that list currently represents the work we believe we have left to do in the first phase - please let us know if there are other significant issues you are seeing with beta beyond future feature requests!