Scalaでappengineのapiproxy hookを作る

Hackathonから帰ったあと、@marblejenkaさんがappengineのlower levelなネタを
作ってるのを聞いてたので、appengineのライブラリ以外をscalaで作ったらどうなるんだろ、
と思ってApiProxyのHookを書いてみた。

簡単だろ、と思ってたら意外なところでハマってしまった。
最初こんな感じで書いた。

class HookDelegate(val delegate:Delegate[_ <: Environemnt]) 
  extends Delegate[Environment] {

 def makeSyncCall(e:Environment,
  s:String,m:String,r:Array[Byte]):Array[Byte] = {
  delegate.makeSyncCall(e,s,m,r)
 }

 def makeAsyncCall(e:Environment,
   s:String,m:String,r:Array[Byte],
     c:ApiConfig):Future[Array[Byte]] = {
  delegate.makeAsyncCall(e,s,m,r,c)
 }

 def log(e:Environment,r:LogRecord) = {
  delegate.log(e,r)
 }

}

アウト。
コンパイル時に型が違いますエラーをdelegate.makeXXX,logの呼び出しで喰らう。
Delegateが共変ではないってことになるのかな。

渡すdelegateはApiProxy.getDelegateで取得することを想定しているのだけど、
これ仮型引数が分からない。scalaのエラーによると、<? extends Environment>
ってのは分かってるんだけど、型として<? extends Environment>ってのは用意できない。
まあJavaで同じことしてもエラーになるんだけど、ApiProxy.getDelegateはraw type
、イレイジャ通って戻ってくるので、キャストして呼べるんだよね。

１日悩んで、どうしたらいいんだろと考えてひらめいた。

class HookDelegate[E <: Environment](val delegate:Delegate[E]) 
  extends Delegate[E] {

 def makeSyncCall(e:E,
   s:String,m:String,r:Array[Byte]):Array[Byte] = {
  delegate.makeSyncCall(e,s,m,r)
 }

 def makeAsyncCall(e:E,s:String,m:String,r:Array[Byte],
   c:ApiConfig):Future[Array[Byte]] = {
  delegate.makeAsyncCall(e,s,m,r,c)
 }

 def log(e:E,r:LogRecord) = {
  delegate.log(e,r)
 }

}

これならOK。
コンストラクタの引数を元に仮型引数を決定できるので渡されたdelegateを
元に推論すればいいじゃん！とひらめいたのでした。
・直接このHookのmakeSyncCallは呼び出せない
・Hook内でEnvironmentをいじれない
けれども。
多分Javaだとタイプセーフにはできないような気がする。