新しいものを表示
orange さんがブースト

値の検証もコンパイラにやらせよう: Scala 3でRefinement TypesやるにはIronっていうライブラリが良さそう - Lambdaカクテル 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
qiita.com/YuHima03/items/20b59

試しに、八代亜紀の日本海を流しながら見てみたら完全に日本海だった><;

スレッドを表示

3:20:00~
BigRigTravels LIVE trucking from Madras, Oregon. South on US97and I-5. Dec 23, 2025 - YouTube
youtube.com/watch?v=G50N-tylOi

US-97だからアッパー・クラマス湖のきれいな冬景色が見えるかもと思ってみてみたら、まだ雪が積もって無くて、雨が降って霧が出てて、なんかオレゴン州南部というよりは日本海っぽくてド演歌っぽい風景><;

アメリカのメソジスト教会(UMC)のリベラル化を牽引してきたすごい教会がすごい装飾をしてるらしい><

Nativity scene is a protest at this Dallas church - Axios Dallas axios.com/local/dallas/2025/12

October 21, 2025
Dallas church paints rainbow steps amid Abbott's order on rainbow crosswalks | wfaa.com wfaa.com/article/news/local/da

日本人のほとんどが名前を知らない?この赤いうんこみたいな食い物めちゃくちゃ好き「どんな食感なのか、味なのか全くわからない」 - Togetter togetter.com/li/2642015

オレンジの大好物が微妙に馬鹿にされてる・・・><

正規表現すぐ忘れるのでビジュアルプログラミングツールを作った ~ Blocklyで簡単にビジュアルDSL作ろう ~ - エムスリーテックブログ m3tech.blog/entry/blockly

一応、九州とかも揺れてる><(スクショは四国の西端のあたりまで到達したところ)

スレッドを表示

長周期地震動モニタで見るとちゃんと広く伝わってておもしろい><
kyoshin.bosai.go.jp/kyoshin/

古いものを表示
:realtek:

思考の /dev/null