orange @[email protected]

ビルまではわかったけど、その中のどこかはわかんなかった・・・＞＜

ACLUの人に会いに行ったとかなのかも？＞＜

昨日？一昨日？のオイゲン氏のこの画像＞＜
https://mastodon.social/@Gargron/112168337789134039
当時オレンジはちゃんと特定せずに勘で適当に「ジャージーシティのどこか？＞＜」とか書いたけど、
この画面左半分に映り込んでるビルって、ACLUが入ってるマンハッタン南部にあるビルじゃん！？＞＜

なんで最初のバージョンが2016年のソフトウェアでunicodeじゃないのか？＞＜；

・・・・＞＜

Ada風ライブラリとの組み合わせでC# と組み合わせてOSを書けるようにした低レベル用C# みたいな言語（名前忘れた）からも引っ張ってきたら、国防総省が発注するお仕事向けとかにいい感じなんでは？＞＜

そもそもC# のオブジェクト指向的な部分ってDelphi由来でそのDelphiのその部分はわりとSimula直系っぽさがあって、AdaもSimulaに影響受けまくりな言語だから、C# の言語仕様の基本部分とコンパイラを使ってAda風のライブラリを組み合わせるの、結構いい感じなんじゃないかと＞＜

どうしようもなく危険な言語であるCにはどうにか失敗したら人が死ぬ分野で使う為にMISRA Cってあるけど、
C# で、言語的にはC# だけど、標準ライブラリを置き換えるような形で全体的にAda風にしたライブラリを土台にして、安全性が足りない部分は契約プログラミングを使う感じの、そういう分野向けのプラットフォームってあったらおもしろそうというかオレンジの好みド真ん中になりそう＞＜

逆に、Adaを使ってもダメな時はダメだった事例＞＜；

クラスターミッション - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9%E3%82%BF%E3%83%BC%E3%83%9F%E3%83%83%E3%82%B7%E3%83%A7%E3%83%B3

それはそうだけど、Pascalユーザー的にはカーニハンにPascalを馬鹿にされた恨みがあるし、1980年代辺りには考え方が違うライバルとして比較されてた＞＜；

Pascal系の失敗したら人が死ぬ分野向けの言語であるAdaの標準ライブラリは、ちゃんと型を定義してて

ada.calendar
https://www2.seas.gwu.edu/~adagroup/adalib_html/ada-html/a-calend.html

subtype Year_Number is Integer range 1901 .. 2099;
subtype Month_Number is Integer range 1 .. 12;
subtype Day_Number is Integer range 1 .. 31;
subtype Day_Duration is Duration range 0.0 .. 86_400.0;

らしい＞＜

全部intなのと月が0～11なのは、Pascal文化圏から見ると「やっぱCって馬鹿が作った言語＞＜」感＞＜

tm_ydayは、もし無かったらy2k問題が日常です担ってそうな気がする＞＜