【要約】`&&` は「かつ」ではない [Qiita_Trend] | Summary by TechDistill
> Source: Qiita_Trend
Execute Primary Source
// Problem
プログラマが、言語によって異なる論理演算子の返り値に直面し、予期せぬ挙動に直面する問題がある。具体的には以下の事象が発生する。
- ・C/Java系では
true/falseや1/0を返す。 - ・Lisp/JS系では
42や"foo"などの値そのものを返す。
falsy 値によるバグを招く。// Approach
著者が、一次資料を用いて2つの設計系譜の歴史を調査し、差異の根本原因を特定するアプローチをとった。調査は以下のステップで行われた。
- ・McCarthyによる短絡評価の起源を辿る。
- ・Lisp系が「述語」から「値返し」へ進化した過程を分析する。
- ・C系が「文脈依存演算子」から「明示的演算子」へ移行した経緯を追う。
- ・JavaScriptがCの構文とLispの意味論を融合させた背景を解明する。
// Result
調査の結果、返り値の仕様を決定付ける要因は、以下の2点に集約されることが判明した。
- ・静的型付けか動的型付けか（union型の有無）。
- ・「偽」が専用型か、値の部分集合か。
?? の導入など、仕様の進化の文脈も明らかになった。Senior Engineer Insight
> 言語の挙動を歴史的背景から理解することは、実戦でのバグ回避に直結する。特にJavaScriptの
falsy による誤作動は、仕様の理解不足が原因だ。|| の挙動を補完する ?? の導入経緯を知ることで、より適切な演算子の選択が可能になる。型システムの制約が設計に与える影響を理解することは、技術選定の眼を養う上で極めて重要である。