Wildcards differ in certain details

Wildcards differ in certain details from the constructs described in the aforementioned
paper, in particular in the use of capture conversion (§5.1.10) rather than the close
operation described by Igarashi and Viroli. For a formal account of wildcards, see Wild
FJ by Mads Torgersen, Erik Ernst and Christian Plesner Hansen, in the 12th workshop on
Foundations of Object Oriented Programming (FOOL 2005).

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

อักขระตัวแทนที่แตกต่างในรายละเอียดบางอย่างจากโครงสร้างที่อธิบายไว้ในดังกล่าวข้างต้นกระดาษ โดยเฉพาะอย่างยิ่งในการใช้การแปลงภาพ (§5.1.10) แทนที่ปิดการดำเนินการอธิบาย โดยอิการาชิและ Viroli ดูบัญชีที่เป็นทางการของสัญลักษณ์ตัวแทน ป่าFJ โดย Mads Torgersen เอิร์นส์ Erik และแฮนเซนคริสเตียน Plesner ในโรง 12 บนรากฐานของวัตถุเน้นการเขียนโปรแกรม (โง่ 2005)

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

สัญลักษณ์แทนแตกต่างกันในรายละเอียดบางอย่างจากโครงสร้างที่อธิบายไว้ในข้างต้น
กระดาษโดยเฉพาะอย่างยิ่งในการใช้งานของการแปลงจับ (§5.1.10) มากกว่าการปิด
การดำเนินการอธิบายโดยราชิและ Viroli สำหรับบัญชีอย่างเป็นทางการของสัญลักษณ์ให้ดูป่า
FJ โดย Mads Torgersen, เอริคเอิร์นส์และคริสเตียน Plesner แฮนเซนในการประชุมเชิงปฏิบัติการครั้งที่ 12
ฐานรากของโปรแกรมเชิงวัตถุ (FOOL 2005)