A Dependently Typed Functional Programming Language
發行商的介紹（英文）
idris是什麼軟體？
idris是「IDE與程式碼編輯器」分類中的一款開放原始碼Windows軟體。
安裝與系統需求
開發商為64位元的Windows提供免安裝版格式的安裝檔。主要安裝檔大小為1 KB。不需安裝即可執行（免安裝版）。
熱門程度與檔案關聯
Chocolatey套件累計下載2,068次。同類軟體還有OpenCode、RStudio和Node.js (LTS)。
優點 / 缺點
優點
- 開放原始碼：任何人都能檢視和自行編譯原始碼
- 免安裝版，不需安裝即可執行
- 安裝檔小（1 KB）
缺點
- 沒有原生ARM64版本
- 最近一次檢查時官方下載連結沒有回應
總結: idris是一款適用於64位元電腦的開放原始碼Windows軟體，歸在「IDE與程式碼編輯器」類。
idris下載安全嗎？
- 檔案由neon.se提供，請確認它是開發商的官方鏡像站
- 下載連結使用HTTPS
- 已公布SHA256值，可驗證檔案完整性:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· 查看這個雜湊值的VirusTotal報告 - 最近一次檢查時連結沒有回應（2026年10月26日）
- 原始碼公開
- ExeAtlas不存放、不綑綁、也不修改安裝檔
相關教學: Windows如何驗證檔案的SHA256雜湊值
近期版本
全部1個版本 ›用指令安裝
靜默安裝 ›PowerShell
choco
choco install idris -yscoop
scoop install main/idris程式檔（.exe）: idris.exe
相關教學: winget教學：用指令安裝與更新軟體
軟體資訊
- 分類
- IDE與程式碼編輯器
- 授權
- BSD-3-Clause
- 價格
- 免費
- 原始碼
- github.com
- 系統需求
- Windows 11 / 10
- 架構
- 64位元
- 安裝檔類型
- 免安裝版
- 版本
- 1.3.3
- 收錄版本數
- 1
- Chocolatey下載次數
- 2,068
- 官方網站
- idris-lang.org
- Chocolatey套件名稱
- idris
- Scoop套件名稱
- main/idris
評分與評論
–
0則評分
50
40
30
20
10
目前還沒有評論，歡迎成為第一個評分的人。
idris替代軟體
查看全部 ›-
開放原始碼28.5萬 ↓ -
開放原始碼70.5萬 ↓ -
開放原始碼493.2萬 ↓ -
開放原始碼8.9萬 ↓ -
開放原始碼5萬 ↓ -
開放原始碼13.7萬 ↓ -
開放原始碼39.4萬 ↓ -
開放原始碼9.5萬 ↓
常見問題
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。替代軟體頁面對它們做了比較。
