C++0xのautoキーワードによる型推論 - ぬいぐるみライフ？
C++0xのautoの紹介 autoキーワードを使って変数を定義すると，コンパイラが初期化値を基に変数の型を推論してくれる． int f(); auto x1 = 1; // x1 : int auto x2 = f(); // x2 : int auto x3 = 3.14; // x3 : double auto &x4 = x1; // x4 : int& const auto *x5 = &x1; // x5 : const int* イテレータのように長い名前の型もautoを使えば簡単に書ける． // before for (std::vector<int>iterator it = v.begin(), end = v.end(); it != end; ++it) { ... } // after for (auto it = v.begin(), end = v.end()
「変数に型がないということの利点について考える」の問題について考える - ぐるぐる～
id:perlcodesample さんの 変数に型がないということの利点について考える - サンプルコードによるPerl入門 から。 ううむ。 けれども、型がないということは、本当に素晴らしいことです。 型がないことによって、たくさんの面倒から解放されるからです。 冒頭のこれが、「静的型付き言語にはメリットが(ほとんど)ない」と言っているように思えてしまいます。 コメントのやり取りを見ても、ある程度そう考えているように受け取れます。 勘違いなどが多く見られたので、補足というか、反論というか、そんな感じのことを書きます。 追記： ごく一部、このエントリを「動的型付き言語と静的型付き言語を比べて、静的型付き言語の方が素晴らしい言語である」ということを言うためのものだと勘違いしている人を見かけました。 このエントリは、そこについては言及していません。 あくまで、元記事で「動的型付き言語のメリッ
型推論 - Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記
以下のサイトを参考に http://dysphoria.net/2009/06/28/hindley-milner-type-inference-in-scala/ hindley-milnerの型推論をPython版をPHPで実装してみました。 Modula2->Perl->Scala->Python->PHP という流れで移植に移植を重ねられています。 洗練されたり、悪くなったりしてると思います。 今週末はいろいろと、型推論のソースを見てました。 まだ良くわかってませんが、単相だけではなくて多相の型推論も眼中に入って来た感じで 嬉しいです。 <?php abstract class Term { function __toString() { switch (true) { case $this instanceOf Ident: return $this->name; case $t
Firefox 9、「型推論エンジン」をついに統合 - JavaScriptさらに高速化 | エンタープライズ | マイコミジャーナル
Firefox web browser - Faster, more secure & customizable Firefox 9ナイトリーに「Type Inference」がマージされたことが報告された。説明によればJavaScriptの実行においてすでに優れた性能向上が確認されており、Krakenで1.44倍の高速化、V8バージョン6で1.3倍の高速化が実現したという。Firefox 9はFirefox史上もっともJavaScript処理が高速なブラウザになりそうだ。マージが進めばFirefox 8でこの機能の恩恵を受けられる可能性もある。6週間というリリーススケジュールの通りに作業が進めば、Firefox 9は12月20日に、Firefox 8は11月8日に登場だ。 「Type Inference」はBrian Hackett氏が開発した型推論エンジン。JavaScriptプログラ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://sixgill.org/ti-draft.pdf
