[B! ML] khikerのブックマーク

LKML.ORG - the Linux Kernel Mailing List Archive

LKML.ORG? In case you haven't read the titlebar of your webbrowser's window: this site is the (unofficial) Linux Kernel Mailing List archive. This mailing list is a rather high-volume list, where (technical) discussions on the design of, and bugs in the Linux kernel take place. If that scares you, please read the FAQ. Things you might want to do right now: dive into the archiveread the last 100 me

khiker 2010/06/30

リンク

ML や Haskell でよく見る ' (プライム) 記号がうらやましかった件について - (new Hatena).blog()

数学でよく使われる記号だと思うんですが、ML系のプログラムとか論文を読んでいると、1重引用符が識別子の後に付けられているのをよく見かけます。ある関数の変種とか、ある変数に基づいて一時変数を作る時などに、いちいち新しい名前を考えなくて済むので便利なんですよね。でも Scheme や Lisp では、この記号は quote の省略形という特別な意味を持っているので、使いたくても使えません。で、何か良い案は無いものかとずっと思っていたんですが、ついに思い付きました。チルダです。 (define (map~ f l) (cond ((null? l) l) ((f (car l)) => (lambda (x) (cons x (map~ f (cdr l))))) (else (let* ((t (cdr l)) (t~ (map~ f t))) (if (eq? t t~) l (co

khiker 2009/06/25

ある関数の変種とか、ある編集に基いて一時変数を作る時などに、名前の末尾にチルダを使う

リンク

良いプログラマを目指すなら「Concurrent Progrmming in ML」は今すぐ読むべき - osiire’s blog

（いえ、どうせ前から広めたいとは思ってたので、ちょっと便乗。）これからマルチコア当り前時代になるし並行処理を扱えるようになりたい。でも並行処理って難し過ぎる。そんな諸氏に朗報です。簡単かつ安全にマルチスレッドを扱える方法があります。それは、メッセージパッシングによるスレッド間情報共有です。Erlangのようなアクターモデルと言った方がピンとくる人もいるかもしれません。メッセージパッシングの世界にはロックもシグナルも登場しません。あるのは、スレッド間で共有する通信路だけです。なぜ通信路だけで、排他制御が出来るのでしょうか？新しいスレッドを作って、そのスレッドが持つ文字列を読み書きするメッセージパッシングスタイルのプログラムを見れば一目瞭然です。 (* 細かい事は若干単純化したサンプルプログラムです。*) let start_server init_msg = let ch = (* 通信

khiker 2009/06/16

リンク

Debian Mailing Lists -- Index

Please see the introduction to Debian mailing lists for more information on what they are and how they can be used. There are list indices for the following types of mailing lists: Debconf Users Developers Internationalization and Translations Ports Bug tracking system Miscellaneous Debian Linux Standard Base Software in the Public Interest Other If you wish to browse a complete list of mailing li

khiker 2009/05/20

Debian
ML

リンク

index - 日本PHPユーザ会 - メーリングリスト

メーリングリスト † 日本 PHPユーザ会では以下のメーリングリストを運営しています。 PHP に関する話題について話し合う場所です。英語は苦手で本家のメーリングリストは敷居が高いだとか、PHP での日本語に関する問題など、PHP に関することについてのメーリングリストです。参加される方は、メーリングリストの利用についてをよく読んで参加して下さい。 ↑ 運営されているメーリングリスト † PHP-users メーリングリスト PHP についての話題一般について議論をするメーリングリストです。PHP の利用に関する質問や技術的な話題を扱います。PHP について興味のある方ならどなたでも参加可能です。メーリングリストにはこちらのページで参加出来ます。 PHP-doc メーリングリスト PHP に関するドキュメントについて議論をするメーリングリストです。英語のドキュメントの日本語への翻訳や、