orange @[email protected]

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問題が日常です担ってそうな気がする＞＜

「私たち三流大学なんで」 北海道の牛舎に女子大生が無断侵入、被害農家は"口蹄疫"を危惧「知らないでは済まされない」 - 弁護士ドットコム
https://www.bengo4.com/c_18/n_17399/

"広島の大学で、薬科に在籍していると説明しつつも「三流大学なんで多分言ってもわからないですよ」と大学名は答えなかったという。"

口蹄疫を知らなくても薬科の大学に入れるんだ・・・・＞＜

なんに関するものかは思い出せないけど、なんか本来二つの情報が必要なものが実はひとつで済むみたいなアイディアだった気がする＞＜；

なんの脈絡もなく思いついたので、前後の行動から推測できない＞＜；
「やっぱ歩くとなんの脈絡もなくアイディアが思いつくなぁ＞＜」って思った事は覚えてる＞＜；

昨日キッチンで手を洗ってる時になんらかのアルゴリズムを思い付いて「あとで忘れないようにtootしておこう＞＜」って思った事を突然思い出したけど、何を思いついたのか全く思い出せなくて意味無い・・・＞＜