Revenge of the Types: 型の復讐 - Qiita

本稿は Python に型アノテーションを追加するという提案が行われたときに起こった Python コミュニティの議論の後、2014年8月24日 (日) に Armin Ronacher (@mitsuhiko) 氏によって書かれた記事の翻訳です。 Revenge of the Types Revenge of the Types by Armin Ronacher : Python (REDDIT) Revenge of the Types | Hacker News Python 3.5 で導入を検討している型アノテーションについて興味がある方は以下を参考にしてください。 mypy で静的型付け Python プログラミング 私自身、型システムや他言語に明るくないため、一部未訳の部分があったり、勘違いや誤訳もあると思います。そういった誤りを見つけたら編集リクエストを送ってもらえると助か

[uasi]

Python は型アノテーションを持ち込むには向かないという話 / 一通り読んで訳が怪しいところに編集リクエスト出した

[raimon49]

＞言語としての Python は、アノテーションとうまくやるにはあまりに動的過ぎます。 / ジェネリクス、nullableやOptional型の導入されている言語との比較。re.compile()が返すオブジェクトの掘り下げやJavaScriptの評価が興味深い。

[dowhile]

個人的にはジェネリクスは機械の補助がない限り人類の理解の及ぶものでは無いと思う

[todesking]

Pythonの世界厳しい

[teramako]

日本語難しい。後でもう一度。

[teppeis]

「型システムの論理的帰結を"実感する"ためには、理解することはそれほど重要ではない」

[rokujyouhitoma]

PyPyの話が時折書かれてる。興味深い。

[h-miyako]

翻訳元は長くて読む気がしなかったのでとてもありがたいです。元記事のArminさんはFlaskを開発した人ですね

[lotz84]

“Python に型アノテーションを追加するという提案が行われたときに起こった Python コミュニティの議論” のあとに書かれた記事

[takuti]

#pyconjp #PyConJP_M

[t_f_m]

"CPython のインタープリターの世界" / "インタープリターを経由する呼び出しは動作" / "Python 言語を経由する呼び出しは失敗" / "言語とインタープリターをきれいにするための時間と労力は、得られる価値を上回る"

[you21979]

ガタっ

[vanbraam]

なるほど.明示的な型が悪いのではなく,Pythonの型の意味論に(主に実装の都合に由来する)破綻が一部存在するので,明示的な型を導入するのは適切ではないという主張か

[ny_ganow]

いつからPythonが美しいと錯覚していた？

[mizchi]

"言語を無駄のないよく定義された状態で維持するにはとてつもない困難があります。未来の言語設計者は PHP、Python や Ruby が犯した過ちを絶対に行うべきではありません

[pipehead]

/* http://lucumr.pocoo.org/2014/8/24/revenge-of-the-types/ の和訳 */ > 静的型付けが意味をなすには、型システムが良いものである必要があります。2つの型を与えられたとき、型が互いにどう関係しているか分かるような型システムがそれ