A Dependently Typed Functional Programming Language
Mô tả của nhà phát hành (Tiếng Anh)
idris là gì?
idris là phần mềm Windows mã nguồn mở trong danh mục IDE và trình soạn thảo mã.
Cài đặt và yêu cầu hệ thống
Nhà phát hành cung cấp bộ cài Portable cho hệ thống 64-bit. Dung lượng bộ cài chính: 1 KB. Phần mềm chạy được mà không cần cài đặt (bản portable).
Mức độ phổ biến và loại file
Gói Chocolatey đã được tải về 2.068 lần. Các phần mềm tương tự gồm OpenCode, RStudio và Node.js (LTS).
Ưu điểm / Nhược điểm
Ưu điểm
- Mã nguồn mở: ai cũng có thể xem và tự biên dịch
- Bản portable: chạy không cần cài đặt
- Dung lượng tải về nhỏ (1 KB)
Nhược điểm
- Chưa có bản ARM64 gốc
- Liên kết tải về chính thức không phản hồi ở lần kiểm tra gần nhất
Tóm lại: idris là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit, thuộc nhóm IDE và trình soạn thảo mã.
Tải idris có an toàn không?
- Tệp được cung cấp từ neon.se; hãy kiểm tra đây có phải máy chủ phản chiếu chính thức của nhà phát hành không
- Liên kết tải về dùng HTTPS
- Có công bố mã SHA256 để kiểm tra tệp:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Mở báo cáo VirusTotal cho mã băm này - Liên kết không phản hồi ở lần kiểm tra gần nhất (26 tháng 10, 2026)
- Mã nguồn được công khai
- ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài
Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows
Phiên bản gần đây
Tất cả 1 phiên bản ›| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 1.3.3Mới nhất | 1 KB | 64-bit ZIP |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›choco install idris -yscoop install main/idrisTệp chương trình (.exe): idris.exe
Hướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm
Thông tin
- Danh mục
- IDE và trình soạn thảo mã
- Giấy phép
- BSD-3-Clause
- Giá
- Miễn phí
- Mã nguồn
- github.com
- Yêu cầu
- Windows 11 / 10
- Kiến trúc
- 64-bit
- Loại bộ cài
- Portable
- Phiên bản
- 1.3.3
- Số phiên bản
- 1
- Lượt tải Chocolatey
- 2.068
- Trang chủ
- idris-lang.org
- Gói Chocolatey
- idris
- Gói Scoop
- main/idris
Đánh giá và nhận xét
Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.
Phần mềm thay thế idris
Xem tất cả ›-
Mã nguồn mở285,2 N ↓ -
Mã nguồn mở705,1 N ↓ -
Mã nguồn mở4,9 Tr ↓ -
Mã nguồn mở88,8 N ↓ -
Mã nguồn mở49,7 N ↓ -
Mã nguồn mở136,7 N ↓ -
Mã nguồn mở394,5 N ↓ -
Mã nguồn mở94,6 N ↓
Câu hỏi thường gặp
idris có miễn phí không?
Có. idris là phần mềm mã nguồn mở theo giấy phép BSD-3-Clause.
Tải idris có an toàn không?
Tệp được tải từ neon.se; ExeAtlas không lưu trữ và không chỉnh sửa tệp. Hãy so sánh mã SHA256 của tệp đã tải với mã hiển thị trên trang này, hoặc mở báo cáo VirusTotal cho mã băm đó.
idris có chạy trên máy ARM (Windows on Arm) không?
Chưa có bản ARM64; Windows 11 on Arm có thể chạy bản 64-bit thông qua giả lập.
Có thể dùng idris mà không cần quyền quản trị viên không?
Có, đây là bản portable: chỉ cần giải nén và chạy.
Có những phần mềm nào thay thế idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans và Haxe. Trang phần mềm thay thế so sánh các lựa chọn này.
