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

พิจารณาตัวอย่างนี้ โดยอิงจากเซตXและประเภทT ( X ) = [ X → X ] ของฟังก์ชันจากXไปยังตัวมันเอง ฟังก์ชันลำดับสูงกว่าสองเท่า_X  : T ( X ) → T ( X ) ที่กำหนดโดยสองเท่า_X ( f ) = f ∘ f นั้น โดยสัญชาตญาณแล้วเป็นอิสระจากเซตXตระกูลของฟังก์ชันสองเท่า_X ทั้งหมดดังกล่าว ซึ่งกำหนดพารามิเตอร์โดยเซตXเรียกว่า " ฟังก์ชันพหุรูปเชิงพารามิเตอร์ " เราเพียงแค่เขียนสองเท่าสำหรับตระกูลของฟังก์ชันทั้งหมดเหล่านี้ และเขียนประเภทของมันเป็นX . T ( X ) → T ( X ) ฟังก์ชันแต่ละตัวที่เป็นสองเท่า_Xเรียกว่าส่วนประกอบหรืออินสแตนซ์ของฟังก์ชันพหุรูป สังเกตว่าฟังก์ชันส่วนประกอบสองเท่า_X ทั้งหมด ทำงาน "ในลักษณะเดียวกัน" เพราะพวกมันถูกกำหนดโดยกฎเดียวกัน ตระกูลของฟังก์ชันอื่นๆ ที่ได้จากการเลือกฟังก์ชันใดๆ จากแต่ละT ( X ) → T ( X ) จะไม่มีความสม่ำเสมอเช่นนี้ พวกมันเรียกว่า"ฟังก์ชัน พหุรูป เฉพาะกิจ " ความเป็นพาราเมตริกคือคุณสมบัติเชิงนามธรรมที่พบในตระกูลฟังก์ชันที่ทำหน้าที่สม่ำเสมอ เช่น ฟังก์ชันtwiceซึ่งทำให้แตกต่างจาก ตระกูลฟังก์ชัน เฉพาะกิจด้วยการกำหนดรูปแบบที่เป็นทางการของความเป็นพาราเมตริกอย่างเหมาะสม ทำให้สามารถพิสูจน์ได้ว่าฟังก์ชันพหุรูปพาราเมตริกประเภทX . T ( X ) → T ( X ) เป็นฟังก์ชันหนึ่งต่อหนึ่งกับจำนวนธรรมชาติ ฟังก์ชันที่สอดคล้องกับจำนวนธรรมชาติnกำหนดโดยกฎf f ⁿ นั่นคือ จำนวน Churchพหุรูปสำหรับnในทางตรงกันข้าม กลุ่มของ ตระกูล ฟังก์ชันเฉพาะกิจ ทั้งหมด จะมีขนาดใหญ่เกินกว่าจะเป็นเซตได้ ${\displaystyle \forall }$${\displaystyle \forall }$${\displaystyle \mapsto }$

ทฤษฎีบทพาราเมตริกได้รับการกล่าวถึงครั้งแรกโดยJohn C. Reynoldsซึ่งเรียกมันว่าทฤษฎีบทนามธรรม [ ^{1 ] ใน}บทความของเขาเรื่อง "Theorems for free!" ^{[ 2 ]} Philip Wadlerได้อธิบายการประยุกต์ใช้พาราเมตริกเพื่อหาทฤษฎีบทเกี่ยวกับฟังก์ชันโพลีมอร์ฟิกพาราเมตริกโดยอาศัยประเภทของฟังก์ชันเหล่านั้น

ความเป็นพารามิเตอร์เป็นพื้นฐานสำหรับการแปลงโปรแกรม หลายอย่าง ที่นำมาใช้ในคอมไพเลอร์สำหรับภาษาโปรแกรมHaskellการแปลงเหล่านี้ถือว่าถูกต้องใน Haskell มาแต่เดิมเนื่องจาก ความหมาย ที่ไม่เข้มงวด ของ Haskell แม้จะเป็น ภาษาโปรแกรมแบบ ประเมินแบบขี้เกียจแต่ Haskell ก็รองรับการดำเนินการพื้นฐานบางอย่าง เช่น ตัวดำเนินการseq— ที่ช่วยให้ เกิด ความเข้มงวดแบบเลือกได้ซึ่งอนุญาตให้บังคับการประเมินสำหรับนิพจน์บางอย่าง ในบทความ "Free theorems in the presence of seq " ^{[ 3 ]} Patricia Johann และ Janis Voigtlaender แสดงให้เห็นว่าเนื่องจากการมีอยู่ของการดำเนินการเหล่านี้ ทฤษฎีบทความเป็นพารามิเตอร์ทั่วไปจึงไม่เป็นจริงสำหรับโปรแกรม Haskell ดังนั้นการแปลงเหล่านี้จึงไม่ถูกต้องโดยทั่วไป

• โพลีมอร์ฟิซึมแบบพาราเมตริก
• ภาษาโปรแกรมที่ไม่เข้มงวด

• วาดเลอร์: ความเป็นพารามิเตอร์