型推論，可読性，<del datetime="2007-11-25T13:57:21+09:00">俺様の脳の互換性</del>，既存文法の速読テクニック - NyaRuRuが地球にいたころ
(追記)おわび (追記煽りっぽくなっててごめんなさい) 「上から目線」ってのは仰るとおり．気分を害された方，申し訳ありませんでした． 原文ここから C# の var の議論を見ていると二言目には「可読性」ってのが出てきますけが，「可読性」ってそんなに以心伝心できるもんですかね？ なんとなく「俺様の脳の互換性」と書いた方が適切に見える話もちらほら．既存の速読テクニックが互換しなくなるのが嫌だという話なのかも．C# 3.0 は Windows Vista ですかいな． その1 以下の 3 パターンのうち，A2 と A3 では型が明記されていません． //A1 - 型を明記した場合 string msg = GetMessage(); Console.WriteLine( msg ); //A2 - 型を明記しない場合1 var msg = GetMessage(); Console.Write
Matzにっき(2007-10-15) Chris's Wiki :: blog/programming/LanguageNiches
<< 2007/10/ 1 1. [Ruby] ロゴコンテスト締め切り 2. [Ruby] Rubyで自治体の業務システム構築、松江で実証実験 − ＠IT 3. On Off and Beyond: 何かを好きになるために努力すること 4. U-20プロコン表彰式 5. 経済産業大臣表彰 2 1. [言語] プログラミング言語「ドリトル」 - Dolittle 2. [Ruby] 【CEATEC】東芝がCell上でRubyを使った家電向けユーザー・インタフェースをデモ：ITpro 3 1. [言語] The Transterpreter 2. 5時間以下の睡眠続け死亡率1.7倍に 7時間寝よう｜Ameba News 3. This is making me angry 4. [Ruby] Ruby on Rails Development: Justify Your Choice of R
どうしてOCamlのオブジェクトにはcoersionが必要だったのか - soutaroブログ
let x = object method f x = x+1 method g x = x-1 end;; let y = object method f x = x*1 method h x = x/2 end;; List.map (fun x -> x#f 3) [x; y];; 上のようなプログラムは、絶対にエラーが発生しないにもかかわらず、肩推論で弾かれる。これを通るようにするには、明示的なcoersionを入れてやる必要がある。 List.map (fun x -> x#f 3) [(x :> < f : int -> int >); (y :> < f : int -> int >)];; これって、めんどくさいような気がしていたのだ。[x; y]のようなリストに対して、< f : int -> int >のように共通部分のみを推論してやれれば、便利だと思う。この話は、一度
ホワット・ア・ワンダフル・ワールド Featherweight Ruby とか
なんだか意外でした．アカデミズムにおける Ruby の価値は （検閲） だと思っておりましたので． sumiiの日記 Rubyに名前つきオプション引数を導入？ *1 勉強したいプログラミング言語ナンバー１です しかし，考え直して見れば，健全かつ完全に型付けできるギリギリの大きさの Ruby のサブセット，とか，sumii-san の Online Type-Directed Partial Evaluation for Dynamically-Typed Languages の対象 （リンク先はちゃんと読んでないので，タイトルからの憶測ですが…） として見ると，なかなか魅力的な素材なのかもしれないなぁ，とも思った．イントロダクションはもちろん 「近年 Ruby は産業界における重要性が高まりつつあり〜」 とか．これによって安全性と処理効率が高まるし，フラフラといつまでも定まらない Ruby
数理科学的バグ撲滅方法論のすすめ 第4回 関数型言語とオブジェクト指向，およびOCamlの"O"について
関数型言語とオブジェクト指向は相容れない，という説をよく聞く。たしかに「オブジェクトは状態を持つ」「関数型プログラミングでは，できるだけ破壊的代入を行わない」とすれば，二つの概念は矛盾しているようにも思われる。また，技術的観点以外にも，「とかくシンプルさを好む多くの関数型言語プログラマが，何かと物事を複雑にする（と思われている）オブジェクト指向を嫌っている」という面があるかもしれない。 しかし，個人の好き嫌いはさておき，実際問題として，関数型言語とオブジェクト指向は大いに関係がある。むしろ，基礎理論については，ほとんど同じコミュニティの人たちが取り組んでいる，と言ってもいい。例えば，以下のような研究が，1980年代から現在に至るまで行われている。 関数型言語のモデルであるλ計算という体系において，オブジェクトを表現する研究（参考リンクなど） λ計算にならい，（プロトタイプベースの）オブジェ
OBB vs AABB - Radium Software Development
This domain may be for sale!
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Type inference for Python | Lambda the Ultimate
http://yk.i.hosei.ac.jp/seminar/appel/poly/poly.html