แลมบ์ดาแคลคูลัส

Alonzo Church ได้เสนอ Lambda Calculus ซึ่งเป็นระบบรูปนัยสำหรับการนิยามและการประยุกต์ใช้ฟังก์ชัน Lambda Calculus ถือเป็นรากฐานทางทฤษฎีของการเขียนโปรแกรมเชิงฟังก์ชัน โดยแบบดั้งเดิมของปี 1936 นั้นไม่มีระบบชนิดข้อมูล ชาร์ชได้เพิ่มระบบชนิดข้อมูลแบบเรียบง่ายในปี 1940 (“A Formulation of the Simple Theory of Types”) ซึ่งเป็นหนึ่งในระบบชนิดข้อมูลที่ชัดเจนในยุคแรก ๆ

Alonzo Church (1903–1995)

สถานะ

ตรวจสอบแล้ว

ประเภทเนื้อหา

fact

ตรวจสอบล่าสุด

2026-07-16