I have a higher-order type and work to build some DSL with it. And I'm searching for a way to define function that can accept the type without explicit specifying this type.
Self-describing example:
class Wrap[T] (val data : T)
class DSL {
def doSomething[T](x : Wrap[T]) =
println(x.data)
def <<=[T,W <: Wrap[T]](arg : W) : W = {
doSomething(arg)
arg
}
def <<-[T](arg : Wrap[T]) : Wrap[T] = {
doSomething(arg)
arg
}
def <<+[W <: Wrap[_]](arg : W) = {
doSomething(arg)
arg
}
def <<~(arg : Wrap[_]) = {
doSomething(arg)
arg
}
}
class ExtendedInt(x : Int) extends Wrap[Int](x) {
def expose() = println(data)
}
object Test {
val dsl = new DSL
val exi = new ExtendedInt(3)
val x1 = dsl <<= exi
val x2 = dsl <<- exi
val x3 = dsl <<+ exi
val x4 = dsl <<~ exi
x1.expose()
x2.expose()
x3.expose()
x4.expose()
}
I've tried 4 different methods and got 4 different errors:
Casting.scala:15: error: no type parameters for method doSomething: (x: Wrap[T])Unit exist so that it can be applied to arguments (W)
--- because ---
argument expression's type is not compatible with formal parameter type;
found : W
required: Wrap[?T]
doSomething(arg)
^
Casting.scala:32: error: inferred type arguments [Nothing,ExtendedInt] do not conform to method <<='s type parameter bounds [T,W <: Wrap[T]]
val x1 = dsl <<= exi
^
Casting.scala:38: error: value expose is not a member of Wrap[Int]
x2.expose()
^
Casting.scala:40: error: value expose is not a member of Wrap[_$2]
x4.expose()
^
four errors found
All errors are very descriptive. I have no objection towards scala's awkward type system and the limitations. But I'm still far from my object and I'm positive about searching for another hacks to implement desired functionality.
Is there any other methods that I've overlooked?