Fight the Future



ScalaのAdvanced Exampleを写経する(4)-lazy evaluation

いわゆる遅延評価ってやつ。 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 サンプルが馬だもんなあ。

ScalaのAdvanced Exampleを写経する(3)-Guarded Algebraic Data Types

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…