アカウント名:
パスワード:
バグがないという保証がどこにあろうか。
ネットのコードをコピペする怖さはバグだけでなく、バージョンが古すぎたり、書き方が間違ってたりすることにもある。
＃「MySQL8.0がデフォルトで濁点と半濁点を区別しなくなる」＃で、もしそれに依存したコードを8.0以降に書いちゃったらどうなるか。＃そのくらいの対応はプログラマの責任と言えばそうなんだが、＃ツールのせいにするコピペプログラマーとかいそう。
> バグがないという保証がどこにあろうか。
バグがないという「保証」のあるコードなんて、そもそもお目にかかったことがないんですが。
たとえばfelicaはバグがないことが「保証」されてるよ
？？？
「仕様と実装が一致している」ところまでは検証できても「仕様バグ」があったらどうしようもない。「felica(というシステム)はバグがない」なんてことは保証できないでしょう。
ATS2 とか証明機能のある言語は稀少だからな。
/* ATS2、ドキュメント未整備すぎる……他人に使わせる気有るのかな設計者。 */
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
吾輩はリファレンスである。名前はまだ無い -- perlの中の人
文脈は判断しても (スコア:0)
バグがないという保証がどこにあろうか。
ネットのコードをコピペする怖さはバグだけでなく、バージョンが古すぎたり、
書き方が間違ってたりすることにもある。
＃「MySQL8.0がデフォルトで濁点と半濁点を区別しなくなる」
＃で、もしそれに依存したコードを8.0以降に書いちゃったらどうなるか。
＃そのくらいの対応はプログラマの責任と言えばそうなんだが、
＃ツールのせいにするコピペプログラマーとかいそう。
Re:文脈は判断しても (スコア:1)
> バグがないという保証がどこにあろうか。
バグがないという「保証」のあるコードなんて、そもそもお目にかかったことがないんですが。
Re: (スコア:0)
たとえばfelicaはバグがないことが「保証」されてるよ
Re: (スコア:0)
たとえばfelicaはバグがないことが「保証」されてるよ
？？？
Re: (スコア:0)
???ということは想像もつかなかったんだろうが
Re: (スコア:0)
「仕様と実装が一致している」ところまでは検証できても「仕様バグ」があったらどうしようもない。「felica(というシステム)はバグがない」なんてことは保証できないでしょう。
Re: (スコア:0)
そこまで機械化しなくても、人間サイドの勘違いによる仕様バグを防止する効果もあるよ
というか自然言語による仕様レビューなんて盲が象について議論してるも同じだよね…
Re: (スコア:0)
ATS2 とか証明機能のある言語は稀少だからな。
/* ATS2、ドキュメント未整備すぎる……他人に使わせる気有るのかな設計者。 */