orange
さんがブースト
ATR、滑走路800mで離着陸できるSTOL型「ATR 42-600S」を初受注。ローンチカスタマーはエアタヒチ - トラベル Watch https://travel.watch.impress.co.jp/docs/news/1191850.html
つい最近、 #岐阜かかみがはら航空宇宙博物館 でSTOL実験機飛鳥を見たばかりだけど、世界には滑走路短くて地形的に延長も叶わないような空港が沢山あるだろうから、こういう飛行機は一定の需要があるのかも。
Elite Dangerousにもこのニュースの星系ちゃんと実装されてたので行ってみたけど、ごく普通の赤色矮星だしゲーム内でも普通に星だって感じで星だ・・・＞＜（？）
-- 史上最も「地球に似た環境の惑星」が12.5光年かなたで発見される - GIGAZINE https://gigazine.net/news/20190620-carmenes-dwarf-teagarden/
ていうか、C# にもCIL直接書けるインラインアセンブラ欲しい＞＜；（お遊び用にしか使い道無いだろうから意味無くて無理だろうけど＞＜；）
X# っていう言語だった＞＜
X# - Cosmos (operating system) - Wikipedia https://en.wikipedia.org/wiki/Cosmos_(operating_system)#X.23
これ用に開発された、C# じゃどうしても無理な部分用の「C# っぽいアセンブリ言語っぽい言語（？）」すごくおもしろかったような気がする＞＜
orange
さんがブースト
そういえば .NET の managed code と C♯ で記述された cosmos という OS もありましたね。
VMのFPGA実装はVMなのかって哲学っぽさ＞＜
orange
さんがブースト
JavaVMのFPGAの実装ってなかったっけ？
orange
さんがブースト
なんだっけ、 Java VM は VM 側の仕様にプロセスだかスレッドだかまで用意されているので Java の仕様で動く OS とハードウェアは書けるはずだとかなんとか (詳しく知らないけど)
Javaは(Delphi/C# 風の)プロパティが無かった＆演算子のオーバーロードが無いのが嫌すぎて超嫌いになった＞＜
(演算子のオーバーロードが無いと、こまめに型作って型チェックしまくりって書き方がエレガントにならない＞＜)
orange
さんがブースト
まさしく。それができるのPascalだけ。
orange
さんがブースト
あと、配列の長さを型で表現して型システムからも範囲チェックできる機能欲しいけど、それをしたい人もPascal一族系の人だけ？＞＜；
refinement typesっていうの、オレンジが欲しいやつまさにこれっぽさ感＞＜
orange
さんがブースト
っ【refinement types】
あと、配列の長さを型で表現して型システムからも範囲チェックできる機能欲しいけど、それをしたい人もPascal一族系の人だけ？＞＜；
流行りじゃないけど祖先であるPascalの部分範囲型をC# にも・・・＞＜
orange
さんがブースト
C#。節操なく流行りのパラダイムを吸収しまくってて良い。
- ＠orange_in_space
2017年 4月に登録
