Luau Type Checking Beta!

[Apakovtac]

@Crazyman32

#1 - Why does this not understand that OnServerInvoke is valid?

This is bad. We’re missing a chunk of type information in Luau, so evidently it doesn’t believe that this exists. On the list of things to fix.

@Crazyman32

#2 - When I union Roblox instance types, it seems that methods like IsA aren’t detected. If I replace the union with Instance , then it works fine:

Also bad. I have something in the works for this, coming to you soon!

[PysephDEV (Pyseph)]

Hey, is there any expected timeline for when this will come out of beta?
I’m unsure whether I should start using Luau Type Checking, as I’d have to know whether my game would come out after this comes out of beta or not.

[Eternalove_fan32 (FrostDracony)]

This is already out beta:

Luau Recap: August 2020

As everyone knows by now, Luau is our new language stack that you can read more about at Luau - Luau and the month following June is August so let’s talk about changes, big and small, that happened since June! Many people work on these improvements, with the team slowly growing - thanks @Apakovtac, @EthicalRobot, @fun_enthusiast, @mrow_pizza and @zeuxcg! If you have missed previous large announcements, here they are: Faster Lua VM Released Luau Recap: November 2019 Luau Type Checking Beta! L…

Just see the Luau Recap. I think, that this post should be closed, because this can cause confusions.

[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!

[Automationeer (Eleanor)]

@fun_enthusiast

Please DO NOT publish places with type annotations just yet as they will not work on production! This is why it’s a beta

Is typed lua still in beta? It seems to be working and the beta feature option seems to be missing. Couldn’t find anything new in updates about it.

(cc @zeuxcg)

[Good_Scripter]

Would be interesting for me aswell.