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 monomorphic-type-bindings-for-generics.md

Browse source
This commit is contained in:
Marcus 2025-03-05 23:33:13 +01:00 • committed by GitHub
parent 213ec9f8d4
commit cb82f7a111
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/monomorphic-type-bindings-for-generics.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
- **Field-specific bindings**: Flip the relationship from being declared per-type-parameter to be set per-function-parameter such as `function test<T>(a: T, b: T!)` which would imply allow both inference behaviours of generics in an uniform syntax
- **Function-parameter-bindings**: Flip the relationship from being declared per-type-parameter to be set per-function-parameter such as `function test<T>(a: T, b: T!)` which would imply allow both inference behaviours of generics in an uniform syntax