luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-04 10:50:54 +01:00
Code Issues Projects Releases Packages Wiki Activity

Added May 2021 recap post

Browse source
This commit is contained in:
Vyacheslav Egorov 2021-05-31 18:55:14 +03:00
parent fff104b439
commit ba09f58535
1 changed files with 63 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

63
docs/_posts/2021-05-31-luau-recap-may-2021.md Normal file
View file

@ -0,0 +1,63 @@
---
layout: single
title: "Luau Recap: May 2021"
---
Luau is our new language that you can read more about at [https://roblox.github.io/luau](https://roblox.github.io/luau). This month we have added a new small feature to the language and spent a lot of time improving our typehecker.
[Cross-posted to the [Roblox Developer Forum](https://devforum.roblox.com/t/luau-recap-may-2021/).]
## Named function type arguments
We've updated Luau syntax to support optional names of arguments inside function types.
The syntax follows the same format as regular function argument declarations: `(a: number, b: string): string`
Names can be provided in any place where function type is used, for example:
* in type aliases:
```
type MyCallbackType = (cost: number, name: string) -> string
```
* for variables:
```
local cb: (amount: number) -> number
local function foo(cb: (name: string) -> ())
```
Variadic arguments cannot have an extra name, they are already written as ...: number.
These names are used for documentation purposes and we also plan to display them in Roblox Studio auto-complete and type hovers.
They do not affect how the typechecking of Luau code is performed.
## Typechecking improvements
Speaking of typechecking, we've implemented many improvements this month:
* Typechecker will now visit bodies of all member functions, previously we didn't check methods if the self type was unknown
* Made improvements to cyclic module import detection and error reporting
* Fixed incorrect error on modification of table intersection type fields
* When using an 'or' between a nillable type and a value, the resulting type is now inferred to be non-nil
* We have improved error messages that suggest to use ':' for a method call
* Fixed order of types in type mismatch error that was sometimes reversed
* Fixed an issue with `table.insert` function signature
* Fixed a bug which caused spurious unknown global errors
We've also added new checks to our linter:
* A new pass will report uses of deprecated Roblox APIs
* We will warn for global functions that are defined inside local functions
* New warning is generated if array loop starts or ends on index '0', but the array is indexed from '1'
We also fixed one of the sources for "Free types leaked into this module's public interface" error message and we are working to fix the remaining ones.
As usual, typechecking improvements will not break execution of your games even if new errors get reported.
## Editor features
We continue to improve our built-in support for auto-complete that will be used in future Roblox Studio updates and will make it easier to implement custom extensions for applications that support Language Server Protocol.
As part of this work we will improve the type information provided by Roblox APIs to match actual arguments and results.
## Performance improvements
* Improved performance of table lookup with an index operator and a string: `t["name"]`
* Fixed an issue with increasing memory usage in Parallel Luau beta