ダックタイピングの手引き？ - Rubyでの静的型付けの心理学 - 読み書きプログラミング

「Dropboxは全部Pythonで信頼性の高いソフトウェアを作った」の中で「人生を変えた記事」として"Subject: How to duck type? - the psychology of static typing in Ruby"というメーリングリストへの投稿記事が紹介されていましたので、訳してみようかと思いました。 Tim Batesさんはエディンバラ大学の心理学の教授です。 Subject: How to duck type? - the psychology of static typing in Ruby From: Tim Bates Date: Mon, 17 May 2004 22:52:22 +0900やあ、みんな。 #ruby-langでの議論を追ってみて、ダックタイピングに到達する手引きについて提案がある。以下はこのテーマに関する私の博士論文だ。:Pみんなが

[todesking]

過激派だ……。実際に動かしてみるまで設計者の意図が読み取れないのっておかしいだろって思うんだけど。

[camlspotter]

訳はすばらしいが、元の文章が全く意味がわかりません。静的型システムを研究していた人としていろいろ補完して読んでみようとしましたが優しさ成分を使い果たし疲れてやめた。トンデモ文章なので読まないほうがよい

[devorgachem]

好意的に解釈すれば「Rubyのような言語では静的検査の習わしは忘れてこう書く方がいい」で、わからなくはない。でも、テストって非効率じゃない？ドキュメント腐らない？みたいにお気持ちが発生して静的型の世界に帰

[mas-higa]

4番目の案を昔から採用しているが、テストで簡単に…とは行かない。型のある言語でも null があれば簡単に死ねるんで、どっちもどっちだとは思う。

[nilab]

ダックタイピングの手引き？ - Rubyでの静的型付けの心理学 - 読み書きプログラミング ブログ

[taka222]

”ダックタイピングの手引き？ - Rubyでの静的型付けの心理学 - 読み書きプログラミング ブログ”

[efcl]

ダックタイピング

[oxoofo]

<- https://twitter.com/azu_re/status/382346088377634816 , https://twitter.com/yuroyoro/status/382381940222861312

[qtamaki]

ていうか、実行時に型チェックするのを「静的型付け」とするのはどうかと思う

[keyesberry]

これは素晴らしい訳

[katzchang]

"Subject: How to duck type? - the psychology of static typing in Ruby"の和訳。引数のチェックなんてしなくていいいのではというご提案。

[nemoba]

事前条件を呼び出す側が満たすことで、呼ばれる側は利益を得るという、契約による設計とかその辺の考えに近いのか。契約の証左としてテストがあるよと。