2004-09-24 Re:型を返す関数 Haskell dependent type …は知らなかったです。 一通りPDFとか読ませていただきました。 そういえば、C++のtemplateにも値をとるものがありましたね。 うーむ…私もまだまだHaskellについて知らないことだらけですね… 精進します。