ちょっと違うけど、ボーイングとエアバスの違いにも同じ事言えるかも><
ボーイングはパイロットの言うことを聞くようにコクピットを作る><
エアバスは何があろうとも正しく安全に飛行できるようにコクピットを作る><
(それぞれ思想であって、実際にはそれがうまく行かなくて、パイロットが思ったとおりに操縦できないとか、事故になったりとかはしてる><)
INTRODUCTIONをグーグル翻訳で斜め読みしただけだからよくわかんないけど(><;)、Ada的発想で言うなら基本型(? 組み込み型?)であるString型そのまま使うんじゃなく型作れ!><ってなるんでは?><(それじゃだめなの?><)
(PDF) Detecting argument selection defects
ANDREW RICE, University of Cambridge, England and Google Inc., USA
EDWARD AFTANDILIAN, CIERA JASPAN, and EMILY JOHNSTON, Google Inc., USA
MICHAEL PRADEL, TU Darmstadt, Germany
YULISSA ARROYO-PAREDES, Barnard College of Columbia University, USA
https://www.researchgate.net/publication/320388080_Detecting_argument_selection_defects
Windows7のマルチタッチジェスチャを使う - backyard of 伊勢的新常識 https://iseebi.hatenablog.com/entry/20090125/p1