منذ أيام الحوسبة الأولى، عرف بعض الأشخاص رسمية البرمجة كعيب، م_uiين machines for their strict obedience to instructions. They hoped for more 'sensible' machinery that would reject nonsensical activities. لغات مستوى عالية ظهرت كتحسين، catching many silly mistakes with error messages instead of erroneous results. ومع ذلك، بقي الآلة المجردة عبادةً صادقة، قادرة تمامًا على تنفيذ تعليمات غير منطقية. استمرت البرمجة في.tailoring formal symbolism and the care it demands.
The proposal to design machines instructionable in native tongues would greatly increase the machine's burden, but proponents argued it would simplify human life. This assumes the obligation to use formal symbolism is the source of difficulty. The author doubts this argument, noting that interface choice isn't merely a division of labor—communication work across interfaces must be added.
History shows that formal symbolisms enabled progress. Greek mathematics stagnated in verbal form, and the modern world emerged when Western Europe freed itself from verbal precision through carefully designed formalisms by Vieta, Descartes, Leibniz, and Boole. Formal texts require only simple rules for legitimate manipulation, effectively ruling out nonsense that native tongues almost inevitably produce.
المصدر: Hacker News · لخّصه HeadlinesBriefing