<@U88HXKLP3> no dates yet, I'm gonna focus on fini...
# arrow
r
@jacob no dates yet, I'm gonna focus on finishing the keep-87 and then move into those integrations. But if people need it soon we can discuss implementations and take it from there with whomever wants to help and it's available.
👏 5
g
Hi Raul, I’m really interested about keep-87, but looks like discussion is stumped. What exactly you plan to prototype? I mean even Keep itself is not very strict
r
I'm planning on prototyping a version that is coherent with the internal for overrides and requires potentially no imports as first step as suggested in one of the comments. Sorry on my phone in airport transit.
People keep commenting ideas and that's good but so far that one has been the best one proposed so far and the easier for users. We can easily add overrides based on imports
I'm learning about the compiler internals now, it's kind of a beast and it's taking me longer than expected.
Let me know if you wanna help, initially @simon.vergauwen and I plan on getting started this week with the prototype.
g
I’m glad to help, but not sure how %)
arrow 1
You can point me where to start
requires potentially no imports
So it’s actually implicits
r
Not really because it would be only a single coherente instance unless you override with internal
Implicits are based on imports normally
It'd be similar to package implicits in Scala just for the internal overrides otherwise it just works
g
Yes, I saw these comments