manabouのブックマーク - はてなブックマーク

そろそろPower Assertについてひとこと言っておくか - ぐるぐる～
タイトルはもちろん釣りで・・・はない！ちょっと真面目に、Power Assertについて意見を述べたいのです。そもそもPower Assertって何？てきとーに説明すると、普通の比較演算子で普通にassert書けば、失敗時に各部分式の値を表示してくれるようなものです。 Groovy製のテスティングフレームワークであるSpockがおそらく本家大本です((要出典。こういう系の発想は割と昔からあったし、Spock以前に実装例がありそうな気がする。そもそも、Spockは最初からPower Assert持ってたのかも調べないといけない。ちなみに、式木を弄ってAssertを組み立てる、というものであれば(PowerAssertよりも情報量は少なくなるものだけど)、自分の知る限りだと2009年6月にこんな記事があります。 http://themechanicalbride.blogspot.j
manabou 2014/06/02
groovy

powerassert

assert

test
リンク
Maybe のエントリの補足 - ぐるぐる～
昨日書いた Java の語彙で Maybe を説明してみる - ぐるぐる〜に予想以上の反響があってびっくりです。色々反応もらったので、ちょっと補足を。上のエントリを読んでない人は読んでからどうぞ。 @CheckForNull でいいのでは？はい、確かに FindBugs の CheckForNull アノテーションは便利です。でも、これが提供してくれるのは null チェックの強制です。先のエントリは、「null より安全な Maybe」という説明でした。ですので、それだけを達成するのであれば CheckForNull アノテーションでもいい*1のですが、後半でちょっと見たように「null より便利な Maybe」という側面もあります。先のエントリでは bind と or だけ追加しましたが、他にも色々と追加してみましょう。 // Java8だよ！ package maybe
manabou 2012/07/02
java

maybe

tips
リンク
Java の語彙で Maybe を説明してみる - ぐるぐる～
java-jaで例外処理の話をしてきました - 西尾泰和のはてなダイアリーを読んで。 Maybe は値があるかないかを型で表すことができます！そう、直和型なんです！とか言われてもイミフだと思うのです(リンク先のエントリがそう説明してるわけではないですが)。 Java の語彙で Maybe の説明をできたら嬉しい人もいるんじゃないかなぁ、とかなんとか。ただし、書いてたら結構長くなりました。時間がある人はどうぞ。 Maybe？ null より安全に「値がないこと」が扱えるものだよスタート地点としてはこれでいいでしょう。以降で、「なんで安全なの？」という全うな疑問に答えてみたいと思います。問題点 int で説明すると煙に巻いてしまうような気がしたので、User クラスを見てみます。 import java.util.*; class User { final String name;
manabou 2012/06/29
programming

java

maybe

class

import

null

tips
リンク
1