A powerful feature of Haskell (as w

A powerful feature of Haskell (as with all functional programming) is that functions are
first class. What the first class status of functions means is that functions are themselves
simply values. Just as you might pass an integer as an argument to a function, in Haskell
you can pass another function to a function. To a limited extent, you can do the same
with function pointers in a language like C, but Haskell is far more versatile.
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 result. 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).

0/5000

จาก: -

เป็น: -

ผลลัพธ์ (ไทย) 1: [สำเนา]

คัดลอก!

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

การแปล กรุณารอสักครู่..

ผลลัพธ์ (ไทย) 2:[สำเนา]

คัดลอก!

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

การแปล กรุณารอสักครู่..

ผลลัพธ์ (ไทย) 3:[สำเนา]

คัดลอก!

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

การแปล กรุณารอสักครู่..

ภาษาอื่น ๆ

การสนับสนุนเครื่องมือแปลภาษา: กรีก, กันนาดา, กาลิเชียน, คลิงออน, คอร์สิกา, คาซัค, คาตาลัน, คินยารวันดา, คีร์กิซ, คุชราต, จอร์เจีย, จีน, จีนดั้งเดิม, ชวา, ชิเชวา, ซามัว, ซีบัวโน, ซุนดา, ซูลู, ญี่ปุ่น, ดัตช์, ตรวจหาภาษา, ตุรกี, ทมิฬ, ทาจิก, ทาทาร์, นอร์เวย์, บอสเนีย, บัลแกเรีย, บาสก์, ปัญจาป, ฝรั่งเศส, พาชตู, ฟริเชียน, ฟินแลนด์, ฟิลิปปินส์, ภาษาอินโดนีเซี, มองโกเลีย, มัลทีส, มาซีโดเนีย, มาราฐี, มาลากาซี, มาลายาลัม, มาเลย์, ม้ง, ยิดดิช, ยูเครน, รัสเซีย, ละติน, ลักเซมเบิร์ก, ลัตเวีย, ลาว, ลิทัวเนีย, สวาฮิลี, สวีเดน, สิงหล, สินธี, สเปน, สโลวัก, สโลวีเนีย, อังกฤษ, อัมฮาริก, อาร์เซอร์ไบจัน, อาร์เมเนีย, อาหรับ, อิกโบ, อิตาลี, อุยกูร์, อุสเบกิสถาน, อูรดู, ฮังการี, ฮัวซา, ฮาวาย, ฮินดี, ฮีบรู, เกลิกสกอต, เกาหลี, เขมร, เคิร์ด, เช็ก, เซอร์เบียน, เซโซโท, เดนมาร์ก, เตลูกู, เติร์กเมน, เนปาล, เบงกอล, เบลารุส, เปอร์เซีย, เมารี, เมียนมา (พม่า), เยอรมัน, เวลส์, เวียดนาม, เอสเปอแรนโต, เอสโทเนีย, เฮติครีโอล, แอฟริกา, แอลเบเนีย, โคซา, โครเอเชีย, โชนา, โซมาลี, โปรตุเกส, โปแลนด์, โยรูบา, โรมาเนีย, โอเดีย (โอริยา), ไทย, ไอซ์แลนด์, ไอร์แลนด์, การแปลภาษา.