Much as in C, Haskell is rigidly ty

Much as in C, Haskell is rigidly typed. The averageThree is a good example of a
function that requires type coercion in order to return the right value type. However,
the difSquare function shows something distinct to Haskell. difSquare has no type
signature, so Haskell will infer the appropriate type signature from the operations
involved in the function definition. At first appearance this might seem to be the same
thing that dynamically or loosely typed languages do; but what Haskell does is quite
different. difSquare is rigidly typed at compile time--there is no runtime dynamism to
this, but the type of difSquare has a Type Class that includes both integers and floats
(and also rationals, complex numbers, etc.). We can find the inferred type within Hugs:

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

มากที่สุดเท่าที่ใน C, Haskell จะพิมพ์อย่างเหนียวแน่น averagethree เป็นตัวอย่างที่ดีของการทำงาน
ที่ต้องบังคับประเภทเพื่อที่จะกลับชนิดมูลค่าขวา แต่
ฟังก์ชั่นแสดงให้เห็นบางสิ่งบางอย่าง difsquare ที่แตกต่างกันไป Haskell difsquare ไม่มีลายเซ็น
ประเภทดังนั้น Haskell จะอนุมานพิมพ์ลายเซ็นที่เหมาะสมจากการดำเนินงาน
มีส่วนร่วมในการกำหนดฟังก์ชันที่ปรากฏตัวครั้งแรกนี้อาจดูเหมือนจะเป็นสิ่งที่
เดียวกันกับที่แบบไดนามิกหรือหลวมภาษาพิมพ์ทำ แต่สิ่งที่ไม่ Haskell ค่อนข้าง
ที่แตกต่างกัน difsquare จะพิมพ์อย่างเหนียวแน่นที่รวบรวมเวลา - ไม่มีชีวิตชีวารันไทม์
นี้ แต่ชนิดของ difsquare มีคลาสประเภทที่มีจำนวนเต็มและลอย
(และยัง rationals, ตัวเลขที่ซับซ้อน ฯลฯ ) เราสามารถหาประเภทสรุปภายในกอด:

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

มากใน C, rigidly มีพิมพ์ Haskell AverageThree เป็นตัวอย่างที่ดีของการ
ฟังก์ชันที่ต้องใช้ชนิดแกมบังคับเพื่อกลับชนิดของค่าที่เหมาะสม อย่างไรก็ตาม,
ฟังก์ชัน difSquare แสดงบางสิ่งบางอย่างที่แตกต่างกับ Haskell ชนิดไม่มี difSquare
ลายเซ็น เพื่อ Haskell จะรู้ลายเซ็นชนิดที่เหมาะสมจากการดำเนินงาน
นิยามฟังก์ชันที่เกี่ยวข้องกับการ ในลักษณะแรก นี้อาจดูเหมือนเป็น
สิ่งที่แบบไดนามิก หรืออ้อมพิมพ์ภาษาทำ แต่ Haskell ไม่ค่อน
แตกต่างกัน difSquare จะ rigidly พิมพ์เวลาคอมไพล์ - มีสามัคคีไม่รันไทม์การ
นี้ แต่ชนิดของ difSquare มีคลาสชนิดที่มีทั้งจำนวนเต็มและลอย
(และยัง rationals ซ้อน ฯลฯ) เราสามารถค้นหาชนิด inferred ภายใน Hugs:

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

ใน C Eddie Haskell ' s ได้ยากหากคุณพิมพ์ averagethree ที่เป็นตัวอย่างที่ดีของ
ฟังก์ชันที่ต้องใช้พิมพ์ข่มขืนใจผู้อื่นในการสั่งซื้อเพื่อกลับไปพิมพ์ค่าสิทธิ อย่างไรก็ตามฟังก์ชั่น difsquare
จะแสดงบางสิ่งบางอย่างที่แตกต่างในการ Eddie Haskell ' s . difsquare ไม่มี ประเภท
ซึ่งจะช่วยให้โดดเด่น Eddie Haskell ' s จะไม่ค่อยโดดเด่นชนิดที่เหมาะสมจากการทำงานที่เกี่ยวข้องกับ
ซึ่งจะช่วยในการนิยามหน้าที่ที่ปรากฏตัวครั้งแรกนี้จะเป็นแบบเดียวกัน
สิ่งที่แบบไดนามิกหรือหลวม ภาษา พิมพ์หรือไม่แต่สิ่งที่ Eddie Haskell ' s ไม่มี
ซึ่งจะช่วยค่อนข้างแตกต่างกัน difsquare เป็นพิมพ์ที่เวลาการคอมไพล์ยากหากไม่มีแอพพลิเคชัน
ซึ่งจะช่วยขับเคลื่อนในการนี้แต่ ประเภท ของ difsquare มี Class พิมพ์ที่รวมถึง integers และลอย
(หมายเลขและคอมเพล็กซ์ rationals นอกจากนั้นยังเป็นต้น)ซึ่งทั้งสอง เราจะสามารถพบกับพิมพ์จึงลงความเห็นที่อยู่ในแขนทำท่าแบร์ฮัก