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 "Function-parameter-bindings" alternative

Browse source
This commit is contained in:
Ardi 2025-03-05 17:12:31 -06:00 • committed by GitHub
parent bf354a1d65
commit 8f1c0d90e0
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
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-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
- **Function-parameter-bindings**: Flip the relationship from being declared per-type-parameter to be set per-function-parameter: `function test<T>(a: T, b: T, c: T!)` which could allow both inference behaviours of polymorphic types under a uniform syntax.