たもりくらぶまじ？＞＜；
何のために作ってるかというと、
5bitの符号あり整数のxと、yと、3bitの符号無し整数のa、と51bitの符号あり整数のbで64bitに詰められてるバイナリ形式
みたいなややこしいのの読み書きするやつを手っ取り早く書く時に手抜きするために使うやつ＞＜
一応動く所までできた気がするからgistに貼った＞＜
一応ちゃんと動く気がする、2～63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型っぽいもの＞＜ - https://gist.github.com/orange-in-space/e0e824e5ae79d3196df9b20a174d5c9a
@DesuMasu ロシア人から見てバイデンは敵であって当然なので、そういう見えかたになるのもわかる＞＜
でも、バイデンの過去のいくつかの失言や失敗、バイデンのいくつかの境遇から考えると、純粋で素朴な考えからの謝罪だろうとオレンジは思うかも＞＜
彼の境遇を考えると、彼は大きな面積を持つ国の大統領としては異例な、とても素朴でかなり優しい人間だと思う＞＜
まさに、他に候補者が居なかったから大統領になれたような人物だ＞＜
そして、その優しさが誤った判断を導く事もあり、だからこその失言の多さに繋がっていると、オレンジは考えるかも＞＜
2～63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型作れたっぽい＞＜
@DesuMasu 真珠湾攻撃以前からのアジア人差別も日本のそこそこ多くの人が知っていて、NHKのテレビドラマでも描かれたことがある＞＜
でも、細かい所まで知ろうとする日本人は、一部の歴史好きに限られてるかも＞＜
アメリカ人が人種差別的であったのは、先住民に対する虐殺や、黒人差別問題などからも明らかであると思う＞＜
一方で、アメリカ人による日本人差別は、当時の日本人街が、習慣も言葉も全て日本になっていて、その事に当時のアメリカ人が感じた恐怖もあると言われている＞＜
人種差別は絶対に許してはいけないが、その恐怖には少しだけ同情出来る＞＜；
差別に関してはアメリカ人が悪いが、日系人移民も閉鎖的にならずに他の人種との交流を大切にしていたら、少し状況が変わっていたかもしれないと思う＞＜
そもそもCIL(MSIL)にもx86にもべき乗って命令無いっぽい・・・？＞＜；（知らんかった＞＜；（てっきり用意されてて「それ使った方が速くなるんじゃないの？＞＜；」って思ってた＞＜；））
なんで、C# って整数のべき乗が標準で無いの？＞＜（C++ も無いっぽい？＞＜）
（整数のべき乗なんて2^x以外あんまり使わないから？＞＜；）
@DesuMasu これは第二次世界大戦の時にアメリカが行った事に関するニュースで、バイデンが今のタイミングで謝罪するのは、複数の理由があると思うけど、現在のロシア情勢も理由のひとつであると思う＞＜
簡単に言うと、アメリカでロシア人を差別してはいけないというメッセージでもあるかも＞＜
第二次世界大戦の時には日系人が差別され、ニューヨークへのテロ攻撃の時には中東にルーツを持つ人々が差別されていた＞＜
それを繰り返してはいけないというメッセージでもあると思う＞＜
こういう時どうするんだろと思ってググッた機能が新しいバージョンにしかなかった・・・＞＜
checked 演算子オーバーロード - C# 11.0 の新機能 - C# によるプログラミング入門 | ++C++; // 未確認飛行 C - https://ufcpp.net/study/csharp/cheatsheet/ap_ver11/#checked-operator-overload
orange
さんがブースト
まあ本当に言語側でガッツリやってしまうと、まず Liquid Haskell とか Agda みたいなの書ける人本当に一握りだろうし、書き手を確保できず衰退してオワだろうなという雑な感想はある
orange
さんがブースト
まあ篩型 (refinement types) をサポートせよという話であればそれはそれで動機としては理解できるが、あれコンパイル通すのクソ大変だし本質的でない補足が無限に必要になるかもしれないし、場合によっちゃ型検査が多項式時間で決定不能になるリスクとかも受け入れる必要ががが
orange
さんがブースト
たとえば DayOfMonth 型とか Month 型とかを用意するにしてもどこかの段階ではプリミティブな整数からの変換が必要なわけで、コンパイル時に既知ならマクロが使えることはあるし実行時に得られる値ならいずれにせよ fallible な変換は不可避
orange
さんがブースト
そもそもこれは実行時に使うもなので、コンパイル時に云々という話であれば例えば https://docs.rs/time/latest/time/macros/macro.datetime.html とかがある
これだとあんまり便利にならない？＞＜；
C# Pascal部分範囲型そのままでは無理でも例えば
enum Month_Number : int [1..12];
って宣言すると
enum Month_Number : int
{ 1,2,3,//以下略＞＜ 現在はエラー＞＜ この書き方自体はオレンジ案実装後もエラー＞＜
の糖衣構文になってて、
Month_Number.1
になるやつくらい出来ないのかな？＞＜
Visual Ada .NETがほしい＞＜；
長文＞＜
契約プログラミングを使えばほぼ同じことができるし、2月31日とか閏年とかまで静的に検査させるためには契約プログラミングじゃないと無理だけど、契約プログラミングの静的検査ってめちゃくちゃ処理遅いし（部分範囲型が使えるDelphiの静的型検査＆コンパイルはそんじょそこらのインタプリタの起動時間より速い）、例えば月を表すために1～12だけ受け入れたい時に列挙型使うのも微妙だしそれが1～31日とかだと悪夢＞＜
やっぱAda素晴らしい＞＜
Adaこそが型による安全をしっかりと考えてる環境＞＜
Adaから安全な分野を奪おうとしてるRust（被害妄想＞＜；）も、日時の指定は型がガバガバっぽい＞＜
NaiveDate in chrono::naive - Rust - https://docs.rs/chrono/latest/chrono/naive/struct.NaiveDate.html#method.from_ymd_opt
- ＠orange_in_space
2017年 4月に登録
