যেকোনো উপায়ে প্রোগ্রামিং ভাষা তত্ত্বের ইতিহাস নিজেদের প্রোগ্রামিং ভাষার উন্নয়নের থেকেও এগিয়ে।আলোন্‌জো চার্চ এবং স্টিফেন কোলে ক্লিনি ১৯৩০ দশকের দিকে ল্যামডা ক্যালকুলাস এর উন্নয়ন সাধন করেছিলেন যেটিকে কেউ কেউ মনে করেন বিশ্বের প্রথম প্রোগ্রামিং ভাষাˌ যদিও এটির উদ্দেশ্য ছিল মডেল গুনতি কিন্তু তার থেকেও বেশি ছিল প্রোগ্রামারদের জন্য একটি কম্পিউটার সিস্টেমের আলগোরিদিম বর্ণনা করা।ল্যামডা ক্যালকুলাস এর উপর পাতলা আবরণ প্রদান করে অনেক আধুনিক ফাংশনভিত্তিক প্রোগ্রামিং ভাষা বর্ণিত হয়েছে এবং অনেকেই এর পরিপ্রেক্ষিতে সহজেই এর শর্তাবলী বর্ণনা করেছেন।