The power of Haskell's first class

The power of Haskell's first class functions lies largely in Haskell's type checking
system. In C, one might write a "quicksort" function that accepted a function pointer as
an argument, much as in the Haskell example. However, in C you would have no easy
way to make sure that the function (pointed to) had the correct type signature. That is,
whatever function serves as an argument to qsortF must take two arguments of the
same type ("a" stands for a generic type) and produce a Bool resul

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

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

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

อำนาจของฟังก์ชันชั้นของ Haskell อยู่ส่วนใหญ่ในชนิดของ Haskell ตรวจสอบ
ระบบการ ใน C หนึ่งอาจเขียนฟังก์ชัน "quicksort" ที่ยอมรับตัวชี้ฟังก์ชันเป็น
อาร์กิวเมนต์ ในตัวอย่าง Haskell มาก อย่างไรก็ตาม ใน C ต้องไม่ง่าย
วิธีการเพื่อให้แน่ใจว่า ฟังก์ชัน (ชี้ไป) มีลายเซ็นถูกต้องชนิด นั่นคือ,
ฟังก์ชันใดทำหน้าที่เป็น qsortF อาร์กิวเมนต์ต้องใช้อาร์กิวเมนต์ที่สองของการ
เดียวกันพิมพ์ ("a" ถึงชนิดทั่วไป) และผลิต Bool resul

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

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