luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2024-12-13 05:20:38 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add unknown symbols to typecheck.md

Browse source
This commit is contained in:
Alexander McCord 2020-06-18 23:36:14 -07:00
parent 593285c012
commit aac31bdc1f
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
docs/typecheck.md
View file

@ -27,6 +27,20 @@ foo = 1
However, in strict mode, the second snippet would be able to infer `number` for `foo` still. However, in strict mode, the second snippet would be able to infer `number` for `foo` still.
## Unknown symbols
You may see this error a lot, and that's by design even in nonstrict mode.
Consider how often you're likely to assign a new value to a local variable. What if you accidentally misspelled it? Oops, it's now assigned globally and your local variable is still using the old value.
```lua
local someLocal = 1
soeLocal = 2 -- the bug
print(someLocal)
```
## Structural type system ## Structural type system
Luau's type system is structural by default, which is to say that we inspect the shape of two tables to see if they are similar enough. This was the obvious choice because Lua 5.1 is inherently structural. Luau's type system is structural by default, which is to say that we inspect the shape of two tables to see if they are similar enough. This was the obvious choice because Lua 5.1 is inherently structural.