You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As types such as Array<T> or Func<T, R> are planned, there needs to be an internal system for managing such generic types, where the compiler can store the information about the generics.
Although every generic built-in type will likely have to implement its own specific type checking, for example, the meaning of the generic parameters for built-in arrays is different from functions.
This means this proposal only targets the implementation of generic type support for the compiler in the form of recognising it syntactically and generating basic AST metadata, but not yet implementing any types or type checking itself.
Exact behaviour / changes you want
Finish implementation of internal AST class GenericTypeSpecifierExpression and its Antlr4 parser rule.
Implement wrappers for Kipper types (both primitive and generic), which will be required to properly store the metadata of such types. (This also will be required for object types in the future)
The text was updated successfully, but these errors were encountered:
Luna-Klatzer
changed the title
[Feature] Implement basic generic parameter system for built-in types
[Feature] Implement basic generic type system for built-in types
Jul 27, 2023
Is there an existing proposal for this?
This feature does not exist in the latest version
Proposal
As types such as
Array<T>
orFunc<T, R>
are planned, there needs to be an internal system for managing such generic types, where the compiler can store the information about the generics.Although every generic built-in type will likely have to implement its own specific type checking, for example, the meaning of the generic parameters for built-in arrays is different from functions.
This means this proposal only targets the implementation of generic type support for the compiler in the form of recognising it syntactically and generating basic AST metadata, but not yet implementing any types or type checking itself.
Exact behaviour / changes you want
GenericTypeSpecifierExpression
and its Antlr4 parser rule.The text was updated successfully, but these errors were encountered: