Naturally, the listpassed as the se

Naturally, the list
passed as the second argument to qsortF must also be of the same type "a." Notice
also that the type signature given in the sample code is only needed for documentation
purposes. 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:

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

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

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

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

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