A Dependently Typed Functional Programming Language
Julkaisijan kuvaus (englanti)
Mikä on idris?
idris on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: IDE:t ja koodieditorit).
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen; tiedostomuodot: Portable. Pääasennusohjelman koko on 1 kt. Ohjelma toimii ilman asennusta (portable).
Suosio ja tiedostotyypit
Chocolatey-paketti on ladattu 2 068 kertaa. Samankaltaisia ohjelmia ovat esimerkiksi OpenCode, RStudio ja Node.js (LTS).
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Portable: toimii ilman asennusta
- Pieni lataus (1 kt)
Miinukset
- Ei natiivia ARM64-versiota
- Virallinen latauslinkki ei vastannut viimeisimmässä tarkistuksessa
Lyhyesti: idris on avoimen lähdekoodin työkalu kategoriasta IDE:t ja koodieditorit (64-bittinen).
Onko idris-ohjelman lataaminen turvallista?
- Tiedoston jakelee neon.se; tarkista, että kyseessä on julkaisijan virallinen peilipalvelin
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Avaa tämän tiivisteen VirusTotal-raportti - Linkki ei vastannut viimeisimmässä tarkistuksessa (26. lokakuuta 2026)
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (1) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.3.3Uusin | 1 kt | 64-bittinen ZIP |
Asennus komentoriviltä
Hiljainen asennus ›choco install idris -yscoop install main/idrisOhjelmatiedostot (.exe): idris.exe
Aiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Tiedot
- Kategoria
- IDE:t ja koodieditorit
- Lisenssi
- BSD-3-Clause
- Hinta
- Ilmainen
- Lähdekoodi
- github.com
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- Portable
- Versio
- 1.3.3
- Versioita luettelossa
- 1
- Chocolatey-lataukset
- 2 068
- Verkkosivusto
- idris-lang.org
- Chocolatey-paketti
- idris
- Scoop-paketti
- main/idris
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja idris-ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi285,2 t. ↓ -
Avoin lähdekoodi705,1 t. ↓ -
Avoin lähdekoodi4,9 milj. ↓ -
Avoin lähdekoodi88,8 t. ↓ -
Avoin lähdekoodi49,7 t. ↓ -
Avoin lähdekoodi136,7 t. ↓ -
Avoin lähdekoodi394,5 t. ↓ -
Avoin lähdekoodi94,6 t. ↓
Usein kysytyt kysymykset
Onko idris ilmainen?
Kyllä. idris on avoimen lähdekoodin ohjelmisto, lisenssi BSD-3-Clause.
Onko idris-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta neon.se; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Toimiiko idris ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Voiko idris-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
Mitä vaihtoehtoja idris-ohjelmalle on?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ja Haxe. Vaihtoehtosivu vertailee niitä.
