例の、最近流行った奴です。コードを短くする方向で盛り上がってましたけど、それとは違う方向性で。 匠の技的な正規表現で書けないかと考えています。

PCRE http://pcre.org/ には、再帰的なパターンマッチを行う記法があるようなのだけれど、PerlやRubyにはないみたい。

多分、既にいろんな人が気づいていると思うのですが・・・ リストの内包表記とSQL（SELECT）って似てるよね！！！

[id:lethevert:20050720:p1]で、関数の定義域や値域を、型そのものが持っているものよりも狭めてやることで、不要な範囲チェックや例外処理を書かなくてもよくなるのではないか、というような話を書きました。（これって、今考えると、証明（形式検証）の一…