orange @[email protected]

WinFormsのやつの方が型システムをちゃんと活用してて気持ちいい＞＜

OpenFileDialog クラス (System.Windows.Forms) | Microsoft Docs https://docs.microsoft.com/ja-jp/dotnet/api/system.windows.forms.openfiledialog

なんでこうなってるの＞＜；

OpenFileDialog クラス (Microsoft.Win32) | Microsoft Docs https://docs.microsoft.com/ja-jp/dotnet/api/microsoft.win32.openfiledialog

XAMLのはそんな感じなのかも？＞＜

OpenFileDialogが、オレンジが知ってるC# のと違うんだけどなんだろうこれ？＞＜；

つらい＞＜

Ada、勝手に実装できない（テストクリアしないとAda名乗れない）ので、事実上一般人が使えるのGCCのAda機能である（？）GNATしかない・・・＞＜

安全で組み込みにも使える（というかほぼ組み込み用）な言語であるAdaが全然まったく1ミクロンも流行らないのつらい＞＜（オレンジも「好き＞＜」とは言ってるけど使ってない＞＜；）

オレンジも完全に趣味です！＞＜；

計算機として安全なという意味に限った意味での『型安全』が、学問上の（数学上の？）型安全なのかも？＞＜
って考えると、Adaとかが言う型安全ってTaPLとかに書いてあるかもしれない型安全とは意味が違う？＞＜
そうなるとそれって積極的に型を作って型検査に任せるって思想とは逆だから、つまり、らりおさんの文脈で言う所の低レベルな型の事ってなるかも？＞＜

お金なくてTaPL読めてないので、書評とかからのあれなんだけど、TaPLとかが言う型システムでありhaskeller辺りがよく言う型システムって、その文脈上の低レベルな方に極端に限ってない？＞＜
って謎がある＞＜

（ある程度ハイカラなCPUなら）プロセッサが理解するために必要な最低限の型はあることはあるよね＞＜

・・・・・＞＜

静的型付きじゃなきゃいやだよ派は大量に居るけど、型推論も悪だよ派ってほぼ見かけないの謎＞＜（オレンジは型推論嫌い＞＜；）