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

Update type-implicit-table-generics.md

Browse source
This commit is contained in:
SolarScuffle-Bot 2024-01-03 00:47:26 -10:00
parent baa10c415f
commit b33c150ecf
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/type-implicit-table-generics.md
View file

@ -58,8 +58,8 @@ local foo = {} :: <T>{ [F<T>]: G<T> }
This is not only simpler code, but shorter without all the duplication or extra api that comes with such a structure. Looking at the syntax, it reads very similarly to if it were a function: This is not only simpler code, but shorter without all the duplication or extra api that comes with such a structure. Looking at the syntax, it reads very similarly to if it were a function:
```lua ```lua
<T>{ [F<T>]: G<T> } type A = <T>{ [F<T>]: G<T> }
<T>(F<T>) -> G<T> type B = <T>(F<T>) -> G<T>
``` ```
We believe that this implementation is a natural step in the direction towards a fuller Luau type-system, as it already has a functional cousin and practical use-cases. Concerns with api coherency, stylistic coherency, learning curve, acceptance, and more are all already answered with implicit function generics. We believe that this implementation is a natural step in the direction towards a fuller Luau type-system, as it already has a functional cousin and practical use-cases. Concerns with api coherency, stylistic coherency, learning curve, acceptance, and more are all already answered with implicit function generics.