Peter Zeller

[WIP] Type classes

3

This branch contains an implementation of type classes as described in the new generics design in #679. TODO list: - [x] Instance Declarations - [x] Basic Type Bounds - [x]...

[RFC] New Generics

10

Currently, generics are translated using erasure. This means, that generics can only be instantiated with types compatible with `int`. The idea of this proposal is to change the translation and...

String Interpolation

2

Add a nicer way to construct strings. So instead of return "(" + v.x.toString() + ", " + v.y.toString() + ", " + v.z.toString() + ")" we could write: return...

- [ ] ImmutableList.java (use vavr instead) - [ ] ImmutableTree - [ ] ElementaryCircuits - [ ] Graph - [ ] IntTuple

Improve compilation speed

4

Here is an overview of the compilation times for EBR for the different phases when compiled with `-runcompiletimefunctions -stacktraces -inline -localOptimizations -measure`. ``` parse files: 5592ms Typecheck program: 6296ms Translate...

This is just an idea to restructure the internal Wurst code, nothing about Wurst language features. Restructure intermediate language to allow for unstructured control flow (`goto`) and remove ifs/loops. Then...

``` class B(int a, int b) extends A(b,a) init blub() ``` is like a shortcut for ``` class B construct(int a, int b) super(b,a) blub() ```

Nicer error messages for permission problems

1

Currently the compiler will crash when access to a file is permitted. Instead it should give a nice error message. Case 1: ``` java.io.FileNotFoundException: C:\Users\....\challenge\.....w3x (Access is denied) java.io.FileOutputStream.open(Native Method)...

Allow to reference names from other packages explicitly

4

It should be possible to write `Blub.foo()` to reference the function `foo` in package `Blub`.

Use dependencies from `_build/dependencies` folder

4

- [x] Teach compiler to find dependencies in `_build/dependencies` automatically (folder created by setup tool) - [x] Make editor track changes to files in `_build/dependencies` (basically handle them like files...