v0.12.0-alpha.1 - 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)
[x] 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.)
[ ] Requires a documentation update, as it changes language or compiler behaviour

Summary

New development release 0.12.0-alpha.1, which adds various new features, such as dot-notation syntax, support for basic classes, support for index-based arrays, as well as internal type structures required for future updates.

Detailed Changelog

Not present for website/docs changes

Added

Support for dot notation for accessing properties of objects. (#67)
Support for classes, class methods, class properties and class constructors. (#665)
Support for calling lambdas and functions stored in variables or expressions. (#674)
Support for index-based array assignments. (#669)
Implemented the generic Func<T..., R> type and function type initializers. (#584)
Implemented internal generic spread argument T..., which allows multiple arguments to be passed to a single parameter inside a generic type specifier.
Implemented constant NaN, which represents the NaN value in JavaScript (Not a Number). (#671)
Support for internal type unions in built-in and internal functions. (#496)
New classes:
- MismatchingArgCountBetweenFuncTypesError, which is thrown when the amount of arguments in a function type does not match the number of arguments in the function type it is compared to.
- GenericCanOnlyHaveOneSpreadError, which is thrown when a generic type has more than one spread argument. This is for now an internal-only error that should not be thrown in normal circumstances.
- TypeNotAssignableToUnionError, which is thrown when a type is not assignable to a union type.
- ValueTypeNotIndexableWithGivenAccessor, which is thrown when a value type is not indexable with the given accessor.
- PropertyDoesNotExistError, which is thrown when a property does not exist on a type.
New interface BuiltInReference, which replaces the now removed type Reference in the KipperProgramContext for reference tracking of built-in types.
New properties:
- BuiltInFunction.funcType, which returns a function type for the built-in function.
- FunctionDeclarationTypeSemantics.type, which returns the type of the function declaration i.e. the function type.
- LambdaPrimaryExpressionTypeSemantics.type, which returns the type of the lambda primary expression i.e. the function type.
- FunctionCallExpressionTypeSemantics.funcOrExp, which returns the function or expression that is called. This always stores some sort of value that extends BuiltInTypeFunc.
New runtime error KipperError, which serves as the base for TypeError and IndexError.

Changed

Argument type of built-in function print from str to any.
Argument type of built-in function len from str to str | Array<any>. (#667)
Renamed module compiler/.../expressions/arithmetic to arithmetic-expression.

Fixed

All functions and lambdas simply resolving to Func instead of the appropriate filled-up Func<T..., R> type. This now enables proper type-checking for function references.
CLI command run not properly reporting internal or unexpected errors, as they were already prettified in the internally called up command compile.

Removed

Type Reference as it is no longer needed and has been replaced by KipperReferenceable.
FunctionCallExpressionTypeSemantics.func, which is now has been replaced by funcOrExp.

Does this PR create new warnings?

None.

Linked issues or PRs

[x] #584
[x] #673
[x] #665
[x] #675
[x] #671
[x] #676
[x] #669
[x] #677
[x] #67
[x] #678
[x] #667
[x] #680
[x] #674
[x] #681

Files	Patch %	Lines
...re/src/compiler/semantics/analyser/type-checker.ts	63.04%	10 Missing and 7 partials :warning:
kipper/target-js/src/code-generator.ts	71.92%	13 Missing and 3 partials :warning:
...re/src/compiler/semantics/types/base/union-type.ts	28.57%	14 Missing and 1 partial :warning:
kipper/cli/src/decorators.ts	0.00%	9 Missing :warning:
...core/src/compiler/semantics/types/built-in/func.ts	72.72%	9 Missing :warning:
kipper/target-ts/src/code-generator.ts	72.72%	8 Missing and 1 partial :warning:
...ass-method-declaration/class-method-declaration.ts	79.48%	6 Missing and 2 partials :warning:
...uctor-declaration/class-constructor-declaration.ts	80.00%	7 Missing :warning:
.../core/src/compiler/semantics/types/built-in/any.ts	30.00%	6 Missing and 1 partial :warning:
...property-declaration/class-property-declaration.ts	77.77%	5 Missing and 1 partial :warning:
... and 12 more

Kipper-Lang / Kipper

v0.12.0-alpha.1 #682