Functional programming
การเขียนโปรแกรมเชิงฟังก์ชัน
การเรียกซ้ำร่วม
Category theoryในวิทยาการคอมพิวเตอร์การเรียกซ้ำแบบ คู่ขนาน (corecursion ) เป็นประเภทของการดำเนินการที่เป็นคู่ขนานกับการเรียกซ้ำเชิงโครงสร้าง (structural
ฟังก์ชันลำดับสูงกว่า
Functional programmingในคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ฟังก์ชันลำดับสูง ( HOF ) คือฟังก์ชันที่ทำอย่างน้อยหนึ่งอย่างต่อไปนี้:
เคอร์รี่
CS1: long volume valueในคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ Currying คือเทคนิคการแปลงฟังก์ชันที่รับอาร์กิวเมนต์ หลายตัว ให้เป็นลำดับของกลุ่มฟังก์ชัน โดยแต่ละกลุ่มรับอาร์กิวเมนต์เพียงตัวเดียว
หมายเลขปกติ
Babylonian mathematicsจำนวนปกติ คือ จำนวนที่หารกำลังของ 60 (หรือกำลังของ30 ) ได้ลงตัวหรืออีกนัยหนึ่งคือ จำนวนที่มีตัวหารเฉพาะคือ2 , 3และ5 เท่านั้น เช่น 60² = 3600 = 48 × 75 ดังนั้น ตัวหารของกำลังของ 60.
อ่าน 1 นาทีประเภทข้อมูลพีชคณิตทั่วไป
Composite data typesในการเขียนโปรแกรมเชิงฟังก์ชันประเภทข้อมูลพีชคณิตทั่วไป ( GADTหรือประเภทแฟนทอมชั้นหนึ่ง ประเภทข้อมูลเรียกซ้ำแบบมีเงื่อนไข หรือประเภทที่มีคุณสมบัติความเท่าเทียมกัน )...
จีนู กุยซ์
2013 softwareGNU Guix ( / ɡ iː k s / ; คำผสมของ Guile และ Nix ) เป็นตัวจัดการแพ็กเกจแบบข้ามแพลตฟอร์มที่ใช้การเขียนโปรแกรมเชิงฟังก์ชันและเป็นเครื่องมือในการสร้างและจัดการระบบปฏิบัติการแบบ Unix..
วิกิฟังก์ชัน
CS1 Czech-language sources (cs)Wikifunctionsเป็นแคตตาล็อกฟังก์ชันคอมพิวเตอร์ที่แก้ไขร่วมกันเพื่อสร้าง แก้ไข และนำซอร์สโค้ดกลับ มาใช้ ใหม่ มีความเกี่ยวข้องอย่างใกล้ชิดกับAbstract...
ระบบเลขฐานสองแบบเบี่ยงเบน
Computer arithmeticระบบเลขฐานสองแบบเบี่ยงเบน (Skew Binary)เป็นระบบเลขฐานที่ไม่เป็นมาตรฐานโดยที่หลักที่nจะมีค่าเป็นจำนวนเท่าของหลักนั้น (หลักต่างๆ เริ่มนับจาก 0) แทนที่จะ เป็นจำนวนเท่าของ...
วารสารการเขียนโปรแกรมเชิงฟังก์ชัน
Academic journals established in 1991วารสารการเขียนโปรแกรมเชิงฟังก์ชันเป็นวารสารทางวิทยาศาสตร์ ที่ ผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิ ครอบคลุมการออกแบบ การนำไปใช้
อ่าน 1 นาทีวัตถุที่ไม่สามารถเปลี่ยนแปลงได้
Functional data structuresใน การเขียนโปรแกรม เชิงวัตถุ (OO) และการเขียนโปรแกรมเชิงฟังก์ชันวัตถุที่เปลี่ยนแปลงไม่ได้ ( วัตถุ ที่ไม่สามารถเปลี่ยนแปลงได้ ) คือ วัตถุที่มีสถานะ ที่...
การจับคู่รูปแบบสองมิติ
Conditional constructsในวิทยาการคอมพิวเตอร์การจับคู่รูปแบบสองมิติคือปัญหาของการค้นหาตำแหน่งการปรากฏของเมทริกซ์อักขระสองมิติ ("รูปแบบ") ในเมทริกซ์สองมิติที่ใหญ่กว่า ("รูปภาพ" หรือ...
ประเภทคลาส
Data typesในวิทยาการคอมพิวเตอร์คลาสประเภท (type class)คือ โครงสร้าง ระบบประเภทที่สนับสนุนโพลีมอร์ฟิซึมแบบเฉพาะกิจในภาษาโปรแกรมซึ่งทำได้โดยการเพิ่มข้อจำกัดให้กับตัวแปรประเภทใน ประเภทโพลีมอร์
การเขียนโปรแกรมเชิงฟังก์ชันโดยรวม
Functional programmingการเขียนโปรแกรมเชิงฟังก์ชันแบบสมบูรณ์ (เรียกอีกอย่างว่าการเขียนโปรแกรมเชิงฟังก์ชันแบบเข้มแข็งซึ่งตรงข้ามกับการเขียนโปรแกรมเชิงฟังก์ชัน แบบธรรมดาหรือ แบบอ่อนแอ ) เป็น กระบวนทัศน์...
อ่าน 1 นาทีรายชื่อภาษาโปรแกรมตามประเภท
Functional programmingนี่คือรายชื่อภาษาโปรแกรม ที่โดดเด่น โดยจัดกลุ่มตามคุณลักษณะเด่นของภาษา เนื่องจากภาษาหนึ่งๆ สามารถมีคุณลักษณะได้หลายอย่าง ดังนั้นภาษาเดียวกันจึงอาจอยู่ในหลายกลุ่มได้
อ่าน 1 นาทีการจับคู่รูปแบบ
CS1 errors: external linksในวิทยาการคอมพิวเตอร์การจับคู่รูปแบบ (pattern matching)คือการตรวจสอบลำดับของโทเค็น ที่กำหนด ว่ามีส่วนประกอบของรูปแบบ ใดรูปแบบหนึ่งอยู่หรือไม่ แตกต่างจากการรู้จำรูปแบบ (pattern...
อ่าน 1 นาทีฟังก์ชันประยุกต์
Functional programmingในการเขียนโปรแกรมเชิงฟังก์ชัน ฟังก์ชันประยุกต์หรือเรียกสั้น ๆ ว่า ประยุกต์ คือโครงสร้างระดับกลางระหว่างฟังก์ชันและโมนาดฟังก์ชันประยุกต์ช่วยให้สามารถเรียงลำดับการคำนวณเชิงฟังก์ชันได...
ประเภทตัวเลือก
Data typesในภาษาโปรแกรม (โดยเฉพาะ ภาษา โปรแกรมเชิงฟังก์ชัน ) และทฤษฎีประเภทข้อมูล ประเภทตัวเลือก ( Option type)หรือประเภทอาจจะ (Maybe type)คือ ประเภทข้อมูล แบบหลายรูปแบบ (Polymorphic...
ฟังก์ชันนเตอร์ (การเขียนโปรแกรมเชิงฟังก์ชัน)
Functional programmingในการเขียนโปรแกรมเชิงฟังก์ชันฟังก์ชันเตอร์ (functor)เป็นรูปแบบการออกแบบที่ได้รับแรงบันดาลใจจากนิยามในทฤษฎีหมวดหมู่ (category theory)ซึ่งอนุญาตให้ใช้ฟังก์ชันกับค่าภายในประเภททั่วไป.
ข้อเสีย
Composite data typesในการเขียนโปรแกรมคอมพิวเตอร์ `cons` cons( / ˈ k ɒ n z /หรือ/ ˈ k ɒ n s / ) เป็นฟังก์ชัน พื้นฐาน ในภาษาโปรแกรมLisp ส่วนใหญ่ ฟังก์ชันนี้...
โมนาด (การเขียนโปรแกรมเชิงฟังก์ชัน)
1991 in computingในการเขียนโปรแกรมเชิงฟังก์ชันโมนาดเป็นวิธีการจัดโครงสร้างการคำนวณเป็นลำดับขั้นตอน โดยแต่ละขั้นตอนไม่เพียงแต่สร้างค่าเท่านั้น แต่ยังสร้างข้อมูลเพิ่มเติมเกี่ยวกับการคำนวณ เช่น...
อ่าน 1 นาทีการเขียนโปรแกรมเชิงฟังก์ชันล้วนๆ
Functional programmingในวิทยาการคอมพิวเตอร์การเขียนโปรแกรมเชิงฟังก์ชันล้วนๆมักหมายถึงกระบวนทัศน์การเขียนโปรแกรมซึ่งเป็นรูปแบบการสร้างโครงสร้างและองค์ประกอบของโปรแกรมคอมพิวเตอร์ ที่ถือว่าการคำนวณ...
อ่าน 1 นาทีโครงสร้างข้อมูลเชิงฟังก์ชันล้วนๆ
Functional data structuresในวิทยาการคอมพิวเตอร์โครงสร้างข้อมูลเชิงฟังก์ชันบริสุทธิ์คือโครงสร้างข้อมูลที่สามารถนำไปใช้งานได้โดยตรงในภาษาเชิงฟังก์ชันบริสุทธิ์ความแตกต่างหลักระหว่างโครงสร้างข้อมูลทั่วไปกับโครง...
ฟังก์ชันนิรนาม
CS1: unfit URLในการเขียนโปรแกรมคอมพิวเตอร์ฟังก์ชันนิรนาม ( ฟังก์ชันลิเทอรัลฟังก์ชันแลมบ์ดาหรือบล็อก ) คือ คำจำกัดความของ
การประยุกต์ใช้ฟังก์ชัน
Adjoint functorsในทางคณิตศาสตร์การประยุกต์ใช้ฟังก์ชัน (หรือการประเมินค่า ) คือการกระทำของการนำฟังก์ชันและอินพุตจากโดเมน ของฟังก์ชัน เพื่อให้ได้ค่าที่สอดคล้องกันจากเรนจ์ ของ ฟังก์ชัน ในแง่นี้