最近の検索
検索オプション
「間違った処理を書くのが難しい」と「正しい処理を書くのが簡単」は両立させてほしいわけで、「間違った処理を書けないが、正しい処理も書くのが大変」では単に安全かつ使いづらい言語なのである
証明つき言語が安全だからといってそこら中で使われているわけでもないのも、そういう要因はあると思う (計算能力の違いはさておいて)
らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red
「正しい処理が書きやすく、間違った処理も書きやすい」ような動的言語が広く使われている現状から考えても、「正しい処理が書きやすい」の追求をやめたら簡単に見捨てられてしまいそう