New Type Solver [Beta]


Variadic type functions don’t work?

1 Like

Not atm, but I made an RFC for it, if it gets accepted, variadic type functions can be implemented into the language.

2 Likes

Lovely! Makes it feel much less hacky to use type functions and I feel like I can easily understand what is going on and what the output will be. Made my own pretty printer and equal functions, but how do I share them to other moduleScripts to use within other user-defined functions? They are each 100-300 lines, so copy-pasting them is out of the question (unless I need to).

I know I can use the functions from types easily, equal<A,B>, but really stumped. If it isn’t supported and will be later, then I’ll wait until it is.

1 Like

When is the fix for detecting typo’s?

We intend on having this work eventually. The missing feature right now is that user-defined type functions cannot currently refer to arbitrary type aliases from their environment. Once they can do that, you’ll be able to access other user-defined type functions under required libraries just like you can access exported types in general. The reason it depends on this is that Luau functions on a per-file basis, and so we cannot see that the type alias refers to a type function versus something else.

1 Like