プログラミングにおける最も長く続く分裂の一つが、静的型付けと動的型付けの違いです。私はキャリアを通じて両陣営から何百万もの議論を聞いてきましたが、その中で誰かを納得させるものはほとんど見られませんでした。信仰の問題では、理性を装った合理化はめったに通用しません。騎手は常に象の道を正当化する。 とはいえ、立場を変えた人がいないわけではありません。実際、そうした人たちはたいてい一番大きな合理化を叫びます。しばしば、長年雑食だった人が突然ヴィーガンになったり、伝統的な銀行家が暗号通貨で幸運に乗ったような魅力を伴っていました。信仰が短ければ短いほど、炎はより輝きます。 個人的には、私は恥ずかしげもなくダイナミックタイピングのタイプです。だからこそ、私はルビーをとても愛しています。動的型付けを最大限に活用し、詩的な構文を生み出して美しいコードを生み出しています。私にとって、明確で静的なタイプ入力を持つRubyは、サラダにアイスクリームを一スクープ入れたようなものです。ただ、両者は相性が合いません。 また、過去にダイナミックタイピングのために福音派の立場を受け入れたことも告白します。それは「一つの真の命題」の苦しみに苦しむほどです。動的タイピングへの熱意の欠如を、教育や経験、あるいは能力の欠如の反映と見なしています。 なんて愚かなことでしょう。 内向的な人に、もう少しリラックスすればパーティーが本当に好きだと説得しようとするようなものです。実際、混雑した部屋で何時間も叫びながらコミュニケーションを取るのは本当に楽しいです。なぜなら、その雰囲気が最高だからです! 最近では、多様性の素晴らしさを改めて理解するようになりました。もし私たち全員が同じパラダイムに縛られるなら、プログラミングはひどい試みになるでしょう。人間の本性はあまりにも多様で、その創造性にそのような制約を受け入れることはできない。 もしすべての視覚芸術がキュビスムのスタイルで描かれなければならなかったらどうなるか想像できますか?それともリアリズム?あるいはヘミングウェイの短く直接的なスタイルで書かれたすべての小説?すぐに退屈なものになるだろう! それはプログラミングの魔法を台無しにしてしまう。この芸術と工学の独特な融合。 しかし、これらの結論に至るまでに時間がかかりました。私は回復中の解決主義者です。だから、誰かがどこでもJavaScriptをTypeScriptより好むかもしれないと信じられない気持ちで胸を締める人を見ると、私は微笑み、鏡越しに彼らの熱意を認識できた日々を思い出します。 とはいえ、プログラミングのアプローチがすべて同じで異なる考え方に帰着するわけではありません。この相対主義には限界があります。しかし、動的型と静的型の区別はその枠内で確実に存在します。関数型プログラミングとオブジェクト指向プログラミングの違いも同様です。これら両方の軸のポールは、何十年にもわたり優れたソフトウェアを提供してきました(そしてひどいものも!)。 今では、人々はどちらの端からも同じように自己表現する能力を得ています。しかし、このような両利きの性質は稀であり、両陣営が相手が合理的な立場を取るかもしれないと頻繁に信じられない様子からも明らかです。 私は両利きではありません。私は静的なタイピングが好きではなく、オブジェクトが心の目を動かします。しかし、他の人たちも私と同じくらい自分の創造性を照らし出し、関数型の制約や明示的な型を用いて示していることを評価するようになりました。 TypeヒントでRubyを汚したり、すべてのフロントエンドコードをTypeScriptで書く必要がなければ、Goが大好きな人やJavaScriptが苦手な人たちと喜んで共存できます。違い万歳!