orange
さんがブースト
Okay, I didn’t have ingredients to make the sauce, but here’s my attempt at tonkatsu
場所はここ＞＜
今日やってるアメリカ人ドライバーの実況での場所（スクショ左側）
https://goo.gl/maps/Mf4gBHRbLaXNz8b5A
先週日本人ドライバーが通った時の場所（スクショ右側）
https://goo.gl/maps/jmreT7QWwcFY2m3B7
この今やってるトラック実況配信の
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さんが静的型付けがどう優れてるのか理解できそうな所まで来たのに、明後日の方向に進んでしまって超勿体無い・・・＞＜
動的型付けの利点はあくまで「型検査を実行時まで先延ばしできる」事によるものであって、そうじゃない部分はそうじゃない・・・＞＜
はっきりいって、ここまでの議論でBさんは動的型付けの利点を全く理解していないって断言できる・・・＞＜
理解したうえで「動的型付けにも利点が」って言うならわかるけど＞＜
「静的型付けがどう有利なのか？」「なぜ型を明示的に書く必要があるのか？」を理解していない人が型を設計しても、あんまり安全にはならない＞＜
たとえば、曜日を管理するのに文字列型で管理するようなシステムにした場合には、曜日の誤りを型検査であらかじめ発見できない＞＜
曜日を曜日型として設計し、それで管理するようにすれば、たとえば"炎曜日"みたいな意味不明曜日によるエラーは防ぐ事ができるし、静的型付けの環境であればそれを実行前に検査できる＞＜
"「安全な」ガードレール"を超高速で設置できるシステムが、強い型システム＞＜
そして、「ガードレールが変に繋がってないか？ とか、ネジを止めるの忘れてないか？ とか、位置がおかしくて道路ふさいで逆に事故の原因になるか？」みたいな事を
『実行前に検査するのが静的な型システム』で、
『調べず出発して走りながらガードレールがおかしいかを検査するのが動的な型システム』かも＞＜
『ガードレールそのもの』では無く『ガードレールを構築するための仕組み』って理解してから
https://mstdn.nere9.help/@orange_in_space/105989740996448685
の
”単純に静的型システムの環境を使う『だけ』で防げる減らせる事は”
って話をもう一回読めばオレンジの"単純に..."の話の意図がわかるかも＞＜
そして、なぜ静的型システムが必要で、そして強い型システムがなにに対して強力なのか？ という話も理解できるかも＞＜
ていうか＞＜
型システムは『ガードレールそのもの』では無く『ガードレールを構築するための仕組み』である事に注意すべきかも＞＜（超重要＞＜）
- ＠orange_in_space
2017年 4月に登録
