テンプレートを事前フィールド定義(early field definition)節で始めることができ、それによりスーパー型のコンストラクタがコールされる前に、ある特定のフィールド値を定義できます。
次のテンプレート中で
{ val p1 : T1 = e1 ...
val pn : Tn = en
} with sc with mt1 with mtn {stats}
p1, ..., pn 定義の最初のパターンは事前定義(early difinition)と呼ばれます。それらはテンプレートの一部をなすフィールドを定義します。すべての事前定義は、少なくとも 1 つの変数を定義していなくてはなりません。
Scala言語仕様

つまり、クラス宣言で、withなどでtraitを宣言する前に、特殊な初期化ブロックを記述することが許されている、というワケですが、なんだかわかりませんね。実例をみましょう。

よくあるoverride and lazy val問題

ある程度Scalaやるとハマる問題の一つとして、スーパークラスの初期化ブロックから参照されているフィールド、メソッドを初期化ブロック内でオーバーライドするとnullになってしまう問題があります。実例を見ましょう。

trait Train {
  val announce:String
  println( announce )
}

class KQ extends Train {
  val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"
}

Trainトレイトは、初期化ブロック内で抽象メンバーannounceをprintlnで出力します。クラスKQは、Trainトレイトを継承してannounceにあの言葉を設定します。これで、KQクラスをnewすると、みんな大好きなあの言葉が出力されるハズです。やってみましょう*2。

scala> :paste
// Entering paste mode (ctrl-D to finish)

trait Train {
  val announce:String
  println( announce )
}

class KQ extends Train {
  val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"
}

// Exiting paste mode, now interpreting.

defined trait Train
defined class KQ

scala> new KQ
null
res3: KQ = KQ@48bc9f58

アレ、nullになっとるやん。ﾀﾞｧがｼｴﾘｨｴさないじゃないですかー！？なぜぜ？

これは、継承先のTrainの初期化ブロックが呼ばれた後に、KQの初期化ブロックが呼ばれるからです。この問題を解決するには、annouceをlazy valにすれば解決できます。

class KQ extends Train {
  lazy val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"
}

lazy valにしてもよいのですが、オーバーライドするメンバーがすでに継承先で具体的な値を与えられている場合は、lazy valでオーバーライドし直すことはできません。＼(^o^)／

scala> :paste
// Entering paste mode (ctrl-D to finish)

trait Train {
  val announce:String = ""
  println( announce )
}

class KQ extends Train {
  override lazy val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"
}

// Exiting paste mode, now interpreting.

<console>:14: error: overriding value announce in trait Train of type String;
 lazy value announce cannot override a concrete non-lazy value
         override lazy val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"

事前定義で解決する

この問題は、事前定義を利用することでｼｴﾘｲｪｯｽ!することができます。KQの宣言を、このように行います。

class KQ extends {
  override val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"
} with Train

実行してみましょう。

scala> :paste
// Entering paste mode (ctrl-D to finish)

trait Train {
  val announce:String = ""
  println( announce )
}

class KQ extends {
  override val announce:String = "ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!"
} with Train

// Exiting paste mode, now interpreting.

defined trait Train
defined class KQ

scala> new KQ
ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!
res6: KQ = KQ@49164555

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

ﾀﾞｧ!! ｼｴﾘｲｪｯｽ!!ｼｴﾘｲｪｯｽ!!

*1:いちおうコップ本にも書いてある

*2:余談だけどREPLでコンパニオンなどの動作確認したい場合は:paste使うとよい。:pasteで入力した範囲が同一スコープで扱われる

2011-11-30

寝てる場合じゃねぇ！(Scala)

scala

寝てる場合じゃねぇ！ - プログラマーの脳みそ

Scalaだとコンパイラ騙さなくても言語がサポートする機能でふつーにできるし。

object NoSleep extends App {

  trait Sleepy[A] { def sleep(n:Long):Unit }
  implicit val hoge = new Sleepy[Nothing]{
    def sleep(n:Long) = println("寝てる場合じゃねぇ！")
  }

  def sleep[A:Sleepy] = try {
    implicitly[Sleepy[A]].sleep(1000)
  } catch {
    case ex:InterruptedException => ex.printStackTrace()
  }

  sleep
}

2011-11-21

第一回 Scala会議で発表したUnfiltered/Finageの資料

scala

第一回 Scala会議 - [PARTAKE] で発表した内容です。

