From 0280f4fbf266687bf4b4186b774916b4e3638543 Mon Sep 17 00:00:00 2001 From: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com> Date: Fri, 21 Feb 2025 09:34:56 -0800 Subject: [PATCH] Update implementation status of various RFCs (#102) --- docs/function-buffer-bits.md | 2 ++ docs/function-math-lerp.md | 2 ++ docs/function-math-map.md | 3 ++- docs/index-type-operator.md | 2 ++ docs/keyof-type-operator.md | 2 ++ docs/rawget-type-operator.md | 2 ++ ...or-generic-function-types-in-user-defined-type-functions.md | 2 ++ ...r-thread-and-buffer-types-in-user-defined-type-functions.md | 2 ++ docs/syntax-leading-bar-and-ampersand.md | 2 ++ docs/user-defined-type-functions.md | 2 ++ docs/vector-library-vector2-constructor.md | 2 ++ docs/vector-library.md | 2 ++ 12 files changed, 24 insertions(+), 1 deletion(-) diff --git a/docs/function-buffer-bits.md b/docs/function-buffer-bits.md index 9bc3f1e..4a7c33a 100644 --- a/docs/function-buffer-bits.md +++ b/docs/function-buffer-bits.md @@ -1,5 +1,7 @@ # buffer.readbits/writebits +**Status**: Implemented + ## Summary Add `buffer.readbits` and `buffer.writebits` to give developers an easy way to work with bit buffers. diff --git a/docs/function-math-lerp.md b/docs/function-math-lerp.md index 85a1895..749d3e4 100644 --- a/docs/function-math-lerp.md +++ b/docs/function-math-lerp.md @@ -1,5 +1,7 @@ # math.lerp +**Status**: Implemented + ## Summary Add a `lerp` function to the `math` library, which performs linear interpolation between two numbers. diff --git a/docs/function-math-map.md b/docs/function-math-map.md index b42a791..8bb275b 100644 --- a/docs/function-math-map.md +++ b/docs/function-math-map.md @@ -1,6 +1,7 @@ - # math.map +**Status**: Implemented + ## Summary Add a `map` function to the `math` library, which maps a number from one range to another. diff --git a/docs/index-type-operator.md b/docs/index-type-operator.md index 5768b28..be63451 100644 --- a/docs/index-type-operator.md +++ b/docs/index-type-operator.md @@ -1,5 +1,7 @@ # `index` type function +**Status**: Implemented + ## 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). diff --git a/docs/keyof-type-operator.md b/docs/keyof-type-operator.md index 296db06..ae8f877 100644 --- a/docs/keyof-type-operator.md +++ b/docs/keyof-type-operator.md @@ -1,5 +1,7 @@ # `keyof` and `rawkeyof` type functions +**Status**: Implemented + ## Summary This RFC proposes the addition of two type functions, `keyof` and `rawkeyof`, diff --git a/docs/rawget-type-operator.md b/docs/rawget-type-operator.md index 82d326f..adac2db 100644 --- a/docs/rawget-type-operator.md +++ b/docs/rawget-type-operator.md @@ -1,5 +1,7 @@ # `rawget` type function +**Status**: Implemented + ## 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. diff --git a/docs/support-for-generic-function-types-in-user-defined-type-functions.md b/docs/support-for-generic-function-types-in-user-defined-type-functions.md index 2bb4b81..540183c 100644 --- a/docs/support-for-generic-function-types-in-user-defined-type-functions.md +++ b/docs/support-for-generic-function-types-in-user-defined-type-functions.md @@ -1,5 +1,7 @@ # Support for Generic Types and Packs in User-Defined Type Functions +**Status**: Implemented + ## 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. diff --git a/docs/support-for-thread-and-buffer-types-in-user-defined-type-functions.md b/docs/support-for-thread-and-buffer-types-in-user-defined-type-functions.md index b11d486..3bf8844 100644 --- a/docs/support-for-thread-and-buffer-types-in-user-defined-type-functions.md +++ b/docs/support-for-thread-and-buffer-types-in-user-defined-type-functions.md @@ -1,5 +1,7 @@ # Support for thread and buffer Types in User-Defined Type Functions +**Status**: Implemented + ## Summary Add support for 'thread' and 'buffer' primitive types, omitted from original user-defined type function RFC. diff --git a/docs/syntax-leading-bar-and-ampersand.md b/docs/syntax-leading-bar-and-ampersand.md index 2f328ce..9bf2dad 100644 --- a/docs/syntax-leading-bar-and-ampersand.md +++ b/docs/syntax-leading-bar-and-ampersand.md @@ -1,5 +1,7 @@ # Leading `|` and `&` in types +**Status**: Implemented + ## Summary Allow the use of `|` and `&` without any types preceding them. diff --git a/docs/user-defined-type-functions.md b/docs/user-defined-type-functions.md index eee00cf..2daf006 100644 --- a/docs/user-defined-type-functions.md +++ b/docs/user-defined-type-functions.md @@ -1,5 +1,7 @@ # User-Defined Type Functions +**Status**: Implemented + ## 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. diff --git a/docs/vector-library-vector2-constructor.md b/docs/vector-library-vector2-constructor.md index 9c3706d..86b7ada 100644 --- a/docs/vector-library-vector2-constructor.md +++ b/docs/vector-library-vector2-constructor.md @@ -1,5 +1,7 @@ # 2-component vector constructor +**Status**: Implemented + ## Summary Add a constructor for initializing vectors from two components. diff --git a/docs/vector-library.md b/docs/vector-library.md index 16dff2e..0b0a985 100644 --- a/docs/vector-library.md +++ b/docs/vector-library.md @@ -1,5 +1,7 @@ # Vector library +**Status**: Implemented + ## Summary Implement a standard library that provides functionality for the vector type.