kmizuの日記

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

2012-12-05から1日間の記事一覧

Weak Conformanceのはなし

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