アカウント名:
パスワード:
ソフトウェアの形式的検証の成果のうち、産業界でも広く使われるようになった「強い型付け」とか。
それを言ったらALGOL [wikipedia.org]に由来する各種概念が, 今日の実用プログラムの9割がたぐらいを占めていそう.
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
長期的な見通しやビジョンはあえて持たないようにしてる -- Linus Torvalds
ソフトウェアそのものじゃないけど (スコア:0)
ソフトウェアの形式的検証の成果のうち、産業界でも広く使われるようになった「強い型付け」とか。
Re:ソフトウェアそのものじゃないけど (スコア:1)
それを言ったらALGOL [wikipedia.org]に由来する各種概念が, 今日の実用プログラムの9割がたぐらいを占めていそう.