Dasturlash uslublari va paradigmalar fanidan mustaqil ishi

Munozara
Strukturaviy dasturlashni erta qo'llagan P.J.Plauger tuzilgan dastur teoremasiga o'zining munosabatini tasvirlab berdi:
Biz konvertatsiya qiluvchilar bu qiziqarli yangilikni qayta qurilmagan assembler tili dasturchilarining burni ostida silkitib, mantiqning burilish qismlarini oldinga silkitib, “Men buni tuzata olmayman”, deb aytishdi. Böhm va Yakopinining isboti ham, tuzilgan kodni yozishdagi takroriy muvaffaqiyatlarimiz ham ularni o'zlarini ishontirishga tayyor bo'lganidan tezroq bir kunga olib keldi.
Donald Knuth dasturlarning isbotlanganligini hisobga olgan holda yozilishi kerak degan tamoyilni qabul qildi, lekin u GOTO bayonotini bekor qilish bilan rozi emas (va hali ham rozi emas). 1974 yilgi maqolasida,
"O'tish bayonotlari bilan tuzilgan dasturlash", u to'g'ridan-to'g'ri sakrash isbotlanish qobiliyatini yo'qotmasdan aniqroq va samaraliroq kodga olib kelishiga ishongan misollar keltirdi. Knut bo'shashtirilgan strukturaviy cheklovni taklif qildi: dasturning oqim diagrammasini chap tomonda barcha oldinga novdalar, o'ng tomonda barcha orqa novdalar va bir-birini kesib o'tmaydigan shoxlar bilan chizish mumkin bo'lishi kerak. Kompilyatorlar va grafiklar nazariyasi bo'yicha bilimdonlarning ko'pchiligi faqat qisqartiriladigan oqim grafiklariga ruxsat berishni yoqladilar.
Strukturaviy dasturlash nazariyotchilari 1970-yillarda IBM tadqiqotchisi Xarlan Mills o'zining tuzilgan dasturlash nazariyasi talqinini The New York Times tadqiqot fayli uchun indekslash tizimini ishlab chiqishda qo'llaganidan so'ng asosiy ittifoqchiga ega bo'lishdi. Loyiha muhandislik sohasida katta muvaffaqiyat bo'ldi va boshqa kompaniyalarning menejerlari uni tuzilgan dasturlashni qo'llab-quvvatlash uchun tilga oldilar, garchi Deykstra Millsning talqini nashr etilgan ishdan farq qilish usullarini tanqid qilgan.
1987 yil oxirida kompyuter fanlari jurnalida tuzilgan dasturlash masalasini ko'tarish hali ham mumkin edi. O'sha yili Frenk Rubin buni ""GOTO zararli deb topildi" zararli deb hisoblangan ochiq xat bilan qildi. Ko'plab e'tirozlar, jumladan, Dijkstraning Rubinni va boshqa yozuvchilarning unga javob berishda qilgan yondoshishlarini keskin tanqid qilgan javobi.

Natija

20-asrning oxiriga kelib, deyarli barcha kompyuter olimlari tizimli dasturlash tushunchalarini o'rganish va qo'llash foydali ekanligiga ishonch hosil qilishdi. Dastlab FORTRAN, COBOL va BASIC kabi dasturlash tuzilmalari bo'lmagan yuqori darajadagi dasturlash tillari endi ularga ega.