＞＜

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

あとは「エラーハンドリング必ずやれ」って場面で、それを静的に解析して「書けや！」ってエラー出せればいいのかも？＞＜

ていうかnullableもそうだけど、壊れてるんです！＞＜って時に壊れてるにもかかわらず壊れてないかのようにアクセスしちゃうのが問題なわけじゃん？＞＜（nullableの話に置き換えて、壊れてるをnullにするともっとわかりやすい？＞＜）
だったらそれをどうにかできるという意味では、
https://mstdn.nere9.help/@orange_in_space/100898384536870383
の発想でもおk？＞＜

でも、そういう仕組み作ると型チェックを人間側が自分でする場面が増えて、データ型の型安全性がぐちゃぐちゃになって本末転倒になりそう＞＜

なんか逆にどんどんわからなくなってきた＞＜

ていうかOption<T>ってそういうこと・・・・？＞＜

これもしかしてそういう意図？＞＜；

This account is not set to public on notestock.

インタフェース使って（この場合IFugaがインタフェースだとして）例えば
hoge?IFuga.Fuga();
みたいに書くとhogeが・・・・あれ？＞＜；

ていうか、
if (hoge!=null) {hoge.Fuga() }
の代わりに
hoge?.Fuga()ってあるじゃん？＞＜
それはnullじゃなければ、だけど、そうじゃなく型がこれであればこれを実行するみたいな書き方さえ出来れば、RustっぽくしなくてもRustっぽい事出来るんじゃないの感＞＜（日本語難しい）

オレンジ的にさっきの珍妙な物を書くときになにを考えて作ったかというと「戻り値のオブジェクトが型チェックしてくれたらより安全であるみたいな感じなのかも？＞＜」って考えて、あんな感じになった＞＜；

冗長にはなるけど＞＜；

なんか30分くらいぐるぐる考えたら、逆に「Rustっぽい意味ってあるの？＞＜ C# のインタフェースの方がよくない？＞＜」ってなってきたし、なんでRustがそうなってるのかさっぱりわからなくなってきた・・・＞＜

This account is not set to public on notestock.

なんか、鉄器の時代に鉄がよくわかんなくて石剣作った人の気持ちってこんな感じなのかなになってきた・・・＞＜

This account is not set to public on notestock.

This account is not set to public on notestock.

しゅごい・・・・＞＜

This account is not set to public on notestock.

畳み忘れた＞＜

かもbool？＞＜；
------
そういえば寝る直前に「オレンジ言語ってプログラミング言語作ったらおもしろいかも＞＜」って思いついて、;の代わりに＞＜とか、「かも」って信頼度と言うか自信の概念が言語仕様にとか考えてたけど、「かも」って量子コンピュータ的な方向的にありかもって思った＞＜

https://twitter.com/orange_in_space/status/352769771676237824

//かも代入＞＜
bool hoge＞＜
hoge=trueかも＞＜

わけがわからない＞＜
https://twitter.com/orange_in_space/status/352770931162234880

かもってなってる物どうしで演算してくとかもが蓄積してって信頼度がどんどん下がる言語仕様・・・＞＜
https://twitter.com/orange_in_space/status/352772055369908224

かもbool、作ったけどただの多数決じゃね説？＞＜； http://twitpic.com/d0rxoi
https://twitter.com/orange_in_space/status/352795448882368512

This account is not set to public on notestock.

This account is not set to public on notestock.

型理論の話・・・？＞＜

(var使ってます＞＜；)

C# でRustのResult<T, E>っぽいやつ、paizaioにもは貼った＞＜

C#で175行のコード書いたよ！ブラウザ上でプログラミング・実行できるよ！ コードは https://paiza.io/projects/ZsJ2O5qLusQ_bYr9K6rS4A?locale=en-us

ちゃんと
Ok = (Hoge n) => { Okな時の処理 },
Err = (Exception E) => { Errな時の処理 }
みたいに書ける＞＜

何か大恥をかきそう＞＜；

C# でRustのResult<T, E>のエラーハンドリングっぽいこと！＞＜；
https://gist.github.com/orange-in-space/8fd7fb6ad32d278135c9c2b0bd3ae51a#file-rustresultte_modoki-cs-L32

こんがらがってきた・・・＞＜

C# でどうにかRustのエラーハンドリングっぽいこと出来ないのかな？＞＜（普通の例外使えばいいから意味無い？＞＜；）

混乱＞＜

そういえばプロジェクターって、ミラーボール代わりにもなるかも？＞＜（原理的に光量があれだけど・・・＞＜）

微妙にGTA5のラジオのポップスの局の中東っぽいクルマのミュージックビデオの曲に雰囲気似てる＞＜

さっきのプレイリスト、曲追加して35曲にしてみたけど、アカウント無しの視聴だとプレイリスト30曲までっぽい＞＜（残り5曲も判別できないくらい似た曲だからあれだけど＞＜；）

Spotifyのプレイリスト管理画面、「この曲も似てるかも？」って機能あって、聴いてみたら全部「台風の方法は入り次第（以下略）だ！＞＜；」って感じの曲だし、これで足してったら無限にプレリスト長く出来るんでは？＞＜；

これは、スムースじゃないジャズっぽい＞＜（なんていうのかわからない＞＜；）

グランツーリスモの曲、オプションの曲（like the wind）が一番好き＞＜（これも台風情報系というかベタベタなフュージョン？＞＜）
https://www.youtube.com/watch?v=W1cJztUfb8Q

ていうか洗車の曲、国見さん方面？＞＜（ビッグバンド系ジャズ？＞＜）

現時点での台風情報っぽい曲プレイリスト＞＜（アカウントなくても各曲30秒聴けるはず？＞＜）
https://open.spotify.com/user/mljn0r1cnc86ulwzg0fncf4c1/playlist/3VgaXMNsxXzWPU3tJrCz8I?si=2Fn-07H7TmaPOmjyD7Gvnw

これとか＞＜ マジでどれがどれだかわからないくらい無限にある＞＜；
https://www.youtube.com/watch?v=wdvGBKr8VME

こういうの＞＜
https://www.youtube.com/watch?v=M7G066Wdgu8

「台風の情報は入り次第お伝えします」っぽい音楽というかスムースジャズというか量産型ラリー・カールトン、いっぱい探してたらどれがどれだかさっぱりわからなくなるくらい似たような曲が無限にある＞＜；

ねむくなくてつらいから、Spotifyでひたすら「台風の情報は入り次第お伝えします」っぽい音楽探してる＞＜（スムースジャズ？＞＜）

Spotify、自分のDaily Mix晒したり、他の人のDaily Mix聴いたり出来たらおもしろそうなのに・・・＞＜

This account is not set to public on notestock.

This account is not set to public on notestock.