それは同意かも＞＜
orange
さんがブースト
だから何なのかというと、原著者にせよ開発者にせよ「意味論の正しさを保証する」という点において最後の砦となるべき人々がその正しさの保証に無頓着なようでは、そういう人々が生成するコードや文書もそもそも雑すぎて信用できたもんじゃねえしスタンスとしてよろしくないと考えているという話です
orange
さんがブースト
orange
さんがブースト
有害で有用ってのはつまり、「真逆の意味を読み取ってしまう可能性もあって危険だけど、今回のケースではたまたま問題がなかった」というようなケースがあるってこと
ていうか、メタな事にさっきオレンジが「名前空間？＞＜(？)」「違うかも」「oh...><; 」も投機的で非同期なあれじゃん？＞＜；
オレンジ的には型推論すごく嫌ってるけどそれはそれとして、誰かが指摘できるのであれば指摘すればいいと思うし、暫定的な状態を完全に否定したら前に進まないし、物事を非同期に進める事が困難になってあちこちで待ちが生じまくりになると思うかも＞＜
(CPUの投機的実行もそういう発想じゃん？＞＜)
orange
さんがブースト
たとえばプログラムにそれっぽい型とか制約が自動で貼り付けられたとして、それを精査して正しさの確信を与えるような人なんて “神経質” な一部の人だけですよ。まあ静的型付き言語界隈はそういう神経質な人がまあまあ多いので逆に期待できてしまうわけだけど……
orange
さんがブースト
orange
さんがブースト
たとえば機械翻訳とかの例が手っ取り早いんだけど、あれ使って雑に英語読んだ気になってる人たちは答え合わせなんてせず大嘘のキャプチャ画像を Twitter に放流したりしてるので。そういうことですね
orange
さんがブースト
人間、まず答え合わせなんてしないので。推論結果が出たらだいたい雑にそのまま使うでしょ
oh...><;
orange
さんがブースト
たぶんそれは全然文脈が違う
orange
さんがブースト
名前空間……？
オレンジはそういうの、投機的hogehogeって言うけど＞＜
技術面に限った話であれで、人間が表明しきれていない情報を機械が推定して補完するの、わりとありふれた(？)手法であるし、その推定を取り返しのつかない決定ではなく暫定的な決定として使い、あとで答え合わせする前提であれば、一般的に有用なのでは？＞＜
(オレンジが元の話だと思ってる話がそうじゃなく別の話っぽい？＞＜；)
よくわかんないけど、名前空間？＞＜(？＞＜；)
orange
さんがブースト
セマンティクスを直に扱うドキュメント設計者やソフトウェア開発者がそういう一次情報の重要性に無頓着なのは問題のあるスタンスなんじゃないかと思いますね。個人的な信念として。
もちろんそう思っていなくてファジーでいいから何でも自動化して省力化するのが良いという思想の人もいるのだろうけど……
- ＠orange_in_space
2017年 4月に登録
