Two parameterized types are provabl

Two parameterized types are provably distinct if either of the following is true:
• They are parameterizations of distinct generic type declarations.
• Any of their type arguments are provably distinct.
Given the generic types in the examples of §8.1.2, here are some well-formed parameterized
types:
• Seq
• Seq
• Seq.Zipper
• Pair

ผลลัพธ์ (ไทย) 1:

ชนิดพารามิเตอร์ที่สองจะแตกต่างกัน provably ถ้าอย่างใดอย่างหนึ่งต่อไปนี้เป็นจริง:•มี parameterizations ของการประกาศชนิดทั่วไปที่แตกต่างกัน•อาร์กิวเมนต์ชนิดของพวกเขาเป็น provably แตกต่างกันกำหนดชนิดทั่วไปในตัวอย่างของ §8.1.2 มีบางรูปแบบพารามิเตอร์ชนิด:•ลำดับ•ลำดับ>•ลำดับ. ซิป•คู่

ผลลัพธ์ (ไทย) 2:

สองประเภทแปรเป็นสรรพสิ่งที่แตกต่างกันถ้าอย่างใดอย่างหนึ่งดังต่อไปนี้เป็นจริง:
. •พวกเขามีความแตกต่างกันของ parameterizations ประกาศประเภททั่วไป
. •ใด ๆ ของการขัดแย้งประเภทของพวกเขามีความแตกต่างสรรพสิ่ง
ที่ได้รับในประเภททั่วไปตัวอย่างของ§8.1.2ที่นี่คือบางส่วน รูปแบบที่ดีแปร
ประเภท:
•ลำดับ
•ลำดับ>
•ลำดับ.ซิป
•คู่