20110828_ScalaConf01_introducing_Unfiltered_and_Finagle

2011-11-21

BPStudy#49 秋のScala祭りでFinagleについて発表した資料

scala

BPStudy#49 : ATND で発表した資料です。

20110930_BPStudy49

2011-11-21

ドワンゴ社内 scala勉強会で「クリエイティブで高品質なScalaプログラマになるための10のTips」という発表をした

scala

ドワンゴ社内 scala勉強会 - ニコニコ生放送での発表資料。

20111120_Dwango_scala

2011-10-13

Scala2.10に文字列中の\{ _ } で式展開する機能が入るかも?

scala

以下の記事で紹介されているが、Scala2.10の実験的な機能として、このコミットにより、文字列中の式展開が入るかもしれない。

Algorithmically challenged: String Interpolation on 2.10?

式展開とは、Rubyでは"foo #{hogehoge}"のように文字列中に式を埋め込んで評価した結果を元に文字列を作成すること。2.10のnightly buildを持ってきて、-Xexperimentalオプションを付けて起動すると、試してみることができる。

ozaki@mbp-4 $ scala -Xexperimental
Picked up _JAVA_OPTIONS: -Dfile.encoding=UTF-8
Welcome to Scala version 2.10.0.r25825-b20111013020230 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_26).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val x = 1.1
x: Double = 1.1

scala> println("We have a \{ x ;2.2f}% chance of success")
We have a 1.10% chance of success

scala> "the random value is \{ util.Random.nextInt }!!"
res2: String = the random value is 289196571!!

上記のように、sprintfのオプションを合わせて指定してフォーマットを整えることができるようだ。
他にも、このGistで紹介されているように、無名関数リテラルのように扱うこともできる。

scala> val f = "Value of \{ _ : String} is \{ _ : Int }"
f: (String, Int) => String = <function2>

scala>  f("foo", 23)
res1: String = Value of foo is 23

scala> val g : (String, Int) => String = "Value of \{ _ } is \{ _ }" // Types can be inferred
g: (String, Int) => String = <function2>

scala>  g("bar", 13)
res2: String = Value of bar is 13

scala> def show[T](t : T)(f : T => String) = f(t)
show: [T](t: T)(f: T => String)String

scala> show(23)("> \{ _ } <")        // Hole inferred as Int
res3: String = > 23 <

scala> show("wibble")("> \{ _ } <")  // Hole inferred as String
res4: String = > wibble <

ただし、現時点では残念ながらヒアドキュメント中の式展開には対応していない。

scala> """
     | (　ﾟ∀ﾟ)o彡°おっぱい！おっぱい！ \{ util.Random.nextInt }
     | """
res7: String = 
"
(　ﾟ∀ﾟ)o彡°おっぱい！おっぱい！ \{ util.Random.nextInt }
"

src/compiler/scala/tools/nsc/ast/parser/Scanners.scala のprivate def getMultiLineStringLit()をいじれば対応できそうだけど……。

( ꒪⌓꒪) ゆるよろ日記

(　ﾟ∀ﾟ)o彡°ｵﾊﾟｰｲ!ｵﾊﾟｰｲ! ( ;ﾟ皿ﾟ)ﾉｼΣ ﾌｨﾝｷﾞｨｨｰｰｯ!!!

Scalaプログラマレベル(アプリケーション/ライブラリ)[翻訳]

Level A1: 初級アプリケーションプログラマ(Beginning application programmer)

Level A2: 中級アプリケーションプログラマ(Intermediate application programmer)

Level A3: 特級アプリケーションプログラマ(Expert application programmer)

Level L1: 下級ライブラリ設計者(Junior library designer0

Level L2: 上級ライブラリ設計者(Senior library designer)

Level L3: 特級イブラリ設計者(Expert library designer)

ほとんど使われていないマニアックな機能「事前定義 (Early Definitions)」- Scala Advent Calendar jp 2011 Day 5

事前定義 (Early Definitions)とは?

よくあるoverride and lazy val問題

事前定義で解決する

寝てる場合じゃねぇ！(Scala)

第一回 Scala会議で発表したUnfiltered/Finageの資料

BPStudy#49 秋のScala祭りでFinagleについて発表した資料

ドワンゴ社内 scala勉強会で「クリエイティブで高品質なScalaプログラマになるための10のTips」という発表をした

Scala2.10に文字列中の\{ _ } で式展開する機能が入るかも?