Okay, if this, then if we can infer parameter type...

# language-proposals

[orangy]

Okay, if this, then if we can infer parameter types for lambdas so this works:

val getPremiumWithTotal = { cc -> CreditCard.getPremium(creditCards.size, cc) }

will it be sufficient? Not much more than a single and to my taste confusing _ after something that looks like a function call

[Ruckus]

I think this is a good idea regardless of the PA aspects, as stronger type inference is always good (so long as it doesn't lead to surprising results), but I think it would indeed solve this problem rather elegantly.