場所はここ＞＜
今日やってるアメリカ人ドライバーの実況での場所（スクショ左側）
https://goo.gl/maps/Mf4gBHRbLaXNz8b5A
先週日本人ドライバーが通った時の場所（スクショ右側）
https://goo.gl/maps/jmreT7QWwcFY2m3B7

看板も同じ＞＜＞＜
https://www.youtube.com/watch?v=2xUrLhqyAKc
https://www.youtube.com/watch?v=0RC8nJTUpMc

この今やってるトラック実況配信の
BigRigTravels LIVE from East St. Louis, Illinois. ( Apr 01, 7:58 AM ) - YouTube https://www.youtube.com/watch?v=2xUrLhqyAKc
開始から20分くらい？の所でセントルイスのゲートウェイアーチが見えるんだけど、ゲートウェイアーチが画面外に消えた後5秒後に、画面の右の方に
アメリカ長距離トラック運転手 待つ タンク再洗浄＆その後 in Granite City イリノイ州 【#.353 2021-3-22】 - YouTube https://www.youtube.com/watch?v=0RC8nJTUpMc
この動画のスタート地点が見える＞＜＞＜＞＜

【マイクラ1.17】電球＆ヤギが追加⁉メガ洞窟など詳しく解説‼【マインクラフト】SNAPSHOT 21W13A(洞窟と崖アップデート) - YouTube https://www.youtube.com/watch?v=zY96_KYp6GI

毎度おなじみ「オレンジだけ専門的な話をして、他の人は適当にガバガバな話をして、オレンジが孤立した結果オレンジが正しくないみたいな空気になるやつ＞＜」の事ね・・・＞＜

なんで毎度こうなるのかわけがわからない・・・・＞＜

ちゃんと厳密な話してるのオレンジしか居なくてそのせいでオレンジが信用されて無いっぽい状況すごくムカつくけど、
オレンジが信じられない場合TaPL日本語版読めばいいと思うよ＞＜
型システム入門 プログラミング言語と型の理論 | Ohmsha https://www.ohmsha.co.jp/book/9784274069116/

オレンジは残念な事に高すぎて買えなくて読んで無いけど、これが出たとたんに日本語圏でのさっきみたいな動的静的議論での形付け無しとの勘違いの議論は一気になくなったので＞＜

雪だるまの人の書評
書評「型システム入門」 - 純粋関数空間 http://tanakh.jp/posts/2013-05-08-tapl.html
これ読むだけでも誤解とけそう＞＜

あと、Bさん、ちゃんと理解できずに途中で放り投げる事多すぎ＞＜
（今回はちゃんと説明してくれる人が少なすぎたので被害者とも言えるけど＞＜）

Bさんが『動的型付け環境のメリット』って勘違いしてるのは、典型的な勘違いである『型が無い事によるメリット』かも＞＜
なんでそこをちゃんと指摘してあげないの？＞＜

ていうかていうか、基本の基本である『型が無い』と『型を明示的に書かない』と『型検査がどの段階で行われるか？』と『どう型付けするか？』は、全部別々の話という事をちゃんと説明してるの（オレンジがブロックされてなくて読める範囲では）オレンジしか居ないの、酷すぎるというかオレンジ孤軍奮闘で大変すぎるし、Bさんが可哀想＞＜

あと、ガードレールが『『無い』』事に直接にプログラマ側のメリットは無い事だけは強調しておくかも＞＜
動的型付けはガードレールが『無い』では無い＞＜（し、当然、ガードレールが『無い』事がメリットでは無い＞＜）

ていうか、ガードレールのたとえが出たのでBさんが静的型付けがどう優れてるのか理解できそうな所まで来たのに、明後日の方向に進んでしまって超勿体無い・・・＞＜

だからこう釘刺した・・・＞＜
https://mstdn.nere9.help/@orange_in_space/105989792690602172
https://mstdn.nere9.help/@orange_in_space/105989811340646704

動的型付けの利点はあくまで「型検査を実行時まで先延ばしできる」事によるものであって、そうじゃない部分はそうじゃない・・・＞＜

はっきりいって、ここまでの議論でBさんは動的型付けの利点を全く理解していないって断言できる・・・＞＜
理解したうえで「動的型付けにも利点が」って言うならわかるけど＞＜

