orange @[email protected]

Futuraうらやましい・・・＞＜

x舞いロット oパイロット＞＜；

一応空域は立体的なので、その立体的であるその空域があいてるのなら一応飛べる＞＜ でも勝手に飛ぶって事は勝手に飛ぶわけで、勝手に飛ぶ飛行機と他の飛行機が衝突しない事も舞いロットが面倒を見なきゃいけなくなるけど、IFRってそのお仕事の大部分を管制官がする＞＜
だからこそ、とんでもない速度で飛ぶでっかい飛行機がとんでもない数飛び交っててもなんとかなってるわけで＞＜

IFRなフライト（旅客機の大部分ののフライト）、最初から最後まで許可を受けた上で、最初から最後まで引き継いでいくからこその安全みたいな面があるし、飛ばしたとしてその後どうすんだになる＞＜（もちろん、例えば突然遭難機の面倒を見なきゃいけなくなるとかそういう非常事態な事はあるけど＞＜）

飛行機、A320らしいしなおさらかも＞＜；（ターボプロップ機ならいいのかというとそうでもないけどそうでもなくもない気がしなくもない＞＜（？））

Air traffic controller hailed as a hero - CNN https://edition.cnn.com/2018/09/30/asia/indonesia-earthquake-controller-intl/index.html

空に逃げるという意味では、IFRで飛ぶはずの飛行機にとりあえずVFRで飛べって言う事になるし、それって多くの場合かなり危険かも＞＜

状況完全にはわからないけどかなり難しい＞＜
離陸許可って地上だけの問題じゃなく空があいているか？の方が重要＞＜

Adaの、例えば型を書くのめんどくさがって型推論に頼るような人が発狂しそうな型システム（？）、失敗すると人が死ぬ分野で失敗しないようにプログラミングするという方面で実績があるし「でもAdaってもう古いよね・・・。人材足りないし、予算的に有利なC++でお茶を濁そう」ってした結果、わけがわからない制限つきC++規約みたいな事になってアレになった（？）って考えると、やっぱAdaすばらしい・・・＞＜

参考＞＜
整数で学ぶAdaの型 http://panathenaia.halfmoon.jp/alang/ada/integer-types.html

なのでTaPL日本語版、前はすごく読みたかったけど、Adaのような発想が好きな人向けには書かれてないんじゃないのかな？＞＜；って思って、本の予算上の優先度が微妙に下がった＞＜；

ていうかそっち方面の数学好きな人が好む言語の型って、計算機的な意味に限定された型であって（正確な意味での（？））型安全であって、Adaとかが目指す、データ全部型で管理して型作りまくって全部明示的に型でどうにかするんだって発想じゃないっぽいのがアレかも・・・＞＜（なので「全然型ありきじゃないじゃん・・・＞＜」って感じる＞＜）

リテラルにも全て明示的に型が必要な言語とかあったらたぶんオレンジ好み＞＜

(これを正確に説明するの難しいけど、例えば基本型への代入でも、作った型(？)への明示的型変換を伴うリテラルの代入も、同じように書くみたいな環境があったらって＞＜(なので正確にはリテラルにリテラル用の暗黙の型が存在するけど、そのまま使わないみたいな環境＞＜)
なので例えば、ユーザー定義の距離型にメートル型として暗黙の浮動小数点型のリテラルを代入する　みたいな場面がたくさん現れるような言語に＞＜(型作る時に、ほぼ必ず演算子のオーバーロードも定義するみたいな感じになるはず＞＜) 説明長すぎた＞＜；)

あと、型推論が嫌なだけじゃなく、基本型？を多用するのもあんまり好きじゃない(けど、しかたなく多用してる＞＜；)ので、それを是とする主に数学好きが好む系の実際のコード、なんかキモい＞＜；

C# でvar varされてるコード弄るとき、wwwwの草むしりのAAみたいな顔しながら型書いてってる＞＜(ショートカットキーひとつで置き換わるようになってほしい・・・＞＜)

(例えばオレンジの場合は、ザクさんに発見されて(？)、その伝で、えじょさんと会ったから今こんな感じだし、それとは別にゲーム(テラリア)で広がった繋がりもあるし＞＜ あと、宇宙開発関連から電大方面に広がった繋がりとか＞＜)