いわゆる遅延評価ってやつ。 package sample.snippet object LazyLib { /** Data type of suspended computations. */ abstract class Susp[+A] extends Function0[A] class SuspImpl[A](lazyValue: => A) extends Susp[A] { private var maybeValue: Option…

CedricさんがAndroid Marketに翻訳アプリを出したみたい。Android Translate « Otaku, Cedric's blog サンプルが馬だもんなあ。

Guarded Algebraic Data Types = 保護された代数データ型？検索するとヒットした。 Guarded algebraic data types, which subsume the concepts known in the literature as indexed types, guarded recursive datatype constructors, and phantom types, an…