「静的型付けがどう有利なのか？」「なぜ型を明示的に書く必要があるのか？」を理解していない人が型を設計しても、あんまり安全にはならない＞＜
たとえば、曜日を管理するのに文字列型で管理するようなシステムにした場合には、曜日の誤りを型検査であらかじめ発見できない＞＜
曜日を曜日型として設計し、それで管理するようにすれば、たとえば"炎曜日"みたいな意味不明曜日によるエラーは防ぐ事ができるし、静的型付けの環境であればそれを実行前に検査できる＞＜

"「安全な」ガードレール"を超高速で設置できるシステムが、強い型システム＞＜
そして、「ガードレールが変に繋がってないか？ とか、ネジを止めるの忘れてないか？ とか、位置がおかしくて道路ふさいで逆に事故の原因になるか？」みたいな事を
『実行前に検査するのが静的な型システム』で、
『調べず出発して走りながらガードレールがおかしいかを検査するのが動的な型システム』かも＞＜

『ガードレールそのもの』では無く『ガードレールを構築するための仕組み』って理解してから
https://mstdn.nere9.help/@orange_in_space/105989740996448685
の
”単純に静的型システムの環境を使う『だけ』で防げる減らせる事は”
って話をもう一回読めばオレンジの"単純に..."の話の意図がわかるかも＞＜
そして、なぜ静的型システムが必要で、そして強い型システムがなにに対して強力なのか？ という話も理解できるかも＞＜

ていうか＞＜
型システムは『ガードレールそのもの』では無く『ガードレールを構築するための仕組み』である事に注意すべきかも＞＜（超重要＞＜）

これはほとんど規模のみの話といっていいかも＞＜
その状況でUNIX shellが書きやすいのは単純に規模が小さく扱う情報が単純でドキュメントが少なくて済むだけで、OCamlは使った事無いけど、OCamlでもOCamlで構築された『UNIX shellでやりたかったことと同じ事』しかできない環境で同じ事をするのであれば、それほどは調べなければならない事は増えないかも＞＜

らりおさんは型システムの議論慣れてるからそんな事は当然として話してるけど、型システムの議論慣れてない人はそこもなんのこっちゃらわからないわけで・・・＞＜

ダックタイピングできるかどうかと動的型付けであるか静的型付けであるかは、厳密な話で言うと直接は関係ない＞＜

オレンジが言いたい事としては、この議論をするなら、特に型システムの議論に慣れてない人がいる場合には、『動的静的の厳密な違いの話』（ https://mstdn.nere9.help/@orange_in_space/105989721643608005 https://mstdn.nere9.help/@orange_in_space/105989751027039873 ）と、『静的型な環境と動的型な環境それぞれの傾向の話』は厳密には違うって話もしてあげないと、混乱して可哀想かもって・・・＞＜

たとえば、ある重さの数値があるとする＞＜
ある人は「当然これはミリグラムうだろう」と思って100と指定した＞＜
それを見た別の人は「当然ポンドだろう」と考えた＞＜
これも各々にとって「当然そのとおりであること」かも＞＜
でも、そんな事をしていたら事故が起こるので、実際には世の中では単位をつける事になってる＞＜

Bさん、これ読むといいかも＞＜（雪だるまアイコンの人の話が参考になるはず＞＜）
動的型言語のふわふわ感 - Togetter https://togetter.com/li/163331

ていうか、「型検査は何を検出し、何を排除できるのか？」は、一言で言うと「型の不整合を検出できる」かも＞＜
「型の宣言や設計等が不適切である問題は、それは型検査によって検出できないではないか？」という疑問は正当で、それはその通り＞＜
なので、単純に静的型システムの環境を使う『だけ』で防げる減らせる事は「実行時に起こる型の不整合による想定外の動作」だけとも言える＞＜

https://mathtod.online/@cmplstofB/105989698098192096
"「静的型が厳密」っていう表現，違和感あるな……。"
これふたつの意味に取れる＞＜
ひとつは、静的か動的の違いは「型検査をいつ行うか？」の話なので、『静的検査を行うけどゆるふわな型システム』の環境もあるし、『動的に型検査を行うけど型がガチガチな型システム』もあるので、静的型付け＝ガチガチという事にはならない＞＜
それは型システムが「強い」「弱い」という風に説明される事が多い方の話になる＞＜

