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

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

Browse source
This commit is contained in:
Marcus 2025-03-07 15:57:47 +01:00 • committed by GitHub
parent 9fa24be227
commit 96f8aaa3a2
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -58,6 +58,3 @@ This has the added drawback that the `!` syntax modifier would need to be barred
### Keywords ### Keywords
Something like `<greedy T>` or `<strict T>` should also be considered if we want to reduce symbols. This idea has merit when considering the potential complexity of type aliases combined with `T!?` Something like `<greedy T>` or `<strict T>` should also be considered if we want to reduce symbols. This idea has merit when considering the potential complexity of type aliases combined with `T!?`
### Type Function Constraint
Provide a `types.monomorphic<T>` function accessible in luau's type runtime to enforce monomorphism dynamically. This could be implemented separately at a later date.