A Haskell program consists, basical

A Haskell program consists, basically, of a set of function definitions. Functions are
bound to names in a manner that looks very similar to variable assignment in other
languages. However, it really is not the same thing; a Haskell bound name is much more
similar to a binding in a mathematical proof, where we might say "Let tau refer to the
similar to a binding in a mathematical proof, where we might say "Let tau refer to the
equation . . ." A name binding just provides a shorthand for later use of an equation, but
the name can only be bound a single time within a program--trying to change it
generates a program error.

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

โปรแกรม Haskell ประกอบด้วยพื้นของชุดคำนิยามฟังก์ชั่น ฟังก์ชั่นที่มี
ผูกพันกับชื่อในลักษณะที่มีลักษณะคล้ายกันมากกับการกำหนดตัวแปรในภาษาอื่น ๆ
แต่จริงๆมันไม่ได้เป็นสิ่งเดียวกันชื่อ Haskell ผูกพันเป็น
มากขึ้นคล้ายกับที่มีผลผูกพันในการพิสูจน์ทางคณิตศาสตร์ที่เราอาจจะบอกว่า "ปล่อยให้เอกภาพหมายถึง
คล้ายกับที่มีผลผูกพันในการพิสูจน์ทางคณิตศาสตร์,ที่เราอาจจะบอกว่า "ปล่อยให้เอกภาพหมายถึงสมการ
... " ผูกพันชื่อเพียงแค่ให้จดชวเลขเพื่อใช้ในภายหลังของสมการ แต่
ชื่อเท่านั้นที่สามารถผูกพันเวลาเดียวภายในโปรแกรม - พยายามที่จะเปลี่ยนมัน
สร้างข้อผิดพลาดโปรแกรม

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

โปรแกรม Haskell ประกอบ พื้น ชุดของคำนิยามฟังก์ชัน ฟังก์ชัน
กับชื่อในลักษณะที่มีลักษณะคล้ายกับกำหนดตัวแปรในอื่น ๆ
ภาษา อย่างไรก็ตาม มันจริง ๆ ไม่เหมือน ชื่อผูก Haskell เป็นมาก
คล้ายกับการผูกข้อมูลในหลักฐานทางคณิตศาสตร์ ซึ่งเราอาจพูดว่า "ปล่อยให้เต่าหมายถึง
คล้ายกับการผูกข้อมูลในหลักฐานทางคณิตศาสตร์ ซึ่งเราอาจพูดว่า "ให้หมายถึงเต่า
สมการ... ได้" ผูกชื่อแสดงตัวย่อใช้ของสมการ เพียง แต่
ชื่อสามารถเท่านั้นสามารถผูกครั้งเดียวภายในโปรแกรม - พยายามเปลี่ยน
สร้างความผิดพลาดของโปรแกรมได้

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

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