v0.12.0-alpha.0 - Githubissues

What type of change does this PR perform?

[ ] Info or documentation change (Non-breaking change that updates repo info files (e.g. README.md, CONTRIBUTING.md, etc.) or online documentation)
[ ] Website (Change that changes the design or functionality of the websites or docs)
[ ] Development or internal changes (These changes do not add new features or fix bugs, but update the code in other ways)
[ ] Bug fix (Non-breaking change which fixes an issue)
[x] New feature (Non-breaking change which adds functionality)
[x] Breaking change (Major bug fix or feature that would cause existing functionality not to work as expected.)
[x] Requires a documentation update, as it changes language or compiler behaviour

Summary

New development release 0.12.0-alpha.0, which overhauls the entire core type system, adds support for arrays, adds object literal expressions and basic support generation for interfaces.

Detailed Changelog

Not present for website/docs changes

Added

Added semantic checking and code generation for object literals and object properties. (#526)
Implemented internal representation for custom types such as objects, interfaces and classes. This change means that the entire core type system has been reworked and adjusted to also support custom types as well as complex types (objects, arrays etc.). This does not inherently add functionality but serves as the stepping stone for the implementation of all custom types in the future. (#524)
Implemented the generic Array<T> type and single-type array initializers. (#499)
New module:
- semantics/runtime-built-ins, which contains runtime built-in functions, variables and types.
- semantics/runtime-internals, which contains the runtime internal functions.
- semantics/types, which contains the runtime types.
New classes:
- InterfaceDeclaration, which represents an AST interface declaration.
- ClassDeclaration, which represents an AST class declaration.
- BuiltInType, which represents a built-in type.
- CustomType, which represents a user defined type.
- ScopeTypeDeclaration, which represents a scope type declaration.
- UniverseTypeDeclaration, which represents the universe, where all built-in types, functions and variables are declared. This serves as the parent of the global scope.
- CustomType, which is a class extending from ProcessedType and implementing the functionality for a custom type such as a interface or class.
New errors:
- TypeCanNotBeUsedForTypeCheckingError, which is thrown when a type is used for type checking, but is not a valid type. This is an error indicating an invalid logic that should be fixed.
- GenericArgumentTypeError, which is thrown when a generic argument is used with an invalid type. This is an error indicating an invalid logic that should be fixed.
- InvalidAmountOfGenericArgumentsError, which is thrown when an invalid amount of generic arguments is used. This is an error indicating an invalid logic that should be fixed.
- CanNotUseNonGenericAsGenericTypeError, which is thrown when a non-generic type is used as a generic type. This is an error indicating an invalid logic that should be fixed.
New interfaces:
- InterfaceDeclarationSemantics, which represents the semantics of an interface declaration.
- InterfaceDeclarationTypeSemantics, which represents the type semantics of an interface declaration.
- ClassDeclarationSemantics, which represents the semantics of a class declaration.
- ClassDeclarationTypeSemantics, which represents the type semantics of a class declaration.
- TypeDeclaration, which represents a type declaration. This is an abstract base class for all type declarations.
- TypeDeclarationSemantics, which represents the semantics of a type declaration.
- TypeDeclarationTypKipperTypeChecker.validArrayExpressioneSemantics, which represents the type semantics of a type declaration.
- CompilableType, which represents a type that can be compiled.
New functions:
- KipperTypeChecker.validArrayExpression, which ensures that an array expression is valid.

Changed

Changed type from interface to class:
- InternalFunction, which represents an internal function.
- BuiltInFunction, which represents a built-in function.
- InternalFunctionArgument, which represents an internal function argument.
- BuiltInVariable, which represents a built-in variable.
Renamed:
- Module analysis to semantics.
- Class UncheckedType to RawType.
- Class CheckedType to ProcessedType.
- Class UndefinedCustomType to UndefinedType.

Does this PR create new warnings?

None.

Linked issues or PRs

[x] #524
[x] #602
[x] #499
[x] #662
[x] #525
[x] #657
[x] #526
[x] #660

Files	Patch %	Lines
...r/core/src/compiler/semantics/types/custom-type.ts	33.33%	26 Missing :warning:
...re/src/compiler/semantics/analyser/type-checker.ts	84.68%	9 Missing and 8 partials :warning:
...declaration/class-declaration/class-declaration.ts	31.81%	15 Missing :warning:
kipper/target-js/src/code-generator.ts	70.21%	14 Missing :warning:
...ntics/symbol-table/entry/scope-type-declaration.ts	45.00%	8 Missing and 3 partials :warning:
...core/src/compiler/semantics/types/built-in/func.ts	40.00%	8 Missing and 1 partial :warning:
kipper/core/src/compiler/program-ctx.ts	80.95%	5 Missing and 3 partials :warning:
...ore/src/compiler/semantics/types/built-in/array.ts	66.66%	5 Missing and 3 partials :warning:
...ion/interface-declaration/interface-declaration.ts	69.56%	6 Missing and 1 partial :warning:
...method-declaration/interface-method-declaration.ts	80.55%	6 Missing and 1 partial :warning:
... and 36 more

Kipper-Lang / Kipper

v0.12.0-alpha.0 #666