Unfortunately, in an introductory t

Unfortunately, in an introductory tutorial, many of Haskell's most powerful--but
complex--features cannot be covered. In particular, the whole area of type classes and
algebraic types (including abstract data types) is a bit too much for a first introduction.
For readers whose interest is piqued, it is enough to mention that Haskell allows you to
create your own data types, and to inherit properties of those data types in type
instances. The Haskell type system contains the fundamental features of object-oriented
programming (inheritance, polymorphism, encapsulation); but in a way that is almost
impossible to grasp within a C++/Java/Smalltalk/Eiffel style of thinking.
The other significant element omitted is a discussion of monads, and therefore of I/O. It
seems strange to write a tutorial that does not even start with a "Hello World!"
program, but thinking in a functional style requires a number of shifts. While that "Hello
World!" is quite simple, it also involves the mini "pseudo-imperative" world of monads.
It would be easy for a beginner to be lulled in by the pseudo-imperative style of I/O, and
miss what is really going on. Swimming is best learned by getting in the water.

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

โชคไม่ดีที่ในการสอนเบื้องต้นหลายแห่งของ Haskell มีประสิทธิภาพมากที่สุด - แต่ซับซ้อน
- คุณลักษณะที่ไม่สามารถครอบคลุม โดยเฉพาะในพื้นที่ทั้งหมดของการเรียนประเภทและชนิด
พีชคณิต (รวมถึงชนิดข้อมูลนามธรรม) เป็นบิตมากเกินไปสำหรับการเปิดตัวครั้งแรก.
สำหรับผู้อ่านที่มีความสนใจเป็นป่องๆมันก็เพียงพอที่จะกล่าวถึง Haskell ที่ช่วยให้คุณสร้างของคุณ
ชนิดข้อมูลของตัวเองและสืบทอดคุณสมบัติของผู้ที่ชนิดข้อมูลในรูปแบบของกรณี
ระบบการพิมพ์ Haskell มีคุณสมบัติพื้นฐานของการเขียนโปรแกรมเชิงวัตถุ
(มรดก polymorphism, encapsulation); แต่ในทางที่เกือบจะเป็นไปไม่ได้ที่
เข้าใจภายใน AC / java / smalltalk / สไตล์ไอเฟลของความคิด
องค์ประกอบสำคัญอื่น ๆ . มองข้ามคือการอภิปรายของ monads และดังนั้นจึงของ I / O มัน
ดูเหมือนว่าแปลกที่จะเขียนกวดวิชาที่ไม่ได้เริ่มต้นด้วย "Hello World!" โปรแกรม
, มี แต่ความคิดในรูปแบบการทำงานต้องใช้จำนวนของการเปลี่ยนแปลง ในขณะที่ "สวัสดี
โลก" ค่อนข้างง่ายมันยังเกี่ยวข้องกับมินิหลอก "จำเป็น" โลกของ monads.
มันจะง่ายสำหรับการเริ่มต้นเพื่อที่จะวางใจในตามสไตล์ที่หลอกความจำเป็นของ I / O
และพลาดสิ่งที่เป็นจริงที่เกิดขึ้นว่ายน้ำที่ดีที่สุดคือการเรียนรู้โดยได้รับในน้ำ

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

