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

Code blocks '''lua -> '''luau

Browse source
This commit is contained in:
Junseo Yoo 2024-06-10 10:49:33 -07:00
parent c0632acab0
commit 102e05fb0c
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/rawget-type-operator.md
View file

@ -8,7 +8,7 @@ This RFC proposes the addition on one type operator, `rawget`, which can be used
There exists `index` type operator that allow developers to obtain a type of a property from classes / tables. If the a type is not found in the given class / table, the operator recursively indexes into the `__index` metamethod to continue searching for the property. Sometimes, this is could be an unwanted behavior. For example, given this code: There exists `index` type operator that allow developers to obtain a type of a property from classes / tables. If the a type is not found in the given class / table, the operator recursively indexes into the `__index` metamethod to continue searching for the property. Sometimes, this is could be an unwanted behavior. For example, given this code:
```lua ```luau
local var1 = { local var1 = {
property = "hello" property = "hello"
} }
@ -27,12 +27,12 @@ To address this issue, we want to reconsider the behavior of the `index` type op
The proposed solution is the implementation of `rawget` type operator. Like the existing [rawget Lua Globals](https://create.roblox.com/docs/reference/engine/globals/LuaGlobals#rawget), this type operator aims to provide a way to look up a specific property of a type without invoking the `__index` metamethod. The proposed solution is the implementation of `rawget` type operator. Like the existing [rawget Lua Globals](https://create.roblox.com/docs/reference/engine/globals/LuaGlobals#rawget), this type operator aims to provide a way to look up a specific property of a type without invoking the `__index` metamethod.
```lua ```luau
type doesExist = rawget<typeof(var2), "property"> -- reduces to an error type doesExist = rawget<typeof(var2), "property"> -- reduces to an error
``` ```
Error messages would be consistent with those of the `index` type operator: Error messages would be consistent with those of the `index` type operator:
```lua ```luau
type Person = { type Person = {
age: number, age: number,
name: string, name: string,