SIP-71: Is it possible to add from modifier?

sip-71 introduces into as a Modifier which allows to create dsl easyly.

But there is other common use case for implicit convertions. It is extending base types. It exists even in compiler for following types:

  • BigDecimal
  • Boolean
  • etc

We have our own set of types for:

  • number
  • date
  • string
  • Boolean

Which allows us to write common code without need a long code convention.

Unfortunately current sip does not allow us to create integration of such types with standard libraries. We will have to write explicit conversions to use standard functions and operators.

Would it be posible to create a scheme to support such approach?

For example with from modifier:

from trait Modifier
given Conversion[ Modifier, Boolean] =