ดาวน์โหลดข้อกำหนด Fantasy Land สำหรับ Linux

นี่คือแอพลินุกซ์ชื่อ Fantasy Land Specification ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น Version5.0.1.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน

ภาพหน้าจอ

ข้อมูลจำเพาะของ Fantasy Land

DESCRIPTION

โครงงานนี้ระบุการทำงานร่วมกันของโครงสร้างพีชคณิตทั่วไป เช่น Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative เป็นต้น พีชคณิตคือชุดของค่า ชุดของตัวดำเนินการที่เป็น ปิดภายใต้และกฎหมายบางอย่างก็ต้องเชื่อฟัง พีชคณิต Fantasy Land แต่ละอันเป็นข้อกำหนดแยกกัน พีชคณิตอาจมีการพึ่งพาพีชคณิตอื่นๆ ที่ต้องดำเนินการ "ค่า" คือค่า JavaScript ใดๆ รวมถึงค่าใดๆ ที่มีโครงสร้างที่กำหนดไว้ด้านล่าง "เทียบเท่า" เป็นคำจำกัดความที่เหมาะสมสำหรับค่าที่กำหนด คำจำกัดความควรตรวจสอบให้แน่ใจว่าทั้งสองค่าสามารถสลับกันได้อย่างปลอดภัยในโปรแกรมที่คำนึงถึงนามธรรม ตัวอย่างเช่น สองรายการจะเทียบเท่ากันหากพวกมันเท่ากันที่ดัชนีทั้งหมด ออบเจ็กต์ JavaScript แบบเก่าธรรมดาสองรายการซึ่งตีความว่าเป็นพจนานุกรม จะเทียบเท่ากันเมื่อมีค่าเท่ากันสำหรับคีย์ทั้งหมด สองคำสัญญาจะเท่ากันเมื่อให้ค่าที่เท่ากัน เป็นต้น

คุณสมบัติ

• พีชคณิตของ Fantasy Land แต่ละอันเป็นข้อกำหนดแยกกัน
• พฤติกรรมบางอย่างถูกกำหนดจากมุมมองของสมาชิกของประเภท
• พฤติกรรมอื่นๆ ไม่ต้องการสมาชิก
• พีชคณิตบางประเภทต้องใช้ประเภทเพื่อเป็นตัวแทนระดับค่า
• ถ้าชนิดข้อมูลมีวิธีการที่ได้มา พฤติกรรมของข้อมูลนั้นต้องเทียบเท่ากับที่มาของข้อมูล
• ขอแนะนำให้โยนข้อยกเว้นสำหรับพฤติกรรมที่ไม่ระบุ

ภาษาโปรแกรม

JavaScript

หมวดหมู่

นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/fantasy-land-spec.mirror/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา