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

ตัวอย่างเช่น ในการเขียนโปรแกรมระดับสูง เราสามารถส่งฟังก์ชันเป็นอาร์กิวเมนต์ให้กับฟังก์ชันอื่นได้ และฟังก์ชันก็สามารถเป็นค่าส่งคืนของฟังก์ชันอื่นได้ (เช่น ในมาโครหรือสำหรับการตีความ ) รูปแบบการเขียนโปรแกรมนี้ส่วนใหญ่ใช้ในการเขียนโปรแกรมเชิงฟังก์ชันแต่ก็มีประโยชน์มากในการเขียนโปรแกรมเชิงวัตถุเช่นกัน การตีความที่แตกต่างออกไปเล็กน้อยของการเขียนโปรแกรมระดับสูงในบริบทของการเขียนโปรแกรมเชิงวัตถุคือข้อความระดับสูงซึ่งอนุญาตให้ข้อความมีข้อความอื่นเป็นอาร์กิวเมนต์ แทนที่จะเป็นฟังก์ชัน

ตัวอย่างของภาษาที่รองรับสิ่งนี้ได้แก่Ada , Wolfram Language , C# , Java , ECMAScript ( ActionScript , JavaScript , JScript ), F# , Haskell , Lisp ( Common Lisp , Scheme , Clojureและ อื่นๆ), Lua , Oz , Perl , PHP , Prolog , ^{[ 2 ]} Python , Ruby , Smalltalk , Scala , MLและErlang

• Prolog#การเขียนโปรแกรมลำดับสูง
• การเขียนโปรแกรมตรรกะลำดับสูง

• หนังสือ "การเขียนโปรแกรมระดับสูง"โดย Sjoerd Visscher (ใช้ JavaScript เป็นตัวอย่าง)

บทความเกี่ยวกับการเขียนโปรแกรมคอมพิวเตอร์ชิ้นนี้ยังไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี