การเขียนโปรแกรมแบบหลายขั้นตอน ( MSP ) เป็นรูปแบบหนึ่งของ การเขียนโปรแกรม แบบเมตาซึ่งการคอมไพล์จะถูกแบ่งออกเป็นชุดของขั้นตอนระดับกลาง ทำให้สามารถสร้างโค้ดรันไทม์แบบปลอดภัยต่อประเภทได้ [ ^{1 ] ประเภท} ที่กำหนดแบบคงที่ใช้เพื่อตรวจสอบว่าประเภทที่สร้างขึ้นแบบไดนามิกนั้นถูกต้องและไม่ละเมิดระบบประเภท

ในภาษา MSP นิพจน์จะถูกกำหนดคุณสมบัติโดยสัญลักษณ์ที่ระบุเฟสที่จะมีการประเมิน โดยการอนุญาตให้โปรแกรมมีความเฉพาะเจาะจงในระหว่างการทำงาน MSP สามารถเพิ่มประสิทธิภาพการทำงานของโปรแกรมได้: สามารถพิจารณาได้ว่าเป็นรูปแบบของการประเมินบางส่วนที่ทำการคำนวณในระหว่างการคอมไพล์เพื่อแลกกับการเพิ่มความเร็วในการประมวลผลในระหว่างการทำงาน^{[ 2 ]}

ภาษาการเขียนโปรแกรมหลายขั้นตอนรองรับโครงสร้างที่คล้ายกับโครงสร้างการอ้างอิงและของLispevalยกเว้นว่าต้องคำนึงถึงกฎขอบเขต ด้วย ^{[ 2 ]}

• เมตาโอแคมล์