orange @[email protected]

菜食主義って多種多彩だけど、特にそういう感じのって、ベースが「キリスト教的 人間だけ別物世界観」(人間は動物というカテゴリに含まないって発想)の影響が大きいんだった気が＞＜

昨日のこれもだけど、
https://mstdn.nere9.help/@orange_in_space/101104025018934518
https://mstdn.nere9.help/@orange_in_space/101104027230225596
オレンジは、もしフランスに住んでいたら、日本にいるよりも普通扱いになるんだろうか？＞＜；

一方で、Adaで開発された物のひとつとしてよく挙げられるのがボーイングの飛行機である777＞＜；

ていうか、Adaはフランス人がデザインしたフランスのプログラミング言語だし、エアバスは（実質）フランスの航空機メーカーだし＞＜（争いを招く見解＞＜；）

ちょっと違うけど、ボーイングとエアバスの違いにも同じ事言えるかも＞＜
ボーイングはパイロットの言うことを聞くようにコクピットを作る＞＜
エアバスは何があろうとも正しく安全に飛行できるようにコクピットを作る＞＜
（それぞれ思想であって、実際にはそれがうまく行かなくて、パイロットが思ったとおりに操縦できないとか、事故になったりとかはしてる＞＜）

型定義しまくるのめんどくさいはわかる＞＜
けど、一方で ergonomicというかhuman factor？＞＜；的には、Adaって、人間がミスしないようにそういう頭固い冗長な仕様になって、実際に失敗したら人が死ぬ分野専用のプログラミング言語の代表になったわけだし、あれかも＞＜
（快適では無いかもしれないけど、失敗が許されない場面で予め失敗を検出できる事を重視するとそうなる的な＞＜（アントニー・ホーアを筆頭に批判もあったらしいけど、実際にそういう分野で使われている（いた）という意味で十分実績があるし＞＜））

（あ＞＜； wikipediaにあった＞＜；）

（人名ド忘れ中＞＜；）

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