2007-01-25から1日間の記事一覧

なんか読んだ http://www.geocities.com/harperjeantobin/Thesis1.htm俺は男をやめるぞー!ジョジョー!WRYYYYYYYYYYYYYYYYという話。ではない。定義。ここでは、MtFとは、基本的に、男から女へ性転換済みの人を指してるらしい。最近は、MtFで女が好きな場合…

ほげー

Lisp:S式の理由S式の利点って、template Haskellを使ってて感じる不満の多くが、S式を使ってればないということかな〜。構文操作が非常に直感的というか。template haskellでは、こういう式を生成したいと頭に描いたものを、template haskellでどう表現すれ…

Pugs as a library

GHC上でGHC動かすよりもPerl動いた方が嬉しくね?という思いつきの下、Pugsをライブラリとして使えないか模索する方向に。とりあえず、ここらからPerl6-Pugs-6.2.13を落として適当に眺めると、なんかCabalっぽいものあるし、余裕だねと思った(ていうか、Hask…

補足

http://d.hatena.ne.jp/m-a-o/20070122#p5 の補足。 よく考えると(よく考えなくても)、Haskellに於いては、tuple(a,b)と多相型forall x.(a->b->x)->xは同型ではありえない {-# OPTIONS -fglasgow-exts #-} pair::(a,b)->(forall x.(a->b->x)->x) pair (x,y) …

びっくりするくらいタグ付けが役立ってない