Max Teufel
Max Teufel
The following example ``` ex is iaws (val u8) => val = (u8 9) || val = (u8 10) say (iaws (u8 1)) say (iaws (u8 9)) ``` has bad...
``` $ cat ex_string_sequence.fz ex_string_sequence => a := "hello, world!" say "{a.utf8}" ``` this returns: ``` $ fz ex_string_sequence.fz hello, world! ``` which, to an experienced fuzion programmer, is not...
I want to fix the ambiguous naming in `flang_dev/content/tutorial/examples/demo1_unit_types.fz` by using qualified names. ``` demo1_unit_types is Monoid1 (T type) ref is zero T is abstract add (a, b T) T...
Some operations for working in the file system could be implemented on a significantly higher level, e.g. abstraction for paths, and an abstraction for files that allows checking attributes with...
It should be possible to create a Fuzion module given a Java archive. Currently, this requires creating a `module-info.class` and converting the Java archive into a Java module manually.
When dealing with Java code, there is currently one major problem with the way `fzjava` works. Java interfaces are translated to Fuzion features that fit nowhere in the type hierarchy....
``` $ cat ex_option.fz ex_option => x option i32 := nil y String := x.as_string "" say y $ fz ex_option.fz ``` this works like if someone had intended to...
I just stumbled across this, to me, very surprising feature signature: https://github.com/tokiwa-software/fuzion/blob/6f4c10187d130f3f0a049abf22fefa18ab015ae1/bin/ebnf.fz#L32-L35 It took me a moment to realize that this is not a feature named `prefix` using the effect...