でもBさんが言いたいのはその話じゃ無さそう＞＜

あと、静的型付け かつ 安全優先で型を明示的に書く事を好む人は冗長であろうとも明示的に書こうとする人が多いわけで、静的 vs 動的の話も、動的型付け好きな人は、ふわっとした感じの話で短く意見を書くけど、静的型付け好きな人は冗長になろうともより厳密な話に出来るように書くので、文章も長くなるし書く機会も増えて「静的型付け好きな人って型システムの話ばっかり長々してる！！！」ってなるのも当然かもだしこの文章もそんな感じにメタな事になっている＞＜

ようはガッチリした厳密さを求める人が静的型付けを好むわけで、静的型付けと動的型付けの長所短所の話も同様にガッチリと目的のコードを書く前にはっきりさせたがるのは当然＞＜

これ、とてもメタで、静的型検査ってつまり「誤りは出来うる限り実行前に検出され排除されるべき」なわけで、動的型付けの発想が誤ってるのであれば、当然のように動的型付けによる被害を避けるためにその誤りを指摘し排除する行動するのは当たり前かも＞＜
一方で動的型付けは「とりあえず動かしてみたらいいじゃん」なわけで、型システムの問題に対しても静的型付け好きな人ほどは積極的な意見表明をしないのも当然かも＞＜

ていうか、動的と静的の違いはつまり実行前に行うか、実行時に行うかの違いなので、たとえば「動的環境でも、主目的のコードを一切動かす前に全て型検査するコードを確実に走らせれば検査できるよ！」とか言い出したら、「それ、静的検査の再発明じゃん・・・＞＜」だよね感＞＜

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

試すまでも無いかもだけどわざわざWPFでも試してみたけど、ちゃんと対応してた＞＜

ていうか、XBUTTON1とXBUTTON2に対応すれば戻ると進むを自分のWindowsアプリにシステム標準的な設定で対応できるわけだから、Windowsアプリつくる時は忘れないようにするといいよね感・・・＞＜

Windowsで5ボタン対応が忘れ去られがちなのの同じく、AndroidでもそこらのAndroid端末に無かったりキーボードにも用意されてないようなボタンにちゃんと対応してるアプリと対応してないアプリがあるの、せっかく開発環境でのエミュレータでハードウェア持って無くても試せるのになんだかな感＞＜

ていうか、ロジクールのマウスドライバの標準設定だと、XBUTTON1とXBUTTON2を投げるように設定されてるっぽいし（いま試した）、C# の少なくともWinFormsでも(アンマネージドなコードに頼らなくても)XBUTTON1とXBUTTON2を受け取れるし、普通に対応すればいいと思う・・・＞＜

Delphi使ってた頃はオレンジはちゃんとそれで対応してたような記憶ある＞＜

わりとそっち使う事が多い＞＜；
（TOWNSユーザーでTOWNS OS 2.xはWindowsとボタン配置がちょうど逆で、左上が閉じる、右側がWindowsの左上と同じなので左上で閉じるのになれた＞＜）

3本指でタップ＝中ボタンなのが主流かも？＞＜

ていうか、Windowsの場合はほんとは昔から1ボタンでも操作できないと駄目だし、それどころかキーボードのみでも操作できないと駄目で、さらに（文字入力以外は）ポインティングデバイスだけでも操作できないと駄目かも＞＜
（Windows95辺りでも＞＜（MSも一部守って無いけど＞＜；））

具体例でいま思いついたけど、オレンジがいま自分で作って自分で使ってるメモリクリーナーアプリの、メモリ使用量グラフ部分を中クリックしたら別ウィンドウとしてポップアウトできるようにしたら便利そう＞＜
（グラフをポップアウトする機能はつけようとしてたけど、どういうUXにするかはまだ考えてなかった＞＜）

ウェブブラウザと同じ挙動（新しいタブやウィンドウで開く）をウェブブラウザ以外のアプリで似た意味になる部分に採用するのはありかも感＞＜

たしかにウェブブラウザでは普通に使ってた＞＜；

中ボタンを使わなくても操作に支障が無いUXデザインにする必要があるのはそれはそう＞＜

△デスクトップだと
○ゲーム以外のアプリケーションでは

ゲームだとWindowsでも中クリック有効活用されてるやつわりとあるのにデスクトップだと有効活用されてるのほぼ無い感じなの、ほんと勿体無い＞＜

ピンボケの世界でもショッキングピンクのものとかはわりと発見できるので派手な色素晴らしい＞＜

近視進んでメガネかけてもよくわかんなくなってるのでめがね作らないといけないけどメガネ高いなのでいいやになってるのと、普段メガネかけない（PC使う時はかける）ので、ピンボケの世界で生活してる＞＜

物無くす関連、オレンジは目が悪いせいで無くすのもあるので、重要なものは派手な色にするソリューション的な感じにあれかも＞＜（？）

これの「Changes in Church Membership, by Demographic Subgroup」って表の"College graduate"ってどういう文脈だろ？＞＜(普通に日本語でいう所の「大卒」と同じ意味でいいのかな？＞＜)

U.S. Church Membership Falls Below Majority for First Time https://news.gallup.com/poll/341963/church-membership-falls-below-majority-first-time.aspx

過去80年で初めて「教会に属する人」の割合が50％を下回る - GIGAZINE https://gigazine.net/news/20210331-church-membership-falls/

・・・ので、えじょさんのtootとセットじゃないとなんのこっちゃら感が・・・＞＜

青森の札幌ラーメン(味の札幌)のラーメンが札幌には無いの、名古屋の台湾ラーメンが台湾には無い(その後進出したんだったかも？＞＜)と似てるかもって言いたかった・・・・＞＜

＞＜(？＞＜；)
2006.08.09 「これぞ名古屋めし初級編　台湾ラーメンアメリカン」発売（寿がきや食品） - 日本食糧新聞電子版 https://news.nissyoku.co.jp/news/nss-9695-0115

この色々、ニコニコにもチャンスは無くは無いけど、無いかも＞＜(？＞＜；)

文字数足りなかった・・・＞＜

つまりつまり、
Discordは、投げ銭ありの配信プラットフォームにもなろうとしてるんじゃないの説＞＜
(その時にハラスメント対策は先行してるtwitchとyoutubeが欠けてる事を問題視されているわけで、その実例を取り込んで対策がうまくいけば、ハラスメントに困ってるストリーマーを呼び込む強力な宣伝になって、先行2社に並べるチャンスになるかも＞＜)
少ない情報からの大きな推測なのであれだけど＞＜；

"(ここ結構重要)"って書いた部分、どう重要かと言うと、Discordってハラスメント対策を結構重く見てる姿勢があって(対照として逆にそれが欠けすぎてるって問題になったのがtwitch)、ファンであれば、youtubeの対策が足りなくて色々爆撃されたりして大変な事になってるのを見てるわけだから、Discordが「ウチで配信してくれたらもっとちゃんとした対策が出来るかもしれない」って考えるのも、わりとありそうかも＞＜
Discordが配信の方にも力を入れるつもりであれば、それが成功すればまともに対策できてないyoutubeやtwitchに対してのとても強いアドバンテージになる＞＜

超簡単に言うと「Discordで配信しない？」って事なんじゃないかと＞＜

で、この推測がもし正しかったとするととても興味深い事になるかも＞＜；
Discord公式がホロライブメンバーに近づいてたの(よく配信のコメントに出没してたりとか)って単に中の人がホロライブにハマったと思われていたかもだけど(オレンジもそう思ってた)(もちろんそれもあってだろうけど＞＜；(ここ結構重要))、
ホロライブをDiscordのClubhouseっぽい新機能のコンテンツとして取り込もうと考えるのが妥当って事になるんでは＞＜

貰った時に、どう使えるかとか何に使えるかとかマネちゃんにも相談して的な発言してるので、何らかの権限か機能だったっぽいし、
この機能であれば大規模コラボの時に司会やゲームマスターの人がプレイヤー側の人の発言の音声管理が楽になるだろうから用途にあってるかも？＞＜

Discordがホロライブメンバーに配ってたプレゼント(？)(ほとんど一切それが何だったか語られていないかも)ってこれのベータ版だったのかも？＞＜
https://mstdn.nere9.help/@orange_in_space/105987705015464268

Discordが新たに「ステージチャンネル」を開始、特定人物がグループに話しかける機能 - GIGAZINE https://gigazine.net/news/20210401-discord-stage-channels/