orange @[email protected]

つらい＞＜

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

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

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

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

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

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

・・・・・＞＜

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

オレンジはお金なくてTaPL読んでないです＞＜；

これの話題の時に前にも書いたけど、TaPL日本語版が出たとたんにぱったりこの話題なくなった＞＜；（というか動的型付けが優位だとこういう風に強くいう人がいなくなった＞＜）

このスラドののやつ、あちこち波及してあちこちの人がこれに言及する記事書いてた＞＜