タグ

2013年3月1日のブックマーク (3件)

  • PFIセミナー 2013/02/28 「プログラミング言語の今」

    Hokuriku.NET C# 勉強会「C# 式木 (Expression Tree) ~ LINQをより深く理解するために ~」 https://atnd.org/events/57085 で使用した資料に加筆 1. LINQ to Objects 復習 2. IQueryable<t> 3. 式木 (Expression Tree) 4. 式木メタ プログラミング 5. LINQ プロバイダー

    PFIセミナー 2013/02/28 「プログラミング言語の今」
  • 開発者のための WebKit (“WebKit for Developers” 日本語訳)

    このノートは、Paul Irishによる記事 “WebKit for Developers” の日語訳です。 僕ら開発者の多くにとって、WebKit はブラックボックスだ。HTML, CSS, JS, その他のアセットを投げると、WebKit は魔法でもかけたかのように、綺麗な Web ページを返してくれる。しかし、僕の同僚 Ilya Grigorik は当の WebKit はこうだと言っている。 WebKit はブラックボックスではない。ホワイトボックスなんだ。さらにそれだけではなく、オープンなホワイトボックスなんだ。 じゃあ、これから次のことについて理解していこう。 WebKit ってなに? なにが WebKit じゃないの? WebKit ベースのブラウザで WebKit はどう使われているの? なんですべての WebKit が同じじゃないの? さて、世の中に数多くの WebKi

  • 言語機能としての型、概念としての型 - プログラマーの脳みそ

    某エントリが型について再考するきっかけになったのは事実だが、個々人の思想の成否を問う気がないのでとくにリンクはしない。ここでは型とは何かという点について僕なりの思想を記しておきたい。 データ型を区別しない世界 ごくシンプルなチューリングマシンを考えよう。 チューリングの仮想機械は、 無限に長いテープ その中に格納された情報を読み書きするヘッド 機械の内部状態を記憶するメモリ で構成され、内部状態とヘッドから読み出した情報の組み合わせに応じて、次の動作を実行する。 ヘッド位置のテープに情報を書き込む 機械の内部状態を変える ヘッドを右か左に一つ移動する 上の動作を、機械は内部状態が停止状態になるまで反復して実行し続ける。 チューリングマシン この原始的な世界において「型」はない。メモリは抽象的で全てのメモリは同等に扱われ区別する必要はない。 また、チューリングマシンに程近い原始的なプログラム

    言語機能としての型、概念としての型 - プログラマーの脳みそ
    Magicant
    Magicant 2013/03/01
    いろいろ書きたいことが有ってもいろいろ時間が無かったりするし、かういふ風に自分の考へてゐること(と似たやうなこと)を他人が代弁してくれるのは良いですね