2006-02-15から1日間の記事一覧

Concurrent Clean : タプル

多値関数([id:lethevert:20060210:p1])に関連して、ここで([id:lethevert:20060208:p1])$演算子を定義したが、これは、タプルに拡張できる。 ($) infixr 0 //:: (a -> z) a -> z ($) f a :== f a ($$) infixr 0 //:: (a b -> z) (a,b) -> z ($$) f (a, b…

Concurrent Clean : 正格性解析

http://d.hatena.ne.jp/tanakh/archive?word=wcを見ながら、Cleanでどういうチューニングがありえるかを考えていた。 文字の読み込みをバッファリングしてみようかと思って、 ::BufferedFile = Buffered !.File !{#Char} !Int buffering f = Buffered f "" 0…

Concurrent Clean : 代数型定義の中置記法

があるらしい。Haskellのリストの : って、これで定義しているのかな? http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport21/Chap5.html#sc1