Perl日記

日々の知ったことのメモなどです。Perlは最近やってないです。

2016-01-07から1日間の記事一覧

Scalaにおける表明

assert() def add100(x: Int): Int = { val z = x + 100 assert(z >= 0) // 必ず0以上という表明 z } ensuring() def add100(x: Int): Int = { val z = x + 100 z ensuring(_ >= 0) } // ↑こう書けるので、↓こうも書ける def add100(x: Int): Int = x + 100 …