Currently, all types in icelang are primitive types like int, bool, list, null, etc. Most modern programming allow the programmer to specify their own custom types, but icelang does not. If implemented, user-defined types would allow the programmer to define their own types, which may then be used in their code.
Unresolved questions:
- How does the user define types?
- What do user-defined types look like (heavyweight classes? POD-like structs? Full-fledged algebraic data types?)
- Generics?
- ...did someone say "trait"?
- Does this increase the complexity of the language beyond the intended spirit of icelang?
Currently, all types in icelang are primitive types like
int,bool,list,null, etc. Most modern programming allow the programmer to specify their own custom types, but icelang does not. If implemented, user-defined types would allow the programmer to define their own types, which may then be used in their code.Unresolved questions: