The relationship of wildcards to es

The relationship of wildcards to established type theory is an interesting one, which we
briefly allude to here. Wildcards are a restricted form of existential types. Given a generic
type declaration G, G is roughly analogous to Some X

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

ความสัมพันธ์ของสัญลักษณ์แทนเพื่อทฤษฎีขึ้นชนิดเป็นน่าสนใจ ซึ่งเราสั้น ๆ เปรยนี่ สัญลักษณ์ตัวแทนแบบจำกัดของชนิดดำรงอยู่ได้ ได้รับการทั่วไปประกาศชนิด G, G มีประมาณคล้ายกับบาง X <: B. G.

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

ความสัมพันธ์ของสัญลักษณ์ทฤษฎีประเภทที่จัดตั้งขึ้นเป็นหนึ่งที่น่าสนใจซึ่งเรา
สั้น ๆ พูดถึงที่นี่ สัญลักษณ์แทนเป็นรูปแบบ จำกัด ประเภทอัตถิภาวนิยม รับทั่วไป
ประกาศประเภท Gจีคือประมาณคล้ายคลึงกับบาง X <: บีจี.

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

ความสัมพันธ์ของสัญลักษณ์เพื่อสร้างทฤษฎีประเภทเป็นหนึ่งที่น่าสนใจซึ่งเราสั้นเท้าที่นี่ สัญลักษณ์เป็นรูปของประเภทที่มีอยู่จำกัด . ได้รับการทั่วไปประเภทประกาศ G < t ( B > G < ? > เป็นประมาณเดียวกันบาง x < : B G < X >