ما هي Zygo / Meta / Histo / Para / Futu / Dyna / أيا كانت مورفيس؟

سؤال

هل هناك قائمة منهم مع أمثلة يمكن الوصول إليها لشخص دون نظرية فئة واسعة النطاق؟

المحلول

البرمجة الوظيفية مع الموز والعدسات والأظرف والأسلاك الشائكة (PDF) يجب أن تساعد كذلك. سوف تحصل على شعري بعض الشيء، ولكن قرأته عدة مرات يجب أن تكون قادرا على إخراج تلك القائمة لك.

أيضا، ألق نظرة على مخططات Recursion (الأرشيف) مشاركة مدونة, خطط المدون على تقديم كل فرديين قريبا، لذلك تحقق مرة أخرى لها بانتظام - أنا تخمين.

نصائح أخرى

ابدأ بتعلم عن المعطف؛ هذه هي أسهل لفهم. أنت تعرف بالفعل واحدة: foldr!

ثم الذهاب للحصول على البصرامور (unfoldr) والمعلمون. عندها فقط الذهاب إلى مقالات / ورقات Wikipedia الأخرى؛ بحلول ذلك الوقت سيكون من الأسهل فهمها.

Edward Kmett تم نشر مؤخرا دليل المجال إلى مخططات Recursion, ، ربما يساعد؟

تحقق من شريحة تيم وليامز على مخططات العودية هنا:

يفسرون جميعهم * - مهورشمشونية مع تحفيز أمثلة لكل منها.

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow