【^】パターンマッチ【$】 - NyaRuRuが地球にいたころ
パターンマッチ話の続き． パターンマッチと単一化 複合代入 (多重代入) という見方もあれば，一方向単一化という見方もあって，つまりは Prolog ぐらい知っておけということっすか． この辺には値モデルと名札モデル，実装と理論，ボトムアップとトップダウンの対比な趣も感じたり． Erlang, Oz/Mozart, Prolog, 単一化 Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 変数束縛が Variable = Value.なのに、関数定義が function(Aargument) -> blah, blah, blah.てのはどうよ? と書いているが、弾さん、こんなのさ、どうよ？と挑発されたら、「お
最初は初心者？ いえいえ，最初は村人ですよ - NyaRuRuが地球にいたころ
惨劇を暴くのは誰？ 恐怖の条件付け (略) ２つ目は、「あるアメリカの夫婦のできごと」のお話です。 結婚も間もない若い夫婦が、新しいオーブンでローストビーフを作ろうとしていました。妻は肉の両端を５センチほど切り落としました。夫は料理に詳しいという人ではありませんでしたが、これを見ていて「どうして両端を切り落とすのか」と妻にたずねました。妻は「母が、いつもこうしてローストビーフを作っていたからよ」と答えました。知的で鋭い夫はその説明をうのみにしようとはせず、義理の母に電話をかけて同じ質問をしました。すると妻の母は「それは家のオーブンが小さくて、そうしないと肉がオーブンに入らなかったからですよ」と答えました。大きなオーブンがあるのに、自動的に肉の両端を切り落とすのは無意味な事だったのです。 (略) C# 言語設計におけるミス 言語設計で後悔していること anonymous method で y
全てが式になる，全てが木になる，全てが式木になる - NyaRuRuが地球にいたころ
関数型プログラマはプログラムを木だと思ってるらしい，より もいっこ yhara くんのところから． 関数型プログラマはプログラムを木だと思ってるらしい gauche.nightで出た話題だけど、関数型プログラマはプログラムを木だと思ってるらしい。 (car (string-split (string-reverse (string-upcase str)) "\n")) うん、これは木だ。 head $ lines $ reverse $ upcase str Haskellだと $ があるから見た目はネストしてないけど、実際には関数に関数の返り値を渡している。 そう、関数型プログラマは関数呼び出しの中に関数を書くことに抵抗がない。でもC言語とかだとさ、関数呼び出しの中に関数って書かないじゃん、普通。すごく短いやつを除けば、だいたい一旦変数に代入するでしょ。 そのへんの違いが関数型言語を学
Win32 Fiber カッコワルイ - NyaRuRuが地球にいたころ
Win32 Fiber の局所人気 Fiber (あるいは MicroThread，Coroutine) の可能性は，特にゲームプログラマの間で高く評価されているようで，しばしば Win32 Fiber は非常に興味深くてチャレンジングな API として紹介されています．さて，言語機能としての Fiber が非常に興味深いという点はもちろん同意するところですが，一方でその語源とも言われる Win32 Fiber は一部の分野で高く評価されすぎているようにも思えます． Win32 Fiber は世間で思われているほど万能ではなく，ほとんどの既存のライブラリと互換しません(誤解のないように修正) 特にマルチコア時代の軽量スレッドとしての用途では，既存のライブラリの多くに対し互換性の問題が発生します．もしあなたが，C/C++ 言語の世界に手っ取り早く Fiber を導入するために Win32 F
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Map でプレゼン - NyaRuRuが地球にいたころ