orange @[email protected]

軟弱ものが気軽にAdaを使えるようにVisual Ada .NETとか、Visual A# (Adaの認証は諦めたやつ)とか作って欲しい＞＜；

ていうか「『優れた開発者が揃ってれば型システムなんて要らない』わけではない」を強力に推進しまくりまくりまくったのがAda＞＜

「開発者の体験なんて安全の前ではどうでもよい。スーパーマンを自称する人間がヒューマンエラーを起こし大勢の人間を殺してきた分野で使われる物を作るんだぞ」がAdaが使われる分野かも＞＜

話の発端の元日立の人は「だったらRust使えばいいじゃん」って主張してるけど、RustってなんもわからんけどたぶんCと比べたら月とすっぽんレベルに安全なんだろうけど、Ada並みの厳格さが要求される場面(兵器や原発制御や航空機制御)にも向いてるのかは謎＞＜
(謎というか、なんもわからんので向いてるのか純粋に知らない＞＜)

「用意されてる型をそのまま使うな！ ちゃんと型を宣言してから使え！」って、Adaではもっと厳格になってる発想だし＞＜

ていうか、MISRA-Cって、事実上Adaで開発すべき失敗したら人が死ぬ分野の物を、Cという安全性がゴミで未定義だらけのポンコツ言語で代用する物っぽいので、Ada方面の失敗したら人が死ぬ分野の発想を理解しないと理解不能かもって思う＞＜

[B! 増田] 「失敗」で理系が壊れた https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20230220194315

オレンジ的には、むしろ打ち上げ失敗と失敗を混同して失敗では無いって言ってる人が理系かどうかは知らんけど工学的なモノの見方が出来てないと思うけど＞＜
文科相が全然失言ではない失言をしてくれたのでとてもわかりやすくなったけど、打ち上げ失敗の文脈での失敗ではないけど、大臣の発言の"失敗は成功のもと"の文脈の「失敗」ではあり、
これは問題を明らかにする有用な知見の現れであり、なおかつその問題に真摯に対応すべき場面の明確化であり、なおかつその問題が見逃されていた点についても真摯に向き合って再発防止につとめる場面＞＜
フェイルセーフが働いたことを誇る場面ではない＞＜　『改善すべき点が明らかになったこと』について喜ぶべき場面＞＜

misskeyから流れてきたもの、普段はマストドンやPleromaのと特に違いを意識せずどこからの投稿かすら全く気にしてないけど、たまにウェブでmisskey本来の表示で見るとぐちゃぐちゃで、misskey使ってなくてよかったって思える＞＜