orange @[email protected]

たとえばプログラムにそれっぽい型とか制約が自動で貼り付けられたとして、それを精査して正しさの確信を与えるような人なんて “神経質” な一部の人だけですよ。まあ静的型付き言語界隈はそういう神経質な人がまあまあ多いので逆に期待できてしまうわけだけど……

原文と照合しながら読めるような人はそもそも機械翻訳なんてなくたって読めるわけですよ。そういう人の方が稀。

たとえば機械翻訳とかの例が手っ取り早いんだけど、あれ使って雑に英語読んだ気になってる人たちは答え合わせなんてせず大嘘のキャプチャ画像を Twitter に放流したりしてるので。そういうことですね

人間、まず答え合わせなんてしないので。推論結果が出たらだいたい雑にそのまま使うでしょ

たぶんそれは全然文脈が違う

名前空間……？

セマンティクスを直に扱うドキュメント設計者やソフトウェア開発者がそういう一次情報の重要性に無頓着なのは問題のあるスタンスなんじゃないかと思いますね。個人的な信念として。
もちろんそう思っていなくてファジーでいいから何でも自動化して省力化するのが良いという思想の人もいるのだろうけど……

これは型付けに限らず文書のタグ付けとかでも同様のことを思っていて、人間の「意図」を著者や開発者がいかに正確に (あるいは可能な限り) 一次情報として書き出せるかというのが重要で、ｴｰｱｲがどうとかルールベースでどうというのは結局のところそれっぽくでっちあげた二次的な情報に過ぎない

表明していない制約を勝手に読み取って検査というのは完全には正確たりえないうえ互換性維持とかにも支障をきたすし、信用していない

人間は愚かだと思っているので強力な静的検査を良しとしていて、強力な静的検査には「制約を正確に表明すること」が前提として必要なので (どこまで精密にあるいは保守的に検査するかはその前提の上での話)、「やりたいことの数だけ型が増える」というのは一見スマートでないように見えるかもしれないけど方向性としてとても正しいと思っている

成田空港滑走路にカメ ウミガメ描かれた旅客機など足止め｜NHK 千葉県のニュース https://www3.nhk.or.jp/lnews/chiba/20210924/1080015974.html
これすき