A Dependently Typed Functional Programming Language
Leidėjo aprašymas (anglų)
Kas yra idris?
Programa idris yra atvirojo kodo programinė įranga, skirta Windows (kategorija „IDE ir kodo redaktoriai“).
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: 64 bitų. Pagrindinio diegimo failo dydis – 1 KB. Programa veikia be diegimo (nešiojamoji versija).
Populiarumas ir failų tipai
„Chocolatey“ paketas atsisiųstas 2 068 kartus. Panašios programos: OpenCode, RStudio ir Node.js (LTS).
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Nešiojamoji versija: veikia be diegimo
- Mažas diegimo failas (1 KB)
Trūkumai
- Nėra natūralios ARM64 versijos
- Per paskutinį patikrinimą oficiali atsisiuntimo nuoroda neatsakė
Trumpai: idris – atvirojo kodo programa, skirta Windows (kategorija „IDE ir kodo redaktoriai“), prieinama 64 bitų sistemoms.
Ar saugu atsisiųsti programą idris?
- Failas atsisiunčiamas iš serverio neon.se; patikrinkite, ar tai oficiali leidėjo veidrodinė svetainė
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Per paskutinį patikrinimą nuoroda neatsakė (2026 m. spalio 26 d.)
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Naujausios versijos
Visos versijos (1) ›| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 1.3.3Naujausia | 1 KB | 64 bitų ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›choco install idris -yscoop install main/idrisProgramų failai (.exe): idris.exe
Susijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Informacija
- Kategorija
- IDE ir kodo redaktoriai
- Licencija
- BSD-3-Clause
- Kaina
- Nemokama
- Pirminis kodas
- github.com
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų
- Diegimo failas
- Nešiojamoji versija
- Versija
- 1.3.3
- Versijų skaičius
- 1
- Atsisiuntimai iš „Chocolatey“
- 2 068
- Svetainė
- idris-lang.org
- „Chocolatey“ paketas
- idris
- „Scoop“ paketas
- main/idris
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Programos idris alternatyvos
Rodyti viską ›-
Atvirasis kodas285,2 tūkst. ↓ -
Atvirasis kodas705,1 tūkst. ↓ -
Atvirasis kodas4,9 mln. ↓ -
Atvirasis kodas88,8 tūkst. ↓ -
Atvirasis kodas49,7 tūkst. ↓ -
Atvirasis kodas136,7 tūkst. ↓ -
Atvirasis kodas394,5 tūkst. ↓ -
Atvirasis kodas94,6 tūkst. ↓
Dažniausi klausimai
Ar programa idris nemokama?
Taip. idris – atvirojo kodo programa (licencija BSD-3-Clause), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą idris?
Failas atsisiunčiamas iš domeno neon.se; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Ar idris veikia ARM procesoriuose (Windows on Arm)?
ARM64 versijos nėra; Windows 11 on Arm gali paleisti 64 bitų versiją emuliuodama.
Ar programą idris galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.
Kokios yra programos idris alternatyvos?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ir Haxe. Jos palygintos alternatyvų puslapyje.