อับ ในการสอนภาษา Haskell มากมายของมีประสิทธิภาพมากที่สุด - แต่
ซับซ้อน - คุณลักษณะไม่สามารถครอบคลุมได้ โดยเฉพาะ พื้นที่ทั้งหมดของชนิดคลาส และ
พีชคณิตชนิด (รวมถึงชนิดข้อมูลนามธรรม) เป็นบิตมากเกินไปสำหรับตัวแรกแนะนำ
สำหรับผู้อ่านสนใจคือ piqued มันเป็นพอพูดถึงว่า Haskell ให้คุณ
สร้างชนิดของข้อมูล และสืบทอดคุณสมบัติของชนิดข้อมูลเหล่านั้นในชนิด
อินสแตนซ์ ระบบชนิด Haskell ประกอบด้วยคุณลักษณะพื้นฐานของเชิงวัตถุ
เขียน (สืบทอด โพลิมอร์ฟิซึม encapsulation); วิธีการที่เกือบ
ไม่เข้าใจภาย ในตัว C/Java/ภาษา สมอลล์ทอล์ก/ไอเฟลลักษณะของความคิด
องค์สำคัญอื่น ๆ ที่ไม่ได้ใส่คือ การสนทนาของ monads และของ I/O มัน
น่าแปลกที่เขียนสอนที่ไม่ได้เริ่มต้น ด้วย "สวัสดีโลก"
โปรแกรม แต่ความคิดในลักษณะการทำงานต้องการจำนวนกะ ขณะที่ "สวัสดี
โลก! " จะค่อนข้างง่าย มันยังเกี่ยวข้องกับโลก "ความจำ pseudo-เป็น" มินิของ monads
มันจะง่ายสำหรับผู้เริ่มต้นการฟังในลักษณะความจำเป็น pseudo-ของ I/O และ
พลาดอะไรจริง ๆ ที่เกิดขึ้น ส่วนจะเรียนว่ายน้ำ โดยได้รับน้ำ

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

เป็นที่น่าเสียดายว่าในการสอนเบื้องต้นมากที่สุดส่วนมากทรงพลังแต่
คอมเพล็กซ์ของ Eddie Haskell ' s โดดเด่นไปด้วยไม่สามารถมีการคุ้มครอง ในเฉพาะพื้นที่ทั้งหมดของชั้นเรียน ประเภท และ ประเภท
ฟังก์ชั่นพีชคณิต(รวมถึงข้อมูล ประเภท ความเป็นนามธรรมค่อนข้างจะมากเกินไปสำหรับการแนะนำเป็นครั้งแรก.
สำหรับผู้อ่านที่มีส่วนได้เสียฟรีๆมันเป็นการเพียงพอในการกล่าวถึงที่ Eddie Haskell ' s ช่วยให้คุณ
ซึ่งจะช่วยสร้างข้อมูล ประเภท ของคุณเองและเป็นมรดกทรัพย์สินของ ประเภท ข้อมูลที่อยู่ใน ประเภท
บางกรณี. Eddie Haskell ' s ที่ชนิดของระบบมีคุณสมบัติพื้นฐานของวัตถุแบบ
ซึ่งจะช่วยการตั้งโปรแกรม(เป็นมรดก, polymorphism ,ไลบรารี่ใช้งาน);แต่ในลักษณะที่เกือบจะ
ซึ่งจะช่วยเป็นไปไม่ได้เลยที่จะจับตัวอยู่ ภายใน ที่ C / Java / smalltalk / Eiffel สไตล์ของความคิด.
ที่มีส่วนที่ถูกตัดออกไปเป็นการประชุมของ monads ,และดังนั้นจึงของ I / O มัน
ตามมาตรฐานดูแปลกประหลาดในการเขียนที่เกี่ยวกับการสอนที่ไม่ได้เริ่มต้นด้วย"สวัสดีโลก!"
โปรแกรม,และความคิดในที่เต็มไปด้วยประโยชน์ใช้สอยสไตล์ต้องระบุหมายเลขของกะ. ในขณะที่ที่ว่า"สวัสดี
ซึ่งจะช่วยโลก!"เป็นแบบเรียบง่ายอย่างมากและยังมีส่วนเกี่ยวข้องกับมินิ"จอมปลอม - เป็นอย่างยิ่ง"โลกของสไตล์ monads .
มันจะเป็นการง่ายในระดับเริ่มต้นที่จะความเงียบสงบในจอมปลอมที่จำเป็นต้องของ I / O และ
พลาดสิ่งที่เป็นไปในจริงๆสระว่ายน้ำจะเรียนรู้จากการอยู่ในน้ำที่ดีที่สุด