If the signature is left out, Haske

If the signature is left out, Haskell infers all these type constraints
automatically. tailComp meets the right type signature, with the type String being a
specialization of the generic type allowed in qsortF arguments (a different comparison
function might operate over a different type or type class)

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

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

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

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

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

หากโดดเด่นด้านซ้ายออกจาก Eddie Haskell ' s ...เพียงแค่อนุมานเงื่อนไข ประเภท นี้ทั้งหมด
ซึ่งจะช่วยโดยอัตโนมัติ tailcomp ตรงกับลายเซ็นพิมพ์ด้านขวาที่มีสตริง ประเภท ที่มีสาขาที่เชี่ยวชาญ
ซึ่งจะช่วยให้การพิมพ์ทั่วไปที่ได้รับอนุญาตให้อยู่ในอาร์กิวเมนต์ qsortf (การเปรียบเทียบที่แตกต่างกัน
ฟังก์ชันอาจจะใช้ได้กับ Class ประเภท หรือ ประเภท ที่แตกต่างกัน)