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

Update eager-inference-annotations-for-polymorphic-types.md

Browse source
This commit is contained in:
Ardi 2025-03-07 02:00:12 -06:00 • committed by GitHub
parent 1c8d2176ca
commit 2ed018710c
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/eager-inference-annotations-for-polymorphic-types.md
View file

@ -53,4 +53,4 @@ The `T!` syntax would indicate a that the type binding for `T` is monomorphic.
- **Type Function Constraint**: Provide a `types.monomorphic<T>` function in user-defined type functions to enforce monomorphism dynamically. But this would probably require some way to propagate an `*error-type*` to the user.
- **Keywords**: Something like `<greedy T>` or `<strict T>` should also be considered if we want to reduce symbols.
- **Function-argument-bindings**: Flip the relationship from being declared per-type-parameter to be set per-argument: `function test<T>(a: T, b: T, c: T!)` which could allow both instantiation behaviours of polymorphic types under a uniform syntax.
- **Function-argument-bindings**: Flip the relationship from being declared per-type-parameter to be set per-argument: `function test<T>(a: T, b: T, c: T!)` which provides the user more control, and could allow both instantiation behaviours of polymorphic types under a uniform syntax.