orange
さんがブースト
閉鎖された原因って山火事なの？
他も話題と被ったから探すのお手伝いできなかったけど、redditの投稿によると2003年の山火事で焼けちゃったらしい？＞＜
orange
さんがブースト
Maps | Rally of Canberra 2002 [APRC] | Rally-Maps.com https://www.rally-maps.com/Rally-of-Canberra-2002
Mineshaftあった！
orange
さんがブースト
"Huge Crash on Mineshaft Car 24 Gotch/McCarthy - ECB ARC National Capital Rally" を YouTube で見る https://youtu.be/UQfvl2XJOig
Minecraftとはほぼ崖みたいな勾配の下り坂（というかジャンプ台）があることで有名なオーストラリアのラリーコース
RBRにも収録されている
orange
さんがブースト
RBRに収録されてるMineshaftってキャンベラのどこなんだ？
コース自体はもう閉鎖されたらしいけど、いつかあのジャンプ台を見に行きたい
orange
さんがブースト
だいたい良識と知識と能力があるなら、しょーもない規約を押し付けられずとも自発的に規制を用意できるはずなので……
orange
さんがブースト
そもそも安全と開発体験はトレードオフではないだろというのが Rust 使えよ系の話の本質的な主張だったりするわけで、そこで Rust は標準化がどうのとか実装の認証がどうのとか LLVM がどうのとかの話をするのは実務の上では懸念ではあるけど本題ではない
軟弱ものが気軽にAdaを使えるようにVisual Ada .NETとか、Visual A# (Adaの認証は諦めたやつ)とか作って欲しい＞＜；
ていうか「『優れた開発者が揃ってれば型システムなんて要らない』わけではない」を強力に推進しまくりまくりまくったのがAda＞＜
orange
さんがブースト
「開発者の体験なんて安全の前ではどうでもよい。スーパーマンを自称する人間がヒューマンエラーを起こし大勢の人間を殺してきた分野で使われる物を作るんだぞ」がAdaが使われる分野かも＞＜
orange
さんがブースト
語弊を恐れず言うなら、「危険なゴミを書かせないためなら良質なコードまで巻き込んででも弾く」という覚悟があるかという話よね。そりゃ安全にはなるかもしれんが体験は当然悪くなる
話の発端の元日立の人は「だったらRust使えばいいじゃん」って主張してるけど、RustってなんもわからんけどたぶんCと比べたら月とすっぽんレベルに安全なんだろうけど、Ada並みの厳格さが要求される場面(兵器や原発制御や航空機制御)にも向いてるのかは謎＞＜
(謎というか、なんもわからんので向いてるのか純粋に知らない＞＜)
「用意されてる型をそのまま使うな！ ちゃんと型を宣言してから使え！」って、Adaではもっと厳格になってる発想だし＞＜
ていうか、MISRA-Cって、事実上Adaで開発すべき失敗したら人が死ぬ分野の物を、Cという安全性がゴミで未定義だらけのポンコツ言語で代用する物っぽいので、Ada方面の失敗したら人が死ぬ分野の発想を理解しないと理解不能かもって思う＞＜
orange
さんがブースト
https://rules.sonarsource.com/c/RSPEC-1314
> Octal constants (other than zero) and
0から始まる8進数リテラルを禁止すると0も該当してしまうから other than zero とされているの、クソしょーもなくて好き
orange
さんがブースト
@zetamatta
あー。それって（今は違うでしょうけど） CPU やコンパイラの仕様によってサイズが変わるからなんですよ。4ビットマイコンだと char が4ビットだったりするしw
orange
さんがブースト
個人的所感：
・MISRA-C って、もっと酷いものを想像したので、一部でも見たところ思ったよりもマシだったし、妥当なものも含まれていた。
・自分ならば耐えられる基準だが、かといって彼を批判する気にはならない。そういう美意識・とがったところは尊重すべきもので、我慢を強いるのは彼の長所をころすことにつながるから。だから彼の判断は彼なりにまっとうだと考える
（おれだって耐えられないソースはあるからなぁ。そういう苦痛は苦痛だぞ：進次郎構文）
orange
さんがブースト
>項目No.13「char，int，long，floatおよびdouble という基本型は使用しないこと．代わりに個々のコンパイラに対して特定長の同等物をtypedefしたうえでコードではこれらが使用されるべきである」
これなんかはえ"ーという感じではあるが、他はよいものもある
https://www.cqpub.co.jp/dwm/contents/0104/dwm010400331.pdf
- ＠orange_in_space
2017年 4月に登録
