これ用に開発された、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
さんがブースト
まぁサーバーとかいじらないなら一般的に使うのはターミナルなんかな
orange
さんがブースト
いやまあ、普通にコンソールとターミナルの違いは検索すればでてきますね
orange
さんがブースト
たぶんいろんな人が追記していく形でできているスライドのせいで「ターミナル」「コンソール」「コマンドプロンプト」が乱立していてキレそう
これ例えば「大変だ！ GPLには自由に反する悪を排除する機能に不足がある！新たにライセンスを作らなければ！」って「ただし、自由に反する悪事には使用できない」みたいな項を追加したライセンスを作ると、GPLとの非互換が発生する＞＜；
https://mstdn.nere9.help/@orange_in_space/102308521640756227
orange
さんがブースト
そういえば、GPLにはプログラムを実行する権利が明示されている（GPLv3の2. Basic Permissions.を参照）のですが、それについて先日紹介したGPLv3逐条解説書に「［36］わが国においては、プログラムを実行する行為自体には著作権が及ばないと解されている（判例・通説）。しかし、メモリ上への一時的な複製も著作権者の許諾が必要な「複製」に該当するとされている国もある」という注釈が付いています
- ＠orange_in_space
2017年 4月に登録
