Matthew Lutze
Matthew Lutze
Java has `OptionalInt` etc. Maybe an associated type could fix this?
> OptionalInt doesnt inherit/implement anything. I don't this function can exist 🤔 At least not in an injective way since both `Int32` and `java.lang.integer` would be mapped to the same...
What do you have to remember? If we just box the Int in the type match, then we have a total function, right?
> In a world with java generics (i.e. `java.lang.Optional[t]`) the typematch+box version of the function can't be typed Good point. Let's rediscuss at the next Flix workshop :P
> I think this should be discussed at the next workshop. When's the next workshop?
Added this to meeting list since I doubt we got to it last time.
> > @magnus-madsen you want this merged in or should it just live on that summary branch? > > Not sure yet. Can we defer. @mlutze Thoughts? I'm lacking context.
IMO Standard library just needs to be in the Flix namespace. (Same with packages -- they should be qualified with something)
> I like that approach. It is however a bit taxing since you cant do `use flix._` and we don't have editor support for uses :L Sounds like we should...
Some issues with the build