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

Note about representing packs as 'type' with a separate tag.

Browse source
This commit is contained in:
vegorov-rbx 2025-01-07 10:12:31 -08:00 • committed by GitHub
parent c2a77cc3bc
commit 9c4e6fc417
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/support-for-generic-function-types-in-user-defined-type-functions.md
View file

@ -21,6 +21,8 @@ Since the value of a generic type or pack is not known upfront, assigning separa
We already have variadic types (`...number`) that get represented as a regular runtime type and only gain that special meaning when placed in a 'tail' spot. We already have variadic types (`...number`) that get represented as a regular runtime type and only gain that special meaning when placed in a 'tail' spot.
We also have a different representation of a table with a metatable between type functions and typechecking. We also have a different representation of a table with a metatable between type functions and typechecking.
There alternative representations were chosen to improve developer experience working with user-defined type functions based on the experience of people working on the type checker.
It is still compatible with potential extensions to have other kinds of type packs represented as types in the future.
Generics are created by specifying a name and a boolean marking it as a type or a pack. Generics are created by specifying a name and a boolean marking it as a type or a pack.
Generics that are coming from type inference might not have a display name, but still hold an auto-generated name internally. Generics that are coming from type inference might not have a display name, but still hold an auto-generated name internally.