The example factory mkFunc packs a

The example factory mkFunc packs a fair amount into a short description. The main
thing to notice is that the lambda indicates a function from n to the result. By the type
signature, everything is an Int, although type inference would allow a broader type.
The form of the function definition is primitive recursive. An empty list produces a
result of zero. A non-empty list produces either the result given by its head pair, or the
result that would be produced if only its tail is considered (and the tail eventually
shrinks to empty by recursion).

0/5000

จาก: -

เป็น: -

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

คัดลอก!

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

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

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

คัดลอก!

MkFunc โรงงานตัวอย่างชุดสมควรเป็นคำอธิบายโดยย่อ หลัก
สิ่งที่ต้องสังเกตคือ ว่า แลมบ์ดาที่ระบุว่า ฟังก์ชันจาก n เพื่อผลการ โดยชนิด
ลายเซ็น ทุกอย่างเป็น Int แม้ว่าข้อชนิดจะช่วยให้ความกว้างชนิด.
ซ้ำดั้งเดิมเป็นรูปแบบของการนิยามฟังก์ชัน สร้างรายการว่างเปล่าเป็น
ผลของศูนย์การ รายการไม่ว่างให้ทั้งผลที่กำหนด โดยคู่ใหญ่ หรือ
ผลที่จะผลิตได้ถ้าเพียงถือหาง (และท้ายสุด
ลดขนาดการว่าง โดยสอบ)

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

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

คัดลอก!

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

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

ภาษาอื่น ๆ

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