orange @[email protected]

何のために作ってるかというと、
5bitの符号あり整数のxと、yと、3bitの符号無し整数のa、と51bitの符号あり整数のbで64bitに詰められてるバイナリ形式
みたいなややこしいのの読み書きするやつを手っ取り早く書く時に手抜きするために使うやつ＞＜

一応動く所までできた気がするからgistに貼った＞＜

一応ちゃんと動く気がする、2～63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型っぽいもの＞＜ - https://gist.github.com/orange-in-space/e0e824e5ae79d3196df9b20a174d5c9a

2～63bitの任意の長さのbit長のSigned/Unsignedの整数になる可変的な整数型作れたっぽい＞＜

そもそもCIL(MSIL)にもx86にもべき乗って命令無いっぽい・・・？＞＜；（知らんかった＞＜；（てっきり用意されてて「それ使った方が速くなるんじゃないの？＞＜；」って思ってた＞＜；））

なんで、C# って整数のべき乗が標準で無いの？＞＜（C++ も無いっぽい？＞＜）
（整数のべき乗なんて2^x以外あんまり使わないから？＞＜；）

こういう時どうするんだろと思ってググッた機能が新しいバージョンにしかなかった・・・＞＜

checked 演算子オーバーロード - C# 11.0 の新機能 - C# によるプログラミング入門 | ++C++; // 未確認飛行 C - https://ufcpp.net/study/csharp/cheatsheet/ap_ver11/#checked-operator-overload

これだとあんまり便利にならない？＞＜；

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

まさにこう書きたい＞＜（Adaの標準ライブラリの中身）
subtype Year_Number is Integer range 1901 .. 2099;
subtype Month_Number is Integer range 1 .. 12;
subtype Day_Number is Integer range 1 .. 31;

Adaは違う！＞＜　Adaはちゃんと型を使う！＞＜　さすがAda！！！＞＜ Adaしか勝たん！＞＜

Standard library: Dates & Times — learn. adacore. com - https://learn.adacore.com/courses/intro-to-ada/chapters/standard_library_dates_times.html

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

Delphiの標準ライブラリもそうでした・・・＞＜；

System.SysUtils.EncodeDate - RAD Studio API Documentation - https://docwiki.embarcadero.com/Libraries/Sydney/ja/System.SysUtils.EncodeDate

ていうか、こういう場面、Pascal一族風の型システムになってなくて困る場面かも＞＜；
DateTimeもDateTimeOffsetもコンストラクタとかに年月日時分秒とか全部単にintになっちゃってるから、
DateTime dateTime = new DateTime(512,1024,2048);
みたいなの（512年1024月2048日）がビルド通っちゃって実行時にエラーになる＞＜；