A Dependently Typed Functional Programming Language
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
idris คือโปรแกรมอะไร
idris เป็นซอฟต์แวร์โอเพนซอร์สบน Windows จัดอยู่ในหมวด IDE และโปรแกรมเขียนโค้ด
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต ตัวติดตั้งหลักมีขนาด 1 KB ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
ความนิยมและประเภทไฟล์
แพ็กเกจบน Chocolatey มียอดดาวน์โหลด 2,068 ครั้ง โปรแกรมที่คล้ายกัน ได้แก่ OpenCode, RStudio และ Node.js (LTS)
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- แบบพกพา ใช้งานได้โดยไม่ต้องติดตั้ง
- ไฟล์ดาวน์โหลดขนาดเล็ก (1 KB)
ข้อเสีย
- ไม่มีเวอร์ชัน ARM64 แบบเนทีฟ
- ลิงก์ดาวน์โหลดทางการไม่ตอบสนองในการตรวจสอบครั้งล่าสุด
สรุปสั้น ๆ: idris เป็นเครื่องมือโอเพนซอร์สในหมวด IDE และโปรแกรมเขียนโค้ด สำหรับพีซี 64 บิต
ดาวน์โหลด idris ปลอดภัยไหม
- ไฟล์ให้บริการจาก neon.se โปรดตรวจสอบว่าเป็นมิเรอร์ทางการของผู้เผยแพร่
- ลิงก์ดาวน์โหลดใช้ HTTPS
- มีค่าแฮช SHA256 เผยแพร่ไว้ จึงตรวจสอบไฟล์ได้:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· เปิดรายงาน VirusTotal ของค่าแฮชนี้ - ลิงก์ไม่ตอบสนองในการตรวจสอบครั้งล่าสุด (26 ตุลาคม 2569)
- ซอร์สโค้ดเปิดเผยต่อสาธารณะ
- ExeAtlas ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
เวอร์ชันล่าสุด
ทั้งหมด 1 เวอร์ชัน ›| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 1.3.3ล่าสุด | 1 KB | 64 บิต ZIP |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›choco install idris -yscoop install main/idrisไฟล์โปรแกรม (.exe): idris.exe
คู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
ข้อมูล
- หมวดหมู่
- IDE และโปรแกรมเขียนโค้ด
- สัญญาอนุญาต
- BSD-3-Clause
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต
- ตัวติดตั้ง
- พกพา (Portable)
- เวอร์ชัน
- 1.3.3
- จำนวนเวอร์ชันในรายการ
- 1
- ยอดดาวน์โหลด Chocolatey
- 2,068
- เว็บไซต์
- idris-lang.org
- แพ็กเกจ Chocolatey
- idris
- แพ็กเกจ Scoop
- main/idris
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
โปรแกรมทดแทน idris
ดูทั้งหมด ›-
โอเพนซอร์ส285.2K ↓ -
โอเพนซอร์ส705.1K ↓ -
โอเพนซอร์ส4.9M ↓ -
โอเพนซอร์ส88.8K ↓ -
โอเพนซอร์ส49.7K ↓ -
โอเพนซอร์ส136.7K ↓ -
โอเพนซอร์ส394.5K ↓ -
โอเพนซอร์ส94.6K ↓
คำถามที่พบบ่อย
idris ใช้ฟรีไหม
ฟรี idris เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต BSD-3-Clause
ดาวน์โหลด idris ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก neon.se ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้ คุณสามารถเทียบค่าแฮช SHA256 ของไฟล์กับค่าที่แสดงในหน้านี้ หรือเปิดรายงาน VirusTotal ของค่าแฮชนั้นได้
idris ใช้บน ARM (Windows on Arm) ได้ไหม
ไม่มีเวอร์ชัน ARM64 แต่ Windows 11 on Arm สามารถรันเวอร์ชัน 64 บิต ผ่านการจำลองได้
ใช้ idris โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย
มีโปรแกรมอะไรที่ใช้แทน idris ได้บ้าง
OpenCode, RStudio, Node.js (LTS), Apache NetBeans และ Haxe ดูการเปรียบเทียบได้ในหน้าโปรแกรมทดแทน
