Update implementation status of various RFCs (#102)

This commit is contained in:
vegorov-rbx 2025-02-21 09:34:56 -08:00 committed by GitHub
parent d9b440fbdd
commit 0280f4fbf2
Signed by: DevComp
GPG key ID: B5690EEEBB952194
12 changed files with 24 additions and 1 deletions

View file

@ -1,5 +1,7 @@
# buffer.readbits/writebits # buffer.readbits/writebits
**Status**: Implemented
## Summary ## Summary
Add `buffer.readbits` and `buffer.writebits` to give developers an easy way to work with bit buffers. Add `buffer.readbits` and `buffer.writebits` to give developers an easy way to work with bit buffers.

View file

@ -1,5 +1,7 @@
# math.lerp # math.lerp
**Status**: Implemented
## Summary ## Summary
Add a `lerp` function to the `math` library, which performs linear interpolation between two numbers. Add a `lerp` function to the `math` library, which performs linear interpolation between two numbers.

View file

@ -1,6 +1,7 @@
# math.map # math.map
**Status**: Implemented
## Summary ## Summary
Add a `map` function to the `math` library, which maps a number from one range to another. Add a `map` function to the `math` library, which maps a number from one range to another.

View file

@ -1,5 +1,7 @@
# `index` type function # `index` type function
**Status**: Implemented
## Summary ## Summary
This RFC proposes the addition of one type function, `index`, which can be used to look up a specific property of another type (like TypeScript's Indexed Access Type). This RFC proposes the addition of one type function, `index`, which can be used to look up a specific property of another type (like TypeScript's Indexed Access Type).

View file

@ -1,5 +1,7 @@
# `keyof` and `rawkeyof` type functions # `keyof` and `rawkeyof` type functions
**Status**: Implemented
## Summary ## Summary
This RFC proposes the addition of two type functions, `keyof` and `rawkeyof`, This RFC proposes the addition of two type functions, `keyof` and `rawkeyof`,

View file

@ -1,5 +1,7 @@
# `rawget` type function # `rawget` type function
**Status**: Implemented
## Summary ## Summary
This RFC proposes the addition of a new type function, `rawget`, which can be used to look up a specific property of a table type *without* invoking the `__index` metamethod. This RFC proposes the addition of a new type function, `rawget`, which can be used to look up a specific property of a table type *without* invoking the `__index` metamethod.

View file

@ -1,5 +1,7 @@
# Support for Generic Types and Packs in User-Defined Type Functions # Support for Generic Types and Packs in User-Defined Type Functions
**Status**: Implemented
## Summary ## Summary
Add support for generic function types in type functions to allow more types to be accepted by them, including tables and classes which might contain generic function types. Add support for generic function types in type functions to allow more types to be accepted by them, including tables and classes which might contain generic function types.

View file

@ -1,5 +1,7 @@
# Support for thread and buffer Types in User-Defined Type Functions # Support for thread and buffer Types in User-Defined Type Functions
**Status**: Implemented
## Summary ## Summary
Add support for 'thread' and 'buffer' primitive types, omitted from original user-defined type function RFC. Add support for 'thread' and 'buffer' primitive types, omitted from original user-defined type function RFC.

View file

@ -1,5 +1,7 @@
# Leading `|` and `&` in types # Leading `|` and `&` in types
**Status**: Implemented
## Summary ## Summary
Allow the use of `|` and `&` without any types preceding them. Allow the use of `|` and `&` without any types preceding them.

View file

@ -1,5 +1,7 @@
# User-Defined Type Functions # User-Defined Type Functions
**Status**: Implemented
## Summary ## Summary
The new Luau type inference engine (or type solver, for short) adds support for a system of built-in type functions that compute result types from provided argument types. This system is already being used to power support for overloadable operators, and the broad design philosophy is to include built-in type functions that correspond to built-in runtime-level operations in the language. To further enhance the expressivity of the type system, this RFC extends that system with a proposed design for user-defined type functions, allowing developers to define their own type functions in ordinary Luau code. The new Luau type inference engine (or type solver, for short) adds support for a system of built-in type functions that compute result types from provided argument types. This system is already being used to power support for overloadable operators, and the broad design philosophy is to include built-in type functions that correspond to built-in runtime-level operations in the language. To further enhance the expressivity of the type system, this RFC extends that system with a proposed design for user-defined type functions, allowing developers to define their own type functions in ordinary Luau code.

View file

@ -1,5 +1,7 @@
# 2-component vector constructor # 2-component vector constructor
**Status**: Implemented
## Summary ## Summary
Add a constructor for initializing vectors from two components. Add a constructor for initializing vectors from two components.

View file

@ -1,5 +1,7 @@
# Vector library # Vector library
**Status**: Implemented
## Summary ## Summary
Implement a standard library that provides functionality for the vector type. Implement a standard library that provides functionality for the vector type.