kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

2012-12-01から1ヶ月間の記事一覧

irof式が実装できたよ。そう、Scalaならね! (Re: irof文が実装できたよ。そう、Scalaならね!)

See: irof文が実装できたよ。そう、Scalaならね!返り値が思い通りにならないことに困ってらっしゃったようなので(?)、実装してみました。 object Main { case class irof[A](val condition: Boolean)(blockA: => A) { val thunk: () => A = () => blockA…

Weak Conformanceのはなし

この記事はPlay or Scala Advent Calendar 2012 の 6日目です。今回の記事は、とりわけ役に立たないことを自負しています(役に立つ記事を読みたい人は飛ばしてください)。本題に入る前に、conformanceという概念についてざくっと簡単に説明しておきます。こ…