نموذج موقع

نظرًا لأن هذه هي نظرية الفئة للمبرمجين ، سأوضح جميع المفاهيم الرئيسية باستخدام رمز الكمبيوتر. ربما تعلم أن اللغات الوظيفية أقرب إلى الرياضيات من اللغات الإلزامية الأكثر شيوعًا. كما أنها توفر المزيد من القوة التجريدية. لذلك سيكون هناك إغراء طبيعي للقول: يجب أن تتعلم هاسكل قبل أن تصبح مكافأة نظرية الفئة متاحة لك. لكن هذا يعني أن نظرية الفئة لا يوجد بها تطبيق خارج البرمجة الوظيفية وهذا ببساطة غير صحيح. لذلك سوف أقدم الكثير من أمثلة C ++. منحت ، سيتعين عليك التغلب على بناء جملة قبيح ، قد لا تبرز الأنماط من خلفية الفعل ، وقد تضطر إلى القيام ببعض النسخ واللصق بدلاً من التجريد العالي ، ولكن هذا مجرد الكثير من مبرمج C ++ .

لكنك لست خارج الخطاف فيما يتعلق بهاسكل. ليس عليك أن تصبح مبرمجًا من Haskell ، لكنك بحاجة إليها كلغة لرسم الأفكار وتوثيقها ليتم تنفيذها في C ++. هكذا بالضبط بدأت مع هاسكل. لقد عثرت على بناء جملة مقتضب ونظام كتابة قوي مساعدة كبيرة في فهم وتنفيذ قوالب C ++ ، بنيات البيانات ، والخوارزميات. لكن بما أنني لا أستطيع أن أتوقع من القراء أن يعرفوا هاسكل بالفعل ، فسأقدمه ببطء وأشرح كل شيء كما أذهب.

إذا كنت مبرمجًا ذو خبرة ، فقد تسأل نفسك: لقد كنت أقوم بالتشفير لفترة طويلة دون القلق بشأن نظرية الفئة أو الطرق الوظيفية ، فما الذي تغير؟ بالتأكيد لا يمكنك المساعدة ولكن لاحظ أنه كان هناك دفق مستمر من الميزات الوظيفية الجديدة التي تغزو اللغات الضرورية. حتى Java ، معقل البرمجة الموجهة للكائنات ، دع اللمدات في C ++ تتطور مؤخرًا بوتيرة محمومة - معيار جديد كل بضع سنوات - تحاول اللحاق بالعالم المتغير. كل هذا النشاط يعد تحولا لتغيير اضطراب أو ، كما نسميه الفيزيائي ، مرحلة انتقالية. إذا واصلت تسخين المياه ، فستبدأ في الغليان. نحن الآن في موقع الضفدع الذي يجب أن يقرر ما إذا كان ينبغي الاستمرار في السباحة في المياه الساخنة على نحو متزايد ، أو البدء في البحث عن بعض البدائل.
إحدى القوى التي تقود التغيير الكبير هي الثورة متعددة المراكز. نموذج البرمجة السائد ، البرمجة الموجهة للكائنات ، لا يشتري لك أي شيء في عالم التزامن والتوازي ، وبدلاً من ذلك يشجع التصميم الخطير والعربات التي تجرها الدواب. إخفاء البيانات ، الفرضية الأساسية لاتجاه الكائن ، عندما تقترن بالمشاركة والتحور ، تصبح وصفة لسباقات البيانات. تعتبر فكرة الجمع بين كائن مزامنة مع البيانات التي تحميها فكرة لطيفة ، لكن للأسف ، لا يتم تكوين الأقفال ، كما أن إخفاء الإقفال يجعل من المرجح حدوث مشكلات في حالة توقف تام.
خبير سيو
ولكن حتى في حالة عدم التزامن ، يختبر التعقيد المتزايد لأنظمة البرمجيات حدود قابلية التوسع للنموذج الضروري. بكل بساطة ، بدأت الآثار الجانبية تخرج عن السيطرة. منحت ، غالبا ما تكون الوظائف التي لها آثار جانبية مريحة وسهلة في الكتابة. يمكن ترميز آثارها من حيث المبدأ بأسمائها وفي التعليقات. من الواضح أن وظيفة تسمى SetPassword أو WriteFile تقوم بتحويل بعض الحالات وتوليد آثار جانبية ، ونحن معتادون على التعامل مع ذلك. فقط عندما نبدأ في تكوين وظائف لها آثار جانبية على رأس الوظائف الأخرى التي لها آثار جانبية ، وهكذا ، تبدأ الأمور في الشعور بالشعر. ليست هذه الآثار الجانبية سيئة بطبيعتها - إنها مخفية عن الأنظار مما يجعلها مستحيلة الإدارة على نطاقات أكبر. الآثار الجانبية ليست على نطاق واسع ، والبرمجة الملحة هي كل شيء عن الآثار الجانبية.
سيو
التغييرات في الأجهزة والتعقيد المتزايد للبرامج تجبرنا على إعادة التفكير في أسس البرمجة. تمامًا مثل بناة الكاتدرائيات القوطية العظيمة في أوروبا ، لقد قمنا بتشذيب حريتنا على حدود المواد والبنية. توجد كاتدرائية قوطية غير مكتملة في بوفيه ، فرنسا ، تقف شاهداً على هذا الكفاح الإنساني العميق بقيود. كان الغرض منه هو التغلب على جميع السجلات السابقة من الطول والخفة ، لكنه عانى سلسلة من الانهيارات. تمنعها التدابير الخاصة مثل قضبان الحديد والدعامات الخشبية من الانهيار ، لكن من الواضح أن الكثير من الأمور قد أخطأت. من منظور حديث ، إنها معجزة أن العديد من الهياكل القوطية قد أنجزت بنجاح دون مساعدة من علم المواد الحديثة ، ونمذجة الكمبيوتر ، وتحليل العناصر المحدودة ، والرياضيات العامة والفيزياء. آمل أن تكون الأجيال المقبلة معجبة بمهارات البرمجة التي نعرضها في بناء أنظمة تشغيل معقدة وخوادم الويب والبنية التحتية للإنترنت. وبصراحة ، ينبغي عليهم ذلك ، لأننا فعلنا كل هذا بناءً على أسس نظرية واهية للغاية. يجب أن نصلح تلك الأسس إذا أردنا المضي قدمًا.