via Twitterオタが非オタの彼女にTwitter世界を軽く紹介するための10ユーザ まあ、どのくらいの数のプログラミング言語オタがそういう彼女をゲットできるかは別にして、 「オタではまったくないんだが、しかし自分のオタ趣味を肯定的に黙認してくれて、 その上で全く知らないプログラミング言語の世界とはなんなのか、ちょっとだけ好奇心持ってる」 ような、ヲタの都合のいい妄想の中に出てきそうな彼女に、プログラミング言語のことを紹介するために 習得させるべき10言語を選んでみたいのだけれど。 （要は「脱オタクファッションガイド」の正反対版だな。彼女にプログラミングを布教するのではなく 相互のコミュニケーションの入口として） あくまで「入口」なので、アーキテクチャに過度に依存するアセンブラ等の低級言語は避けたい。 あと、いくら基礎といってもBrainf*ckやUnlambdaのような難しすぎるも

2008年02月04日07:00 カテゴリLightweight Languages λ Calculus - まずは遅延評価から うーん、まずY Combinatorというのはおじさんたちが悪かったかな。ギター習いたてでいきなりFの音を出すようなもんだから。 Haskell のリストと遅延評価が少し分かった - IT戦記 Y コンビネータって何？ - IT戦記 まずは、遅延評価についてきちんとおさらいしておこう。 慌てるな、ループは急に止まらない まずは、以下の式を考えてみる。 (function(a, b, c){ return a ? b : c; })(true, 1, 1+1); 実行してみると、1となるはずだ。しかしここで重要なのはこのことじゃない。後ろの1+1が実行されるかだ。このことはどうやって確認したらよいだろうか。以下のようにしてみればいいはずだ。 var ELSE =

大人のためのブラックボックス読解講座――クロージャとオブジェクトの微妙な関係（その2）：プログラミング言語の進化を追え（1/3 ページ） 前回に引き続き、Scheme言語の処理系、Gaucheを開発している川合史朗氏が、クロージャの機能を検証し、関数型言語とオブジェクト指向言語の関係について解説していきます。今回は、クロージャとオブジェクトのより深淵を探求します。 抽象化ツールとしてのクロージャ C++的なオブジェクトの世界では、オブジェクトの実体とは「ひとかたまりの構造体としてメモリ上に置かれたインスタンス変数の値」にすぎません。オブジェクトのポインタを取れば、それは事実上、その構造体へのポインタを持っていることになります。クロージャを「関数」中心で見ていると、その実体は「オブジェクト」の実体とは異質なもののように思えるでしょう。 確かにクロージャのナイーブな「実装」は、関数ポインタと環

「渋滞の向こう側 - 関数型言語の学び方」について、題名とは裏腹に「高速道路後の大渋滞」っぽいものを強く感じてしまったので、discourageではなくencourageするつもりで、敢えてツッコミを入れます（一部はコメントにも書きましたが、すべて書くと長大になりそうなので）。 単に関数型言語のプログラムが書ければよい、というのであればTAPLなど不要なのは事実です。あくまで、プログラミングや実装技法は（たとえばインターネット高速道路のおかげで）ほぼわかったとして、もし先に進みたいなら、さらに理解するための教養です。CプログラマがCPUアーキテクチャの勉強をするようなものかもしれません。 「インタプリタを作りながら…」「言語処理系をつくる人には参考になる」あたりは、限りなく間違いに近いと思います。型チェッカだけならともかく、TAPLのようなパターンマッチと代入によるsmall-step r

されてしまったらしい。遊びで作ったもののほうが本来の研究より（ごく一部で）ヒットするという罠。 しました。いや、すべて壊れたわけではないのですが、メイン環境であるVMwareの仮想ディスクのファイルがI/Oエラーで読めなくなったので、仕事ができません。中のファイルのバックアップはあるのですが、とりあえずノートPCから仮想ディスクをコピーして復旧…できるかなあ。;_; 追伸：復旧成功。ルートとホームをわけていて、壊れたのはルートだけだったので楽でした。 たまに混同されているようですが、両者は直交な概念です。「単相型の型推論」も「型推論のない多相型」も普通に可能です。何となく思い出したので書いておく。 ついでに追加。 型推論：変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。MLとかHaskellとか。 型検査：変数や式の型が合っていることを言語処理系が（普通は