نظام لانينغ وزيرلر

كان نظام لانينغ وزيرلر (الذي يُطلق عليه مستخدموه أحيانًا اسم "جورج") أول مُترجم جبري عامل ، أي نظام قادر على قبول الصيغ الرياضية المكتوبة بالترميز الجبري وإنتاج رمز آلة مكافئ (لم يكن مصطلح "المُترجم" قد ظهر بعد، وكان يُشار إلى النظام باسم " برنامج تفسيري "). تم تنفيذه عام 1952 ^{[ 1 ]} لجهاز MIT WHIRLWIND بواسطة ج. هالكومب لانينغ ونيل زيرلر. وقد سبقه مُترجمات غير جبرية مثل نظام A-0 على جهاز UNIVAC I.

كان النظام يقبل الصيغ بصيغة جبرية إلى حد ما. وكان يلتزم بقواعد أسبقية العمليات القياسية ، ويسمح باستخدام الأقواس المتداخلة، ويستخدم الرموز المرتفعة للدلالة على الأسس . وكان من أوائل أنظمة البرمجة التي سمحت باستخدام أسماء المتغيرات الرمزية وتخصيص مساحة التخزين تلقائيًا.

كما قام النظام بأتمتة المهام التالية: حساب الفاصلة العائمة ، والربط بالبرامج الفرعية للوظائف الأساسية للتحليل (الجيب، وما إلى ذلك) والطباعة، والمصفوفات والفهرسة.

كان النظام يستقبل المدخلات على شريط مثقوب مُنتَج بواسطة طابعة فريدن فليكسو رايتر . تضمنت مجموعة الأحرف المستخدمة في نظام ويرل ويند أرقامًا كبيرة (مرفوعة) وواصلة، والتي استُخدمت للإشارة إلى مؤشرات المصفوفات، ورموز الدوال، والأسس (الصحيحة). وكما هو الحال في أنظمة البرمجة الأخرى في ذلك الوقت، كان النظام يقبل أسماء المتغيرات المكونة من حرف واحد فقط، وكان يُشار إلى عملية الضرب بتجاور المعاملات. كما كانت هناك نقطة بارزة متاحة للإشارة إلى الضرب بشكل صريح (تم إنشاء هذا الحرف عن طريق إزالة النصف السفلي من النقطتين الرأسيتين!). وتضمن النظام أيضًا دعمًا لحل المعادلات التفاضلية الخطية باستخدام طريقة رونج-كوتا .

وُصِف النظام في دليل مطبوع من 18 صفحة، كُتِبَ للأشخاص الملمين بالرياضيات ولكن ربما غير الملمين بالحواسيب. وهو لا يحتوي تقريبًا على أي مقدمة عن مكونات الحاسوب المادية.

المثال التالي، المأخوذ من الصفحة 11 من دليل النظام، يُقيّم${\displaystyle \cos x}$ل${\displaystyle x=0,0.1,...,1}$باستخدام متسلسلة تايلور . لا يُعدّ التنفيذ فعالاً للغاية، ويتضمن النظام بالفعل${\displaystyle \cos x}$في مكتبة الإجراءات الفرعية الخاصة بها، لكن المثال يُقدّم لمحة عن بنية النظام. لاحظ أن القسمة في النظام تُجرى بعد الضرب، وأن CP 1 هو فرع شرطي للمعادلة 1 إذا كانت القيمة الأخيرة المحسوبة سالبة.

x = 0, 1 z = 1 - x 2 /2 + x 4 /2·3·4 - x 6 /2·3·4·5·6 + x 8 /2·3·4·5·6·7·8 - x 10 /2·3·4·5·6·7·8·9·10, اطبع x و z . x = x + 0.1، e = x - 1.05، CP 1، قف

كُتبت تطبيقات قليلة لهذا النظام. أحد التطبيقات الموثقة، من تأليف لانينغ وزيرلر أنفسهما، تناول مسألة في مجال الطيران. تطلبت المسألة سبعة أنظمة من المعادلات التفاضلية للتعبير عنها، وقد أُسندت إلى جهاز Whirlwind لأنها كانت أكبر من أن يتمكن محلل المعادلات التفاضلية في معهد ماساتشوستس للتكنولوجيا من معالجتها. استغل المؤلفان خاصية رونج-كوتا في نظام البرمجة الخاص بهما، وأنتجا برنامجًا من 97 عبارة في ساعتين ونصف. وقد تم تشغيل البرنامج بنجاح من المحاولة الأولى.

ذكرت بعض المصادر أن نظام لانينغ وزيرلر كان مصدر إلهام لغة فورتران . وقد اعترف جون دبليو باكوس نفسه بأنه ساهم في هذا المفهوم الخاطئ.

إن تأثير نظام لانينغ وزيرلر على تطوير لغة فورتران مسألةٌ شابها الكثير من الغموض نتيجةً لتصريحاتٍ خاطئةٍ من جانبي. لسنواتٍ عديدة، اعتقدتُ أننا استوحينا فكرة استخدام الترميز الجبري في فورتران من مشاهدة عرضٍ توضيحيٍّ لنظام لانينغ وزيرلر في معهد ماساتشوستس للتكنولوجيا. (باكوس ^{[ 2 ]} )

بعد مراجعة الوثائق من ذلك الوقت، علم باكوس أن مشروع FORTRAN كان "قد بدأ بالفعل" عندما أتيحت له ولفريقه فرصة رؤية عمل لانينغ وزيرلر:

كنا نفكر بالفعل في مدخلات جبرية أكثر تعقيدًا بكثير من تلك المستخدمة في نظام لانينغ وزيرلر عندما سمعنا لأول مرة عن عملهما الرائد... من الصعب معرفة ما إذا كنا قد استوحينا أي أفكار جديدة من مشاهدة عرض نظامهما. (باكوس ^{[ 2 ]} )

• تاريخ لغات البرمجة
• الجدول الزمني للغات البرمجة

• لانينغ الابن، ج. هالكومب ؛ زيرلر، نيل [في ويكي بيانات] (يناير 1954). برنامج لترجمة المعادلات الرياضية لبرنامج ويرل ويند 1 (ملف PDF) . مختبر الأجهزة، معهد ماساتشوستس للتكنولوجيا . مذكرة هندسية E-364. مؤرشف (ملف PDF) من الأصل بتاريخ 25 أبريل 2022. تم الاطلاع عليه بتاريخ 14 يوليو 2022 .(28 صفحة)
• ساميت، جان إي. (1969). لغات البرمجة: التاريخ والأساسيات . برنتيس هول .
• "التطور المبكر للغات البرمجة". تاريخ الحوسبة في القرن العشرين . نيويورك: دار النشر الأكاديمية . 1980. ISBN 0-12-491650-3.