orange @[email protected]

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

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

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

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

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

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

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

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

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

あと、そういうネット上の人間関係(人材関係？)みたいなの、ネトゲでもそうだけどコミュニケーション能力がすごいハブみたいな人に発見(？)されるかどうかで、広がるかどうかがかなり違うし、そういう交流的なタイプの人からさらにそういうタイプの人にっていうのがあれだし、そうなった人って有利だよね＞＜

オンラインにある程度知り合いがいる人ってそれだけでもかなりアドバンテージを持ってるって事を自覚すべきなのかもって思ってきた＞＜
(そういう面って、例えばネトゲをするとかでも発生するし、ネトゲしてるってだけでも(フレ0人じゃ無ければ＞＜；)、ネット上に人的取っ掛かりが無い人からかなり見たら有利かも＞＜)

テーマインスタンス、あるジャンルの物事について主張・表現の公表をしたい(例えば、音楽が趣味で作曲について話したい)けどオンラインに知り合いが居ないって場合にどうすんだ？って考えると、その面でもわりと重要かもって気がしてる＞＜
(音楽の場合は音楽用の交流ウェブサービスすごく多いのであくまで例えだけど)

githubで直接少額投げ銭出来たらいいのに＞＜

ていうか、鉄オタの99％くらいは、マニ車って単語見た瞬間には先に荷物車を脳内に思い浮かべると思う＞＜；

goはオレンジが使うの発想が違いすぎて無理＞＜；

ていうか、今作ってる高精度音声プレイヤーと、あとWASAPIループバック計測ソフトウェア群、GUIちゃんとつくったら対価もらっていいもののような気がしなくもないけど、受け取り方がわからない・・・・＞＜