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