Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
That looks very cool, what are the drawbacks? when is it worse than plain list? From what I talked with magnus I think he wants an in-built fixed size vector...
> > I think perhaps the two of you should meet because some of this lattice stuff is easierly explained on the whiteboard 👍 > > Yeah, I think that...
Outdated List: Categories: Static, Impure, Both, Impure cast, Static import, impure import Tags: FalsePurity, ### Std Lib Array * (Impure) `shuffle` because of `Random.Random` * [ ] (Static) `copyOfRange` uses...
But the program arguments are fixed for the whole program duration, so it should always return an array with the same content (the array returned is even a copy so...
## Unsafe casts to Pure Maybe benchmarking can be reengineered to be impure instead of unsoundly pure, but otherwise, these cannot be removed in the current state. 22/62 occurrences *...
> Leave the Channel stuff alone. > I am not sure what can be done for Choose since it is non-deterministic. I think that ``` def choose[a](r: Random, a: Array[a,...
@magnus-madsen I think this can be closed, There's no Impure and Static is only used in relation to things like file/system/imports
> So why not just pass `-S` to `env` to make it recognize the multiple arguments? This `-S` flag breaks on windows :(
I don't think what i want is more iterations. My issue with this is that the optimizer generates useless letbinders which means that no amount of iterations will remove them...
I've made a PR, I think the additional lines are merited by its efficiency