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

Back this out.

Browse source
This commit is contained in:
Andy Friesen 2021-04-14 12:47:49 -07:00
parent 3646e2d08a
commit 1bcb4a761d
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
docs/_pages/typecheck.md
View file

@ -108,8 +108,8 @@ local function greetings(name)
return greetingsHelper(name) return greetingsHelper(name)
end end
print(greetings("Alexander")) -- ok print(greetings("Alexander")) -- ok
print(greetings({name = "Alexander"}) -- not ok print(greetings({name = "Alexander"})) -- not ok
``` ```
## Table types ## Table types
@ -190,6 +190,8 @@ local numbers: Pair<number> = {first=1, second=2}
## Generic functions ## Generic functions
**WARNING** Generic functions are currently disabled as we're fixing some critical bugs.
As well as generic type aliases like `Pair<T>`, Luau supports generic functions. These are functions that, as well as their regular data parameters, take type parameters. For example, a function which reverses an array is: As well as generic type aliases like `Pair<T>`, Luau supports generic functions. These are functions that, as well as their regular data parameters, take type parameters. For example, a function which reverses an array is:
```lua ```lua
function reverse(a) function reverse(a)
@ -216,7 +218,7 @@ local x: {number} = reverse({1, 2, 3})
local y: {string} = reverse({"a", "b", "c"}) local y: {string} = reverse({"a", "b", "c"})
``` ```
Generic types are used for built-in functions as well as user functions, Generic types are used for built-in functions as well as user functions,
for example the type of `table.insert` is: for example the type of two-argument `table.insert` is:
```lua ```lua
<T>({T}, T) -> () <T>({T}, T) -> ()
``` ```