* Initial commit for UDTF
* library names to luacase
* table runtime representation still depends on VM
* addressing comment: boolean is equivalent to true | false
* getname() should return string not table
* Added a section about type function type checking as one of future works
* type functions can call other type functions but not regular functions
* user configurable timeout added
* Type functions can not refer to outer scopes
* lType -> typelib
* print to warn; error/return nothing to fail reduction
* removed getname() as there aren't real usecases
* fix typos in method names
* Starlark approach without execution limit
* big revision on library methods, reason for using userdata, illegal constructs in type functions; need to add support for generic types and list of supported libraries/globals
* colon to invoke methods
* comment: ~ to not
* Added indexer methods for Class types
* using colons instead of periods to invoke method calls
* added globals/libraries to a list of illegal constructs
* revising typelib library and method descriptions
* renaming methods, overloading __eq __le __newindex, metatable as representation of tables
* small fix to reflect table method name change to class method names
* make nil, unknown, never, any an instance attribute of typelib; merge getindextype/getindexresulttype into one function
* Removed overloading metamethods for now
* added tbl:getprop(key) to obtain a single value
* addprop(key, ty.nil) != delprop(key)
* merge addprop() and delprop() into one
* typelib.nil clashes with the reserved keyword, so changed to typelib.niltype
* == operator overridden with __eq
* Fixed rawget example
* Added parameters to newtable function
* Added parameters to newfunction function
* Revised typelib.function
* fix typelib.newfunction
* Clarification to typelib.newfunction methods
* fix arguments of Function.setparameters and Function.setreturns
* Error for returning non-typelib instance
* added parameters to typelib.newmetatable
* Delete String.getmetatable()
* information about pass by reference and typelib.copy() method
* moved stringle, boolean, number to be an instance attribute of typelib
* Update docs/user-defined-type-functions.md
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* Apply suggestions from code review
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* remove print() for first iteration
* removed typelib.is*() and added typelib.type() instead
* Update docs/user-defined-type-functions.md
Co-authored-by: James <jamesramsauer@gmail.com>
* Update docs/user-defined-type-functions.md
Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
* remove metatable from type
* merge newmetatable with newfunction
* some revisions + typelib->type
* change typelib.type() to :is(...)
* big revision with new information, features, supported methods, list of available globals
* better example for long running type functions
* combine getstringsingleton, getbooleansingleton
* optional arguments does not mean you don't need to write it
* forgot to finish my sentence
Co-authored-by: aaron <aweiss@hey.com>
* add information about type functions not being able to be exported
* Forgot string and utf8 library
* Add a note about increasing the list of available globals/libraries:
* Make a big edit pass over the RFC
* Update user-defined-type-functions.md
* We'll call the library `types`, not `type`.
* Opinionatedly clean up the types API.
* Take into account read/write properties
* Update examples to match revised API
* Update docs/user-defined-type-functions.md
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* Update docs/user-defined-type-functions.md
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* Update docs/user-defined-type-functions.md
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* Update docs/user-defined-type-functions.md
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* Cleaning up the API a bit more.
* Restructuring the API reference a bit.
* Fix typo with type signature
* Add missing code blocks
* Update docs/user-defined-type-functions.md
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
* Add a small paragraph clarifying the scoping and shadowing rules being the same as type aliases
---------
Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
Co-authored-by: James <jamesramsauer@gmail.com>
Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
Co-authored-by: aaron <aweiss@hey.com>
Co-authored-by: aaron <aaronweiss@roblox.com>
