Conversation

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