orange @[email protected]

狭義の型安全性すら持たない実用言語、探してくる方が難しいぞ (言うまでもないが C/C++ はカウントしない)

例外として C/C++ はそのベースラインを大幅に下回る史上最強の殿堂入りクソ言語です、掛け値なしに

だから結局のところ型安全かどうかをというのは言語や型システムの設計者の心配事なのであって、ユーザはそれを当然のベースライン保証として考えるんだから、巷の実用言語について “型安全性” を論ずることに実用的な意味はほとんどなくない？ ということです

型安全の範疇ではあるかもしれないが、その有難味は如何程か、という話

https://mastodon.cardina1.red/@lo48576/110698823590524781

で、プログラム書いてるとき気付けなくて実際にある程度動かしてから突然「はい異常終了！」と言われるの、未定義動作より “少しマシ” な程度でしかなくない？ という

脳内で勝手にコンパイル時の検査だと補完してたわ

あ、「駄目です」は異常終了を含んでます？ならおｋかも

ワイ「hoge型が想定されてるストレージにfuga型書き込んだろwww」
プログラム「はい型が違いま〜すwww異常終了！！！」

↑ みたいな例を考えたとき、異常終了が必ず保証されているならこれは型安全性を破ったことにならない

それは違うのでは

そもそもそういう考え方は「アドレス」という概念を持たない言語に対して全く効力がないので、モデル化に失敗していると思う

いや、この言い方には語弊があるが

それは実行時型情報とかの話では？

その文脈での「マシさ」には度合いがあって、動的型付き言語はそのマシさにおいて最底辺に近い、ということをわかってほしいという話

あらゆる不都合な動作を「例外が飛びます」とか「終了コード127でプログラムが終了します」とかの “定義済の挙動/状態” へと飛ばしてしまえばそれは “型安全” な言語になるんだけど、それで？ という話でしかない。
極論を言えば「未定義動作で必ず abort() する拡張されたC言語」みたいなものがあったらそれは型安全といえるはず。
で、サイレントに狂わなくなるのは確かにだいぶマシではあるが、所詮マシなだけなのよね