あえて雑に言うと、型の誤りを原因にしてメモリを破壊する事が無い環境が狭義の型安全だったはずたぶん＞＜；
(TaPLを読んでる真面目な人が代わりに説明してほしい＞＜；)
orange
さんがブースト
orange
さんがブースト
うんちみたいな動作するけど型安全だよ！ というのがアリで、それを了解できるなら、それ以上型安全であることそのものを論じたってに実際的は嬉しくないでしょ (理論的なあれこれはさておき)
orange
さんがブースト
orange
さんがブースト
それはそうで、同時に「狭義型安全かどうか」そのものの有難味の本質に目を向けろという話なんだよな
前に、「静的型つけと動的型つけってどう違っててなんで静的型つけの方がいいの？」とか「なんで型をガチガチにするの？」みたいな疑問がFediverse上で話題になった時にも、オレンジしか「静的か動的かと、ガチガチゆるふわは別の話だよ！＞＜ 文字列型と数値型で足し算が出来るかどうかも動的静的と無関係だよ！＞＜」って説明しなくて、他の人がみんな混同した説明してたのでオレンジが憤慨してた＞＜(？)
ていうか、説明がおかしい気がするけど、狭義の型安全ってそういうものでは感＞＜
静的で強い型つけが好きな人々(＞＜含む)からしたら、弱すぎて足りなすぎる「よくそんなの使う気になるね＞＜；」だけど、
例えば、文字列型と数値型で足し算が出来るか例外出すか、あるいは結果が数値になるか文字列型になるかみたいなのは、型安全かどうかや、静的動的であるかにも、直接は関係ない＞＜
orange
さんがブースト
orange
さんがブースト
「クソみたいなコードを書いても定義済の動作をするから †型安全† です！」って、そりゃそうだが、その嬉しさの程度がいかほどのものかちゃんと考えたんか……？ という感想にはなるな
orange
さんがブースト
人には人の型安全
orange
さんがブースト
@kory > Python、Ruby：（ほぼ間違いなく）型安全。 PythonやRubyは動的型付き言語とよく言われますが、実行時のシグナルの型エラーに対して例外処理を実行します。Javaが ArrayBoundsException を実行するように、Rubyは整数型と文字列型を連結しようとすると例外処理を実行するのです。
https://postd.cc/what-is-type-safety/
見つけました！！（奇跡
書いた＞＜
Re:観光特化 (#.4493334) | JR東日本、2022年度の輸送密度を公表。55区間が1000人未満 | スラド https://srad.jp/comment/4493334
なんか、本当にこの場所がドキュメンタリー番組とかで紹介されたあの場所で、1万人以上の日系人が収容されてた場所って＞＜
ドキュメンタリー番組とかで見てる範囲だとどうしても現実に今もその場所があるって実感がちょっと減っちゃってるかも＞＜
NHKとかのドキュメンタリーで見るのと、ほぼリアルタイムのyoutubeライブの散策で見るの、全然感覚違うし、木々が多いのも景色が想像以上にきれいだったのも驚きだし、そのアメリカの風景のなかに漢字で「慰霊塔」って書かれた石碑が現れるの、写真で見た時と比べ物になら無いほどの衝撃だった＞＜
配信してたスマホが電動キックボードからとれて落ちてストリーム途切れちゃったっぽい？＞＜；
マンザナー、歴史番組での当時の写真とか、ドキュメンタリー番組での紹介だと緑があんまり無いイメージだけど、時期によってはこんなに緑が多くなるんだね＞＜
ほとんどタンブルウィードっぽいけど＞＜
悲しい歴史の土地だけど、めちゃくちゃ景色きれい＞＜
新しい枠出来た＞＜
"BigRigTravels LIVE from Lone Pine, California. ( Jul 11, 8:22 AM )" を YouTube で見る https://www.youtube.com/live/tPd4knvsyWs?feature=share
ストリーム切れちゃった＞＜；
マンザナー日系人収容所跡地を電動キックボードで散策するっぽい？＞＜
なんか、マンザナー日系人収容所跡地に寄ってる！＞＜
"BigRigTravels LIVE from Independence, California. ( Jul 11, 7:49 AM )" を YouTube で見る https://www.youtube.com/live/9EO20ePuK9k?feature=share
- ＠orange_in_space
2017年 4月に登録
