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

Java の語彙で Maybe を説明してみる - ぐるぐる～

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

m_kasama 2012/06/29

リンク

すごい Haskell たのしく学ぼう！は本当にすごいのか？ - ぐるぐる～

すごいHaskellたのしく学ぼう! 作者: Miran Lipovača,田中英行,村主崇行出版社/メーカー: オーム社発売日: 2012/05/23メディア: 単行本（ソフトカバー）購入: 19人クリック: 552回この商品を含むブログ (36件) を見る今話題の、すごい Haskell たのしく学ぼう！を読んだのですが、ちょっと思ったことがあるので書評と合わせて書いておきます。思ったこと関数型言語がこれほど話題になるのはとても嬉しいことです。しかし、一方で懸念点もあります。ノリで「すごい」とだけ言う人たちがいるその人たちに乗せられて (自分には合わないのに) 買ってしまって、挫折してしまう人が出てきそうこの本は、いい本です。翻訳の質も素晴らしく、読んでいて「読みにくいな」と思った部分はありません。それに加え、訳注と Appendix も素晴らしい。しかし、誰にで

m_kasama 2012/05/25

リンク

TDD の基礎体力と、TDD に対する想い - ぐるぐる～

TDD Advent Calendar 2011 の 4 日目の参加エントリです。前半では、TDD を学ぶ前に身に付けておくといいと思う基礎体力について書きました。後半は、まぁ、その。後悔はしていません。反論ウェルカム、議論しようぜ。不安をテストに「レッド - グリーン - リファクタリング」は、TDD の根っこの部分であり、これ自体が「どう TDD をやればいいか」を教えてくれるものではありません。それに対して、「不安をテストに」というのは、「どう TDD をやればいいか」という指針を与えてくれる言葉です。この言葉自体は、TDD Boot Camp で自分のものにできました。不安については、テスト駆動開発入門では (言及されているものの) 自然に組み込まれていて、最初に読んだときには全然気づきませんでした。しかし、TDDBC で id:t-wada (和田さん) に短くて