Jakob Schneider
Jakob Schneider
Yeah, well... :shrug:
Added some more draft PRs to help sketch out how I think we should arrive at my dreams in https://github.com/flix/flix/pull/8880
I think we can close this now? The soft failure removal will allow us to collect the errors a bit more cleanly but other than that we are done with...
- [x] Reformat file with Intellij IDEA - [x] Fix all warnings reported by Intellij IDEA (e.g. unused variables should be _ and functions should be private) - [x] `visitType`...
Could you add me to the assignees?
On the record thing, one solution would be to allow records in debug expressions if all their fields are debug (this would also work recursively) and then sprinkle in some...
Slightly unrelated: what is the reason we do not have partial application of binary operators, e.g., `2(+)`? Too complex to add extra parsing for it?
> But it would be nice if we could write (+) to obtain + as a function. > > (Then you could partially apply that). Yes I think that was...
Plain libraries generally shouldn't use any IO or Java and should instead use effects. The handler lib may use default handlers but it should be up to the user to...
Default handlers always give you the IO effect, right?