นี่คือแอป Windows ชื่อ koka ซึ่งสามารถดาวน์โหลดรุ่นล่าสุดเป็น v2.4.0.zip สามารถเรียกใช้ออนไลน์ได้ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ทางออนไลน์ชื่อ koka ด้วย OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OS OnWorks จากเว็บไซต์นี้ แต่โปรแกรมจำลองออนไลน์ของ Windows ที่ดีกว่า
- 5. จากระบบปฏิบัติการ Windows ของ OnWorks ที่คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่นและติดตั้ง
- 7. ดาวน์โหลดไวน์จากที่เก็บซอฟต์แวร์ลีนุกซ์ดิสทริบิวชันของคุณ เมื่อติดตั้งแล้ว คุณสามารถดับเบิลคลิกที่แอปเพื่อเรียกใช้แอปด้วย Wine คุณยังสามารถลองใช้ PlayOnLinux ซึ่งเป็นอินเทอร์เฟซแฟนซีบน Wine ที่จะช่วยคุณติดตั้งโปรแกรมและเกมยอดนิยมของ Windows
ไวน์เป็นวิธีเรียกใช้ซอฟต์แวร์ Windows บน Linux แต่ไม่จำเป็นต้องใช้ Windows Wine เป็นเลเยอร์ความเข้ากันได้ของ Windows แบบโอเพ่นซอร์สที่สามารถเรียกใช้โปรแกรม Windows ได้โดยตรงบนเดสก์ท็อป Linux โดยพื้นฐานแล้ว Wine พยายามนำ Windows กลับมาใช้ใหม่ให้เพียงพอตั้งแต่เริ่มต้น เพื่อให้สามารถเรียกใช้แอปพลิเคชัน Windows เหล่านั้นทั้งหมดโดยไม่จำเป็นต้องใช้ Windows จริงๆ
ภาพหน้าจอ
Ad
Koka
DESCRIPTION
Koka เป็นภาษารูปแบบการทำงานที่พิมพ์อย่างแน่นหนาพร้อมประเภทเอฟเฟกต์และตัวจัดการ แกนหลักของ Koka ประกอบด้วยคุณสมบัติทางภาษาที่ได้รับการศึกษามาอย่างดีชุดเล็กๆ เช่น ฟังก์ชันชั้นหนึ่ง ระบบประเภทและเอฟเฟกต์แบบโพลีมอร์ฟิค ประเภทข้อมูลเชิงพีชคณิต และตัวจัดการเอฟเฟกต์ แต่ละสิ่งเหล่านี้สามารถเรียบเรียงได้และหลีกเลี่ยงการเพิ่มส่วนขยาย "พิเศษ" โดยทำให้กว้างที่สุด Koka ติดตามผล (ด้าน) ของทุกฟังก์ชันในประเภท โดยแยกความแตกต่างของการคำนวณที่บริสุทธิ์และมีประสิทธิภาพ การพิมพ์เอฟเฟกต์ที่แม่นยำช่วยให้ Koka เข้าใจความหมายที่หนักแน่นซึ่งสนับสนุนโดยทฤษฎีหมวดหมู่ที่ได้รับการศึกษาเป็นอย่างดี ซึ่งทำให้ Koka ง่ายต่อการให้เหตุผลสำหรับทั้งมนุษย์และคอมไพเลอร์ ตัวจัดการเอฟเฟ็กต์ช่วยให้คุณกำหนดนามธรรมการควบคุมขั้นสูง เช่น ข้อยกเว้น async/await หรือโปรแกรมความน่าจะเป็น เป็นไลบรารีผู้ใช้ในรูปแบบที่พิมพ์และประกอบได้ Perceus เป็นวิธีการรวบรวมขั้นสูงสำหรับการนับอ้างอิง
คุณสมบัติ
- ติดตั้ง Koka และคอมไพล์โปรแกรมแรกของคุณ
- แกนหลักของ Koka ประกอบด้วยคุณสมบัติทางภาษาที่ได้รับการศึกษามาอย่างดีชุดเล็กๆ
- Koka เป็นภาษารูปแบบการทำงานที่พิมพ์อย่างแน่นหนาพร้อมประเภทเอฟเฟกต์และตัวจัดการ
- ผู้รวบรวมและล่ามภาษา
- Perceus เป็นวิธีการรวบรวมขั้นสูงสำหรับการนับอ้างอิง
- Koka ติดตามผล (ด้าน) ของทุกฟังก์ชันในประเภทของมัน
ภาษาโปรแกรม
Haskell
หมวดหมู่
นี่เป็นแอปพลิเคชันที่สามารถเรียกได้จาก https://sourceforge.net/projects/koka.mirror/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ด้วยวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
