Jonathan Lindegaard Starup

Results 363 comments of Jonathan Lindegaard Starup

waiting for judgement on #2708

It would make sense to have a label for "do before next release" so we dont forgot to remove the temporary part

big fan, although there are multiple files. My dream would be that flix can make vscode call the doc command on the package and the show the json file in...

is this shorthand for ```scala type alias TA[a, b] = Map[a, b] enum E[a] { case C(a) } ``` ?

oh cool, does `TA` have any values? how does it work? I've never seen this

This seems to break the compiler in a weird way ``` type alias SF[a, b, s] = (s, (s, a) -> (s, b)) type alias ESF[a, b] = SF[a, b,...

oh, its used for ascriptions right? So maybe the usage of `_` should be restricted ``` let _m: Map[Int32, _] = Map#{23 => "hey"}; ``` ``` def test(m: Map[Int32, _]):...

> Next problem is how to implement an immutable set based on hashes. Its not easy. you can do a tree but use the hashes as key right? shouldn't be...

> I think the complication is what happens in case of collision. Scala and Haskell both do complex stuff with bitsets from what I've seen is it not enough to...

> What's the plan here? I am not against having mutable sets and maps based on hashes. But I don't see a reason to change anything else. Why not have...