Passing the Applicative won't be necessary if KEEP...

# arrow

[raulraja]

Passing the Applicative won't be necessary if KEEP-87 makes it to Kotlin.

[streetsofboston]

At this moment, how do you see the chance of KEEP-87 making it into Kotlin?

[raulraja]

We are submitting it at the end of this quarter and then we'll see what happens

[raulraja]

The community is definitely interested, if it doesn't make it in some form I'd expect they provide solid reasons

[raulraja]

It's the KEEP with more attention and comments so far AFAIK

[raulraja]

And some people from the compiler had help us find our way through so initially I'm positive and hopeful and I think that's how the rest of arrow maintainers and people pushing this feel for the most part, but it's still in the air and we can't make any promises

[kartoffelsup]

Would it be possible to provide it via a Compiler Plugin if it doesn't get accepted? (fingers crossed)

[raulraja]

It would mean a complete new implementation and probably the compiler API is unable to do the level of type checking and resolution needed to do this

[raulraja]

but who knows

[raulraja]

Extension families need to surface in Kotlin in some way though

[raulraja]

Swift has them and most modern langs are in favor of this feature

[raulraja]

the KEEP does not propose higher kinded types either

[raulraja]

so it's not a change to the Kotlin type system

[raulraja]

it just introduces a new way to resolve arguments flagged with with

[raulraja]

in the same way Kotlin already resolves extensions functions you declare on arbitrary types