2006-06-01から1ヶ月間の記事一覧

ふつケル写経会

http://www.namaraii.com/HaskellStdy/index.cgi/tb/HaskellShakyo005

GRS

グラフ書き換え理論って必然的に"Call by name"になるの？

Scheme 100までの素数列挙

いちおう末尾再帰してるはずです… (Schemeで本当に末尾再帰してるかどうか調べるにはどうすればいいだろう？) (define (erathos upper-bound) (define (iter-erthos x xs) (define (divine? a) ((compose zero? modulo) x a)) (if (> x upper-bound) xs (if …

Hasekll

Haskellで書かれたOSらしい http://www.cse.ogi.edu/~hallgren/House/

δ簡約

Lispだとネイティブなサブルーチンまでの簡約のこと 実行と評価 print :: Show a => a -> IO () print = putStrLn . show print (putStrLn "foo") はIOをかえす 評価されると実行されるは嘘。 評価と実行は別 DClean http://dragon.ektf.hu/dclean/shelercy…

■

Javaのイテレータには内部イテレータと外部イテレータが存在するらしい 関数型言語という用語は1977年にバッカスがチューリング賞を取ってから言われるようになった runghc はmainを評価

Kernel読書会

先日カーネル読書会なるものにいってきました。 alternativeマクロ話だそうです。 sfence,lfenceという最近？の命令をサポートしていない、ＣＰＵのため互換性を持たせるマクロだそうです。 このsfence,lfeceというのはメモリにたいしてロード、ストアの実行…

■

本屋にふつハス買いに行ったがなかったので、アマゾンで注文 http://www.amazon.co.jp/exec/obidos/ASIN/4797336021/qid=1149438373/sr=1-5/ref=sr_1_10_5/250-9567274-7893807asin:4797336021

Clean パスカルの三角形

Cleanにないので、zipWithは別途定義 Start = take 10 pascal where pascal = [ [1] : [zipWith (+) [0:xs] (xs++[0]) \\ xs pascal] ] 追伸id:lethevertさんからStdLibをimportすればzipWithは使えると情報が。 ありがとうございます。