21:43:32 @orange_in_space@mstdn.nere9.help
2018-10-15 21:12:27 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

そういえばコに住んでたねこをミに移動させた

Attach image
17:25:38 @orange_in_space@mstdn.nere9.help
icon

><

16:55:31 @orange_in_space@mstdn.nere9.help
2018-10-15 16:47:51 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:42:58 @orange_in_space@mstdn.nere9.help
2018-10-15 16:37:03 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:42:53 @orange_in_space@mstdn.nere9.help
2018-10-15 16:36:32 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:42:50 @orange_in_space@mstdn.nere9.help
2018-10-15 16:32:29 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:36:26 @orange_in_space@mstdn.nere9.help
2018-10-15 16:35:20 unaristの投稿 unarist@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

16:35:01 @orange_in_space@mstdn.nere9.help
2018-10-15 16:31:56 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:32:23 @orange_in_space@mstdn.nere9.help
2018-10-15 16:30:20 unaristの投稿 unarist@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

16:29:56 @orange_in_space@mstdn.nere9.help
2018-10-15 16:29:08 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:29:50 @orange_in_space@mstdn.nere9.help
2018-10-15 16:28:32 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

16:29:00 @orange_in_space@mstdn.nere9.help
icon

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

16:27:19 @orange_in_space@mstdn.nere9.help
icon

ていうかnullableもそうだけど、壊れてるんです!><って時に壊れてるにもかかわらず壊れてないかのようにアクセスしちゃうのが問題なわけじゃん?><(nullableの話に置き換えて、壊れてるをnullにするともっとわかりやすい?><)
だったらそれをどうにかできるという意味では、
mstdn.nere9.help/@orange_in_sp
の発想でもおk?><

Web site image
orange (@orange_in_space@mstdn.nere9.help)
16:18:18 @orange_in_space@mstdn.nere9.help
icon

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

16:15:35 @orange_in_space@mstdn.nere9.help
icon

なんか逆にどんどんわからなくなってきた><

16:15:13 @orange_in_space@mstdn.nere9.help
icon

ていうかOption<T>ってそういうこと・・・・?><

16:12:59 @orange_in_space@mstdn.nere9.help
icon

これもしかしてそういう意図?><;

16:12:48 @orange_in_space@mstdn.nere9.help
2018-10-15 15:44:17 unaristの投稿 unarist@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

16:12:37 @orange_in_space@mstdn.nere9.help
icon

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

16:09:04 @orange_in_space@mstdn.nere9.help
icon

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

16:06:06 @orange_in_space@mstdn.nere9.help
icon

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

15:59:42 @orange_in_space@mstdn.nere9.help
icon

冗長にはなるけど><;

15:58:54 @orange_in_space@mstdn.nere9.help
icon

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

15:57:11 @orange_in_space@mstdn.nere9.help
2018-10-15 15:28:47 ashidaの投稿 ashida@friends.nico

このアカウントは、notestockで公開設定になっていません。

15:22:58 @orange_in_space@mstdn.nere9.help
icon

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

15:16:21 @orange_in_space@mstdn.nere9.help
2018-10-15 15:13:55 unaristの投稿 unarist@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

15:09:28 @orange_in_space@mstdn.nere9.help
2018-10-15 15:08:40 unaristの投稿 unarist@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

15:09:18 @orange_in_space@mstdn.nere9.help
icon

しゅごい・・・・><

15:08:18 @orange_in_space@mstdn.nere9.help
2018-10-15 15:07:01 unaristの投稿 unarist@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

15:03:15 @orange_in_space@mstdn.nere9.help
icon

畳み忘れた><

15:01:20 @orange_in_space@mstdn.nere9.help
icon

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

twitter.com/orange_in_space/st

//かも代入><
bool hoge><
hoge=trueかも><

わけがわからない><
twitter.com/orange_in_space/st

かもってなってる物どうしで演算してくとかもが蓄積してって信頼度がどんどん下がる言語仕様・・・><
twitter.com/orange_in_space/st

かもbool、作ったけどただの多数決じゃね説?><; twitpic.com/d0rxoi
twitter.com/orange_in_space/st

かもbool、作ったけどただの多数決じゃね説?><;
14:59:16 @orange_in_space@mstdn.nere9.help
2018-10-15 14:42:18 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

おにぎりであることとそうでないことは排他的であるかという問題についていえば、一人が「おにぎりっぽいようなそうでないような」とか「おにぎりと言われればそうだし、おにぎりでないと言われればそうでもある」という感想を持ちうるという意味で排他的でないと解釈しています (これこそ定義が曖昧だからこそ生じる性質だけど)

14:59:09 @orange_in_space@mstdn.nere9.help
2018-10-15 14:38:45 zgock999の投稿 zgock999@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

14:59:05 @orange_in_space@mstdn.nere9.help
2018-10-15 14:39:50 Satoshi Kojima (小嶋智)の投稿 skoji@sandbox.skoji.jp
icon

このアカウントは、notestockで公開設定になっていません。

14:55:59 @orange_in_space@mstdn.nere9.help
icon

型理論の話・・・?><

14:55:48 @orange_in_space@mstdn.nere9.help
2018-10-15 14:39:27 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

たとえば微妙なおにぎりがあったとして、それがおにぎりだと思う人もいるだろうし思わない人もきっといる、部分的におにぎりらしさを感じる人もいるだろう、これは排他性を意味しているとは思えませんが (指摘の意味をよくわかってない顔)

14:48:21 @orange_in_space@mstdn.nere9.help
icon

(var使ってます><;)

14:47:08 @orange_in_space@mstdn.nere9.help
icon

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

C#で175行のコード書いたよ!ブラウザ上でプログラミング・実行できるよ! コードは paiza.io/projects/ZsJ2O5qLusQ_

14:43:58 @orange_in_space@mstdn.nere9.help
icon

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

14:40:34 @orange_in_space@mstdn.nere9.help
icon

何か大恥をかきそう><;

14:40:14 @orange_in_space@mstdn.nere9.help
icon

C# でRustのResult<T, E>のエラーハンドリングっぽいこと!><;
gist.github.com/orange-in-spac

Web site image
RustのResultのエラーハンドリングっぽいことをC# で出来ないのかなって思って作ったやつ><;
13:20:23 @orange_in_space@mstdn.nere9.help
icon

こんがらがってきた・・・><

12:30:05 @orange_in_space@mstdn.nere9.help
icon

C# でどうにかRustのエラーハンドリングっぽいこと出来ないのかな?><(普通の例外使えばいいから意味無い?><;)

02:31:36 @orange_in_space@mstdn.nere9.help
icon

混乱><

02:11:09 @orange_in_space@mstdn.nere9.help
icon

そういえばプロジェクターって、ミラーボール代わりにもなるかも?><(原理的に光量があれだけど・・・><)

01:56:44 @orange_in_space@mstdn.nere9.help
icon

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

01:55:52 @orange_in_space@mstdn.nere9.help
2018-10-15 01:43:32 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

【FULL】WANT ME,WANT ME / 安室奈美恵 (Namie Amuro) youtu.be/xzWJvDTfWyc
これすき

Attach YouTube
01:55:05 @orange_in_space@mstdn.nere9.help
icon

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

01:42:57 @orange_in_space@mstdn.nere9.help
icon

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

Attach image
01:26:56 @orange_in_space@mstdn.nere9.help
icon

これは、スムースじゃないジャズっぽい><(なんていうのかわからない><;)

01:26:26 @orange_in_space@mstdn.nere9.help
2018-10-15 01:22:27 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

Gran Turismo 2 Menu Soundtrack - Simulation Mode youtu.be/l-wmJCv3rmo
でもこれが一番すきかも

Attach YouTube
01:20:58 @orange_in_space@mstdn.nere9.help
2018-10-15 01:20:15 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

Gran Turismo 2 - East City (Theme Original With Link For Download) youtu.be/xLyL-NBjVNE
GT2のもすきで、これとかもめっちゃすき

Attach YouTube
01:18:42 @orange_in_space@mstdn.nere9.help
icon

グランツーリスモの曲、オプションの曲(like the wind)が一番好き><(これも台風情報系というかベタベタなフュージョン?><)
youtube.com/watch?v=W1cJztUfb8

Attach YouTube
01:16:56 @orange_in_space@mstdn.nere9.help
icon

ていうか洗車の曲、国見さん方面?><(ビッグバンド系ジャズ?><)

01:15:31 @orange_in_space@mstdn.nere9.help
2018-10-15 01:12:11 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

グランツーリスモ BGM - 洗車 youtu.be/-ADMtBgoIww
グランツーリスモ、洗車BGMが全体的にすき

01:08:29 @orange_in_space@mstdn.nere9.help
2018-10-15 01:07:43 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

グランツーリスモ BGM - ディーラー(マツダ) youtu.be/48j_gnj-_YA
まったく関係ないんだけどデミオ売却のテーマとして知られるこれ結構すき

Attach YouTube
01:05:38 @orange_in_space@mstdn.nere9.help
icon

これとか>< マジでどれがどれだかわからないくらい無限にある><;
youtube.com/watch?v=wdvGBKr8VM

Attach YouTube
01:03:23 @orange_in_space@mstdn.nere9.help
Attach YouTube
00:56:42 @orange_in_space@mstdn.nere9.help
icon

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

00:51:18 @orange_in_space@mstdn.nere9.help
icon

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

00:44:20 @orange_in_space@mstdn.nere9.help
icon

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

00:42:41 @orange_in_space@mstdn.nere9.help
2018-10-15 00:23:28 ほたの投稿 hota@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

00:42:39 @orange_in_space@mstdn.nere9.help
2018-10-15 00:22:14 ほたの投稿 hota@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。