Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
``` def main(): Unit \ IO = let _ = 12; println("hello") ``` this does not output anything ``` def main(): Unit \ IO = f() def f(): Unit \...
``` def example(): Unit = { foreach(e
I think a version of this function should exist that works with Foldable perhaps. `pub def appendLinesWith!(f: a -> String & ef, a: Array[a, r1], sb: StringBuilder[r2]): Unit \ {...
We have `head` but there's no tail. One complication: `Nel` and `Nec` do not return Option
I want to write `List#(1, 2, 3)` or maybe `List#{1, 2, 3}`
Program is nonsense since `tr` is a record, it should've been `tr.reg` but it crashes the compiler. ``` enum Test[r: Region]({reg :: Region[r]}) pub def f(i: Int32, test: Test[r]): Array[String,...
Goal: improve namespace usability * `use` alias for namespaces (`use NamespaceA/NamespaceB`) #3789 * Easier `use` of enum cases #4124 * Information about unused `use`? Could be both an error ([go...
I want to be able to click on an effect in the header of a function and have the expressions are cause that effect to be highlighted, like so: ...