Scalaで遊んでました。多様性と動的束縛

　Kop本の10.9にあるサンプルのリストです。本ではprivate val line = ch.toString.fill(height)(line)となってました。でもデバッグモードで見るとlineがnullでした。それで実行時エラーが起きました。それでlineを直接ch.toString * widthとすると旨く行きました。更にvalをdelに変えてみても旨く行きました。本のバグですかね？

main以外のソース。

mainのソース。

実行画面。

　mainの画面でval e1,val ae,val e2,val e3を定義してます。e3はKop本の通りにElementタイプの変数になってますが、その他は指定してません。Kop本の内容では、継承階層をチェックすると、これら4つのVal定義において、右辺の式の型は、左辺の式の型よりも下位すなわちサブ型のvalであることがわかる、とあります。そうなんですかね？指定しているe3に関してはそうですね。(-_-;)