コンピューティングの初期から、いくつかの人はprogrammingの形式性を欠点とみなし、機械が指示に従う厳密な従順を機械のせいにした。他们は「 sensible 」な機械を期待し、無意味な活動を拒否するもの hoped。高レベル言語が改善として現れ、誤り結果の代わりにエラーメッセージで多くの馬鹿げたミスをキャッチした。しかし、抽象機械は依然として忠実な奴隷であり、無意味な指示を完璧に実行する能力を持っていた。programmingは依然として形式記号とその要求される細心の注意を必要としていた。
母語で指示できる機械の設計提案は機械の負担を大きく増加させるが、支援者は人間の生活を簡素化すると言った。これは形式記号を使用する義務が困難の源であるという仮定に基づく。著者はこの議論に疑問を呈し、インターフェースの選択は単なる労働の分業ではない——インターフェースを越えた通信作業が追加される必要があると指摘した。
歴史は、形式記号が進歩を可能にしたことを示している。ギリシャ数学は言語形式で停滞し、近代世界は、ヴェータ、デカルト、ライプニッツ、ブールによって慎重に設計された形式主義から言語的正確性から自由された西ヨーロッパによって出現した。形式テキストは、合法的な操作に単純なルールのみを必要とし、母語が almost inevitably 生成する無意味を実質的に排除する。
出典: Hacker News · 要約：HeadlinesBriefing