This message was deleted.

# language-proposals

[Slackbot]

This message was deleted.

[jw]

Doesn't changing the signature to T.launch solve this?

[jw]

Oh I see. You want to call it without an instance.

[jw]

In the past I've then put the extension on KClass<T> so it becomes MyApp::class.launch()

[jw]

I'm generally upset that KClass<T> and T.Companion don't refer to the same instance.

[Hanno]

I think the usecase is one mentioned often times here https://github.com/Kotlin/KEEP/pull/87

[louiscad]

You can make the companion object extend an abstract/open class or implement an interface (including by delegation). That's what I do here for Android Activities, Services and BroadcastReceivers: https://github.com/LouisCAD/Splitties/tree/master/modules/intents

[louiscad]

Downside is you need to declare it explicitly. Upside is it is declared explicitly (so no way to have it compile on the wrong type).

[raulraja]

What Type classes in KEEP 87 proposed is this but ad hoc for any type you don’t own when you don’t have the ability to alter it’s subtype hierarchy. The proofs and type classes support in Meta coming up in 1.4 gives you this ability of project families of extension functions over any arbitrary type as if the type in the left extends the one in the right

//given provider proofs Unit(truth) -> App, object, val and class also supported
@given fun app(): App = MyApp() 

//given summons coherent provider in the classpath in any expression position not just contructors or args
fun MyApp.Companion.launch(app: App = given()) = app.reallyLaunch() 

MyApp.launch() // runs with coherent provider app()
MyApp.launch(testApp) //runs with local override testApp

No reified types or inlining really required since this is solved in the type-checking phase in resolution and call sites get their values injected. While the original description of Keep 87 did not have implicits, Arrow Type Proofs have given coherent implicits, extension projections, coercion functions, union types and type refinements that are verified at compile time. Just waiting for 1.4 to stabilize to launch the first preview release and some more KEEPs for each of the features in case others in the lang are interested

I stopped discussing in the KEEP because it got a lot of traction but no official response and I get why, it became controversial at some point with so many design opinions and choices. I really don’t know how KEEPs are supposed to work.