この今やってるトラック実況配信の
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
さんがブースト
ガードレールがあるからといって安全というわけではない、それはそうだけど、ガードレールという製品が一般に安全を目的として作られており、正しく施工したらば世間一般で受け入れられる程度には安全装置として有効であろう、という期待があわけよね。
型検査も同じで、型システムという共通の理論的基盤が人々の目に晒され、実用コードでテストされているからこそ、万全でないにせよ「それなりに役立つし、役立たないシステムは低評価を受ける」という指標が発生する
これはほとんど規模のみの話といっていいかも＞＜
その状況でUNIX shellが書きやすいのは単純に規模が小さく扱う情報が単純でドキュメントが少なくて済むだけで、OCamlは使った事無いけど、OCamlでもOCamlで構築された『UNIX shellでやりたかったことと同じ事』しかできない環境で同じ事をするのであれば、それほどは調べなければならない事は増えないかも＞＜
らりおさんは型システムの議論慣れてるからそんな事は当然として話してるけど、型システムの議論慣れてない人はそこもなんのこっちゃらわからないわけで・・・＞＜
- ＠orange_in_space
2017年 4月に登録
