data Maybe a = Nothing | Just a という型をekmettさんのコードを参考にChurch encodingしてみると、 newtype Maybe { runMaybe :: forall r. a -> r -> r -> r } となります。（多分） これをScalaで表現してみました。 とても面倒なことになってますが、ちゃんとMaybeモナドとして動作します。 Haskellだと結構綺麗に書けたりします。 Church encodingすると大抵の場合に高速化されます。 このMaybeモナドの例では、emptyをbindで合成した時に、Justの場合の処理を破棄しています。 ラムダ計算で代数的データ型を表現する方法 この記事も面白いのでぜひ読んでみて下さい。

Head Office Technology House, 151 Silbury Blvd. Milton Keynes, MK9 1LH United Kingdom

Random thoughts on web and software development, as well as other geek and non-geek stuff. Brought to you by Christopher Lenz. 25 October 2007 00:34 I've been playing more and more with CouchDB lately. After putting together a Python library, I worked on a brand new included HTML/AJAX interface. Now I'm starting to dive into the Erlang code, which is my first serious encounter with Erlang. In part

An introduction to the CouchDB HTTP view API. Basics Views are the primary tool used for querying and reporting on Couch documents. Views are defined with Javascript functions. Here is the very simplest function: function(doc) { emit(null, null); }See Views for more information. Creating Views To create a permanent view, the functions must first be saved into special design documents (well, they

good chemistry is complicated, and a little bit messy -LW Since my previous meditation seemed to upset some people, here's more serious pondering. This is not the first node on the merits of Object-Oriented Programming (or Object-Oriented Paradigm), and certainly not the last. Interested monks can read The world is not object oriented, Damian Conway's ten rules for when to use OO, and Coding style

Compiz Fusionについて Compiz Fusionの準備 Compiz Fusionの設定 その他 Compiz Fusionについて 「Compiz Fusion」というのは、上の画像を見てもらえれば分かると思うけど、他のOSの視覚効果とは次元が違うといっても過言ではないくらいの"超クール"な視覚効果ソフトのことだ。 だけど、Compiz Fusionをサクサク動かすにはそれなりの構成が必要であることに注意。 ちなみに、自分のPCは、ビデオカードがGeForce 8600GTだけど、これくらいの性能のビデオカードなら、まったく問題ない（ATI系よりNVIDIA系の方がいいらしい）。 （どうでもいいけど、この曲はManauの「Mais Qui Est La Belette？」） Compiz Fusionの準備（設定については下） はじめに、「Compiz Fusion」を使う

This page features mostly stuff available in malabar-mode’s README. To be sure you’re reading up to date instructions you might want to visit it instead. malabar-mode :: A better Java mode for EmacsYou may want to skip to Installation Why yet another Java mode?After all there is java-mode, included with recent Emacsen, and JDEE if you want something more IDEish. So why yet another? java-modeThere’