2006-12-01から1ヶ月間の記事一覧
ErlangのEclipse Plug-in http://sourceforge.net/projects/erlide/
[id:lethevert:20061201:p1]のpipe line operatorを定義。 (|>) infixl 0 (|>) x f ==: f x class (|>$) infixl 0 a b :: !*a !b -> *a instance |>$ File Char instance |>$ File Int instance |>$ File Real instance |>$ File {#Char}(|>$)オペレータは、…
http://karetta.jp/article/blog/oneline/008668 それはそうと、これはやはり継続を使って解く方がいいと思うのですよね(schemeなので)。 maxInt =: 0x7fffffff ::Tree a = Node a [Tree a] norm t = let ([[t2:_]:_],_) = norm_t t end maxInt in t2 wher…
並列計算の理論にPi-Calculusというのがあるらしいのですが、それを実装した言語にPICTというのがあるらしくて、そのリンク。 http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html http://citeseer.ist.psu.edu/pierce97programming.html
http://web.archive.org/web/19991001153114/www.dcs.gla.ac.uk/~simonm/ というのが過去にあったみたいです。今はサイトが失われていますが。
ErlyWebとは、Erlangを使ったWeb Framework。 http://erlyweb.org/ 以下、関連して見かけたサイト http://progexpr.blogspot.com/2006/12/erlyweb-blog-tutorial.html http://yarivsblog.com/articles/2006/10/27/introducing-erlyweb-the-erlang-twist-on-w…
http://karetta.jp/article/blog/oneline/008668 http://konoe.lab2.kuis.kyoto-u.ac.jp/~hanatani/tdiary/?date=20061206 計算量が減るというわけではないんだな。 逆に、末尾再帰でなくなるせいで、空間計算量が増えるということもないわけではなかったり…
http://karetta.jp/article/blog/oneline/008668 maxInt =: 0x7fffffff ::Tree a = Node a [Tree a] norm t = let (norm_t, m) = f maxInt t m in norm_t where f n (Node i ts) m = let g t (ts,n) = let (t2,n2) = f n t m in ([t2:ts], n2) (ts2,n2) = fo…
http://www.erlang.se/publications/ からたどれる。
のBはBalancedだと思っていたのですが、どうも不明だそうです。 http://0xcc.net/diary/20040804.html - ところで、DBのインデックスにB木を使っていることをつい最近になるまで分かっていませんでした・・・
Erlangの資料に、こんなことが書いてありました。 'Erlang - A survey of the language and its industrial applications' http://www.erlang.org/doc.html 7.2 Preformance Erlang is sufficiently fast for delivering real telecommunication products. I…
http://tabesugi.net/memo/cur/cur.html#011536 メモ。この書き方は、Cleanでも使える。
http://channel9.msdn.com/Showpost.aspx?postid=230438 見た。 - 話の内容が多岐にわたっていたので、一言でまとめられない。覚えているところでは、 軍事シミュレーション コンパイラの最適化(デッドコードの話) クレジットカードのセキュリティ どうし…
http://www.libsdl.org/index.php ふむ。
http://opentechpress.jp/opensource/article.pl?sid=06/11/20/0917237&from=rss ここで言っているLinux OSというのはなんのことなんだろう? カーネル? glibcを含む? デバイスドライバを含む? ディストリビューションのこと? ディストリビューションに…
ログイン状態が解除されていて、投稿が無視された。
http://channel9.msdn.com/Showpost.aspx?postid=114680 http://channel9.msdn.com/Showpost.aspx?postid=202138 見た。 - LINQは「リンク」と発音するらしい。 Queryをファーストクラスに。 IEnumerableまたはIQueriableを実装するオブジェクトは、LINQの対…
[id:lethevert:20061129:p2] 言葉が足らなかったような気がするので補足。 たとえば、Cleanのコンパイラは、フロントエンドのCleanCompilerはCleanで、バックエンドのCodeGeneratorはCで書かれているのですが、これは技術的な制約のためではないと思うのです…
http://channel9.msdn.com/Showpost.aspx?postid=234632 http://channel9.msdn.com/Showpost.aspx?postid=234889 見た。 「|>」というシンボルを pipe line operator として 「let (|>) x f = f x」 定義していたのは、私がCleanで 「(-->) x f ==: f x」 と…