A Dependently Typed Functional Programming Language
Descripció del desenvolupador (anglès)
Què és idris?
idris és programari de codi obert per a Windows inclòs a la categoria IDE i editors de codi.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits. L’instal·lador principal ocupa 1 kB. Funciona sense instal·lació (versió portable).
Popularitat i tipus de fitxer
El paquet de Chocolatey suma 2.068 baixades. Entre els programes semblants hi ha OpenCode, RStudio i Node.js (LTS).
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
- Baixada lleugera (1 kB)
Inconvenients
- Sense versió nativa per a ARM64
- L’enllaç de baixada oficial no va respondre en la darrera comprovació
En resum: idris és un programa de codi obert de la categoria IDE i editors de codi, disponible per a ordinadors de 64 bits.
És segur baixar idris?
- El fitxer se serveix des de neon.se; convé comprovar que és una rèplica oficial del desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Obre l’informe de VirusTotal d’aquest hash - L’enllaç no va respondre en la darrera comprovació (26 d’octubre del 2026)
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Versions recents
Una sola versió ›| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.3.3Darrera | 1 kB | 64 bits ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›choco install idris -yscoop install main/idrisFitxers de programa (.exe): idris.exe
Guia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Categoria
- IDE i editors de codi
- Llicència
- BSD-3-Clause
- Preu
- Gratuït
- Codi font
- github.com
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- Portable
- Versió
- 1.3.3
- Versions registrades
- 1
- Baixades a Chocolatey
- 2.068
- Lloc web
- idris-lang.org
- Paquet de Chocolatey
- idris
- Paquet de Scoop
- main/idris
Valoracions i opinions
Encara no hi ha cap opinió.
Alternatives a idris
Mostra-ho tot ›-
Codi obert285,2 k ↓ -
Codi obert705,1 k ↓ -
Codi obert4,9 M ↓ -
Codi obert88,8 k ↓ -
Codi obert49,7 k ↓ -
Codi obert136,7 k ↓ -
Codi obert394,5 k ↓ -
Codi obert94,6 k ↓
Preguntes freqüents
idris és gratuït?
Sí. idris és programari de codi obert amb llicència BSD-3-Clause.
És segur baixar idris?
La baixada prové de neon.se. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
idris funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
Es pot fer servir idris sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
Quines alternatives hi ha a idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. La pàgina d’alternatives els compara.
