Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
It is not very easy right now to iterate a collection in reverse. perhaps `toReverseIterator`? modules with `iterator` - MutQueue - Array - Chain - DelayList - DelayMap - List...
The internal booleans use a flipped lattice but this only adds confusion
problem shown in code ```scala import javafx.application.Application import javafx.scene.control.Button import javafx.stage.Stage def main(): Unit \ IO = import new javafx.scene.control.Button(): Button as newButton; // this doesnt work // import new...
Based on #6681 we should use a concurrent map in `enum2enum` to avoid locks on concurrent `get` operations. Based on the PR it should yield upwards of 2.6x performance (1...
From #6681 this should add 1.2x performance (1 vs 8 cores). This requires splitting MonoTypes 1. cover defs in parallel 2. cover types in frontier based parallel (each type visit...
Major * 💀 No type polymorphic effect operations (no rank-2 types in Mlton) * 💀 ~No polymorphic evidence answer types (no rank-2 types in Mlton)~ (addressed by #229 ) *...
It seems like we could implement records in flix and just lower to that, a la datalog or channels
Almost feels like an april first PR
Only the traits missing now
``` trait Indexable[t] { type Aef[t]: Eff pub def get(index: Int32, m: t): String \ Indexable.Aef[t] } instance Indexable[List[t]] { type Aef pub def get(index: Int32, m: List[t]): String \...