orange @[email protected]

今月の鉄道ファン（5月号）、弘南鉄道と津軽鉄道のキ100の記事が4ページある＞＜

音楽全く記憶無いというかコーナー自体記憶に無い・・・＞＜

はい＞＜；

ていうか、オレンジは型推論も嫌ってるし、もっと言うとAdaみたいに「単純な型をそのまま使うな！！！ 型を作れ！！！ 型チェック！！！」って発想好きだけど、Ada使った事無いから実際にはそうしてない＞＜；

オレンジはこの前こんなの書いた＞＜；
https://mstdn.nere9.help/@orange_in_space/99699800406680801
では実行時にしかエラーでないので
https://mstdn.nere9.help/@orange_in_space/99699817745326661
明示的な型変換の宣言で契約プログラミングでどうにかする方式＞＜；

オレンジがこの前「どうにかC# で、部分範囲型っぽいこと出来ないのかな？＞＜；」って書いたコードにそっくりっぽさが・・・＞＜

これっぽい？＞＜
本の虫: C++1yに提案されている不透明エイリアス(opaque alias) https://cpplover.blogspot.jp/2013/09/c1yopaque-alias.html

部分範囲型なら、nullが入らないどころか例えば2～42までの整数を表す型とか、曜日列挙型の部分範囲型として平日型を作るとかできるけど、それって入ってきちゃ駄目な値を型の段階で排除してるという面ではnull非許容な型と同じだよね・・・？＞＜

裏返して考えると、AdaとかPascalでの部分範囲型が、他の言語にほとんど採用されないのって逆にわけがわからなくなるかも・・・＞＜（範囲を決めた型を作る事で型チェックでどうにかする仕組みって、null非許容の型でどうにかしようって発想と似てるどころかさらに先をいってる発想だと思うんだけど＞＜）

https://rust-lang-ja.github.io/the-rust-programming-language-ja/1.6/book/error-handling.html
まだ読みかけだけど、確かに便利そう＞＜；
あと、"小休止：アンラップは悪ではない" の所の "パニックがプログラムのバグの兆候となるとき。" の記述が、
オレンジが書いた "むしろエラーの更なる先延ばしにしてるコードになるんじゃないのかなって気が＞＜" に相当する場面？＞＜

"// `haystack`（干し草の山）からUnicode文字 `n"（以下略）の所のコード、型がわかりにくい・・・＞＜

これの最初の例、Adaとかだと「部分範囲型を使え！！ ていうか型作れ！！！」ってなるやつだ・・・＞＜； -- https://rust-lang-ja.github.io/the-rust-programming-language-ja/1.6/book/error-handling.html