Fridtjof Siebert

Pre- and Postcondition failures when compiling small example using effect and type parameter

1

Using this example ``` s.q s(p X) : effect is s => s.default s.env ``` I get this crash ``` > PRECONDITIONS=true POSTCONDITIONS=true ~/fuzion/clean/fuzion/./build/bin/fz -verbose=3 sockets_test_crash.fz /home/fridi/fuzion/fuzion/sockets_test_crash.fz:4:3: error 1: Failed...

Syntax consistency for types and calls for `xyz.this`

2

In nested features ``` a is b is c is ``` The syntax for a type and a call is the same, with the only exception that a call might...

Currently, Effects can be implemented in a way that they can as well be used as explicit monads wrapping around some value. This is illustrated in the [design for monadic...

Syntax of field declaration confusing?

1

When I was a little tired working on my FOSDEM'23 submission, I had problems understanding the following code (taken from a comment in Fuzion base library feature `cache.fz`: ``` fn...

Check if [RRB Vectors](https://dl.acm.org/doi/10.1145/2784731.2784739) would be a nice addition to our base lib.

language improvement: implicit call after parentheses

1

We can call a function that is the result of an expression in paranthesis explicitly: ``` > echo "(x).call 7; x i32->unit is v -> say v" | ./build/bin/fz -...

Still experimental since this depends on new DFA optimizations.

- For certain clazzes, do not create ValueSet but, in case of a set, use one global set for all sets. - For cetain clazzes, do not create separate Instances...

Source file loading from sub-directories is sub-optimal

1

Currently, the a directory in any of the paths provided to the `fz` command via `-sourceDirs` are checked for sources as soon as a feature with that directories name is...