The Essence of Form Abstraction(PDF) http://blog.tupil.com/formlets-in-haskell/ こういうフォームで、日付入力ボックスを、部品として抽象化できたらいいよねという話。 入力が01〜12月の範囲かチェックとか、生のクエリデータを意識しないですむように…

Unix哲学には、標準入力と標準出力があって、つまりプロセスは、関数だ。関数型言語には、"関数をうけとる関数"がある。mapとか、foldとか。じゃあOSで、"プロセスをうけとるプロセス"ってなんだろう。 MapReduceか。MapReduceは未来では、OSの一機能になる…