นี่คือแอป Windows ชื่อ Category Theory for Programmers ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น ReleasingScalaeditiontoprint!.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ Category Theory for Programmers with 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
ทฤษฎีหมวดหมู่สำหรับโปรแกรมเมอร์
DESCRIPTION
นี่คือ "ทฤษฎีหมวดหมู่สำหรับโปรแกรมเมอร์" เวอร์ชัน PDF อย่างไม่เป็นทางการ โดย Bartosz Milewski ซึ่งดัดแปลงมาจากชุดบล็อกโพสต์ของเขา (ได้รับอนุญาต) Category Theory for Programmers เผยแพร่เมื่อ 12 สิงหาคม 2019 อิงตามแท็ก release v1.3.0 ดู errata-1.3.0 สำหรับการเปลี่ยนแปลงและแก้ไขตั้งแต่พิมพ์ Scala Edition วางจำหน่ายแล้วในรูปแบบปกอ่อน เผยแพร่ ตามแท็กเผยแพร่ v1.3.0 ดู errata-scala สำหรับการเปลี่ยนแปลงและแก้ไขตั้งแต่พิมพ์ วิธีที่ดีที่สุดในการสร้างหนังสือเล่มนี้คือการใช้ Nix package manager หลังจากติดตั้ง Nix แล้ว ให้พิมพ์ nix-shell ในไดเร็กทอรีรากของโปรเจ็กต์ สิ่งนี้จะดาวน์โหลดการพึ่งพาและเครื่องมือที่จำเป็นทั้งหมดเพื่อสร้างหนังสือ (TeXLive, ฟอนต์และแพ็คเกจที่จำเป็น, ธีม Pygments สำหรับการเน้นไวยากรณ์ ฯลฯ)
คุณสมบัติ
- ใช้ Nix package manager เพื่อสร้างหนังสือ
- เรียนรู้เกี่ยวกับการเขียนโปรแกรมการประกาศ
- คุณสามารถเรียนรู้เกี่ยวกับผลิตภัณฑ์และผลิตภัณฑ์ร่วมกันได้
- เรียนรู้ทุกอย่างเกี่ยวกับประเภทข้อมูลพีชคณิตอย่างง่าย
- ทำความเข้าใจคำเสริมที่ฟรีและหลงลืม
- เรียนรู้ทุกสิ่งที่คุณจำเป็นต้องรู้เกี่ยวกับ Monads, monoids และหมวดหมู่
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/cat-theory-programmers.mirror/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา