orange
さんがブースト
値の検証もコンパイラにやらせよう: Scala 3でRefinement TypesやるにはIronっていうライブラリが良さそう - Lambdaカクテル https://blog.3qe.us/entry/2024/02/19/040745
オレンジがやってるのって結局のところ単なるRustの再発明なのかな？＞＜
結局のところ、Rustのエラーハンドリングみたいなのを、こまめにする(Rust)か、後で一気にまとめてする(オレンジが思いついたやつ)かくらいの違いくらいしかない？＞＜；
もしかしてそういうパターンで作れば、言語仕様上の工夫やIDEの支援すらもいらないのかな？＞＜
（でも危ない部分用の型と安全な部分用の型の見分けがつきにくい？＞＜；）
オレンジは思い付きでnullチェックを代用しだけど、まったく同じ発想で、『チェック前型とチェック後型』って発想を言語仕様に入れたら、ある時点まではエラーもありつつも投機的に計算して、ある時点で一気にチェックして『チェック後型』に明示的な型変換をする事で、そこから先は安全に使えるようにするって発想の実装をいろいろ作れて便利そうだけどどうなんだろう？＞＜
これは単にnullableなら未チェック、non-nullableなら範囲チェック済で安全って方式だけど、Roslynソースジェネレータを使ってnullable用の型とnon-nullable用の型で自動で名前をわけたら、もうちょっと見やすくなりそう＞＜
そもそも仕様にあわないものを作ってるんだから仕様にあうように実装するのは当然不可能という当然なあれなのかも＞＜；
オレンジが思いついた未チェック型とチェック済型で分ける事で無理やりSPARK/Adaスタイルにしようとする方式ではインクリメントを実装できない（そもそもAdaにはインクリメントが無い（危険だから））という事に気づいて、
GPT-5.2に「ラップアラウンドにするという妥協をするしかない？＞＜；」って聞いたら「絶対にインクリメントを実装するな！ あなたが作ろうとしてるものが台無しになる！」に限りなく近い説得をされた＞＜；
C#で部分範囲型を作りかけてるけど、もしちゃんと標準の数値型と混ぜて使えるようなガチなのを作ろうとすると、この記事にあるインタフェース全部実装しないといけない？＞＜；
[C#] INumber<T>の実装総覧 (分数型の実装例付き) #.NET - Qiita
https://qiita.com/YuHima03/items/20b59013d42d294b9839#checked%E3%82%B9%E3%83%86%E3%83%BC%E3%83%88%E3%83%A1%E3%83%B3%E3%83%88%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6
3:20:00～
BigRigTravels LIVE trucking from Madras, Oregon. South on US97and I-5. Dec 23, 2025 - YouTube
https://www.youtube.com/watch?v=G50N-tylOic&t=12000
US-97だからアッパー・クラマス湖のきれいな冬景色が見えるかもと思ってみてみたら、まだ雪が積もって無くて、雨が降って霧が出てて、なんかオレゴン州南部というよりは日本海っぽくてド演歌っぽい風景＞＜；
アメリカのメソジスト教会(UMC)のリベラル化を牽引してきたすごい教会がすごい装飾をしてるらしい＞＜
Nativity scene is a protest at this Dallas church - Axios Dallas https://www.axios.com/local/dallas/2025/12/19/nativity-scene-is-a-protest-at-this-dallas-church
October 21, 2025
Dallas church paints rainbow steps amid Abbott's order on rainbow crosswalks | wfaa.com https://www.wfaa.com/article/news/local/dallas-county/oak-lawn-united-methodist-church-dallas-painting-steps-rainbow-after-gov-abbott-order-crosswalks/287-887d969b-4d80-4705-a691-f32263fe5ae4
2025: The images that stayed with us : The Picture Show : NPR https://www.npr.org/sections/the-picture-show/2025/12/23/g-s1-102909/2025-npr-network-images-that-stayed-with-us
Popular global stories in 2025: Crying diplomat, lead dust, drone pix : Goats and Soda : NPR https://www.npr.org/sections/goats-and-soda/2025/12/23/g-s1-102421/popular-global-health-drone-photos-ancient-disease-lead-pollution
日本人のほとんどが名前を知らない？この赤いうんこみたいな食い物めちゃくちゃ好き「どんな食感なのか、味なのか全くわからない」 - Togetter https://togetter.com/li/2642015
オレンジの大好物が微妙に馬鹿にされてる・・・＞＜
正規表現すぐ忘れるのでビジュアルプログラミングツールを作った ~ Blocklyで簡単にビジュアルDSL作ろう ~ - エムスリーテックブログ https://www.m3tech.blog/entry/blockly
- ＠orange_in_space
2017年 4月に登録
