لغة لِسب وحساب لامدا: قصة نظرية وعملية

تتناول هذه المقالة العلاقة بين لغة لِسب وحساب لامدا. لم يكن جون ماكارثي، مبتكر لغة لِسب، يفهم حساب لامدا بشكل كامل في البداية، لكنه استعار رموزه لإنشاء لغة لِسب. لغة لِسب ليست تطبيقًا مباشرًا لحساب لامدا، بل مستوحاة منه، وتدمج ميزات من جهاز IBM 704. وتستعرض المقالة تاريخ لغة لِسب المبكر، بما في ذلك تطبيق مُقيمها EVAL، والصلة بين عمليات car/cdr وجهاز IBM 704. كما تُقدم المقالة مفاهيم أساسية لحساب لامدا، مُوضحةً من خلال لغة لعب تُسمى ΛΙΣΠ. وفي النهاية، تكشف المقالة عن تفاعل رائع ومعقد بين لغة لِسب وحساب لامدا، تاركةً الكثير لاستكشافه في أجزاء لاحقة.