orange @[email protected]

これ、今のままだと例えば距離型が振る舞いの大部分が基本型の実数型だとしても、演算子全部オーバーロード書かないといけない・・・＞＜

そういうのプラス、演算子のオーバーロードも今より気軽に書けるように、なんかする（？）と、例えば時間型と距離型を掛けると速度型が返ってくるみたいなのも今よりも簡潔に書けそう？＞＜

"Ninnzuu" "Ninzuu" ・・・・・・＞＜；

class Ninnzuu : Int64;//人数型＞＜；
//この場合は演算子のオーバーロードとか色々抜きだけど、普通にオーバーロードとかも出来るとする＞＜
//・・・って型を定義して

Ninzuu takasikunn = 42;//人数型＞＜（たかしくんが42人（？））
Int64 nankaNoKazu = 10;//64bit整数型
//って宣言して

//エラー！＞＜
Int64 nanka_kekka1 = takasikunn * nankaNoKazu;

//明示的にキャストしてるのでおｋ＞＜
Int64 nanka_kekka2 = (Int64)takasikunn * nankaNoKazu;

// 実際のC# だとこのままだややこしい事になるかもだけどあくまでそれっぽい例示＞＜；

基本型な数値型を継承して、そのままだと演算子も全て継承して（特に新たな定義が必要な演算子だけオーバーロードする（この場合だとオーバーライド？＞＜））、でも基本型とは暗黙の型変換は無効化されるみたいな、そんな形の機能と言うか糖衣構文と言うかなんかそういうのあったら、Adaみたいにちょこまか型作る人増えると思うんだけど無理なのかな・・・＞＜

延長で考えると（？）、静的型システムとかそれをより活用したIDEとかって、"理屈はさておき手を動かし"た時に、より正しい方向に導いてくれる（教えてくれる）し、正しくない物を排除してくれるので、むしろそういう環境の方が習うより慣れろでも正しく学べそう？＞＜
（型が軽視されてる環境だと、そういうのが過ったまま先に進んじゃうよね＞＜）

わりとハイカラで21世紀的な静的型システムな言語、オレンジ（Adaとかが好き）から見ると、データ型の型システムを軽視してるようにしか思えない傾向わりと謎＞＜
（なんで匿名だったり基本型を多用しちゃうのか＞＜ その方が楽なのはわかるけど＞＜；（（例えばタプル使わないで、いちいち（＞＜；）型新しく作るほうがより安全じゃん？＞＜；（「そのために複雑化するから安全じゃないじゃん？」って発想もわからなくも無いけど本質的に複雑な物をチェックをスルーさせてるだけじゃん？＞＜；って思うんだけど＞＜；））））

AdaとかPascalとか方面の頭固い言語（頭固すぎてカーニハンがブチキレて「Cの方が優れてる！」ってPascalをdisってたし＞＜；）に触れるとわりと違うと思うし、実際触れたのでオレンジはこうなった＞＜；（元から頑固だからぴったり合ったのかもしれないけど＞＜）

"プロぐらいミング"・・・・・＞＜；