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

Update 2021-03-29-luau-recap-march-2021.md

Browse source
This commit is contained in:
Arseny Kapoulkine 2021-03-31 20:13:19 -07:00 • committed by GitHub
parent 8d712c47b6
commit 094d5a0e09
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
docs/_posts/2021-03-29-luau-recap-march-2021.md
View file

@ -32,25 +32,7 @@ end
## Generic functions
Luau has always supported type inference for generic functions, for example:
```
type Point<X,Y> = { x: X, y: Y }
function swap(p)
return { x = p.y, y = p.x }
end
local p : Point<number, string> = swap({ x = "hi", y = 37 })
local q : Point<boolean, string> = swap({ x = "hi", y = true })
```
but up until now, there's been no way to write the type of `swap`, since Luau didn't have type parameters to functions (just regular old data parameters). Well, now you can:
```
function swap<X, Y>(p : Point<X, Y>): Point<Y, X>
return { x = p.y, y = p.x }
end
```
Generic functions can be used in function declarations, and function types too, for example
```
type Swapper = { swap : <X, Y>(Point<X, Y>) -> Point<Y, X> }
```
**WARNING** Generic functions are currently disabled as we're fixing some critical bugs.
## Typechecking improvements