Dit is de Linux-app Idris-dev, waarvan de nieuwste versie kan worden gedownload als Release1.3.3sourcecode.tar.gz. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik online deze app met de naam Idris-dev met OnWorks gratis.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCHERMSCHERMEN:
Idris-dev
BESCHRIJVING:
Idris-dev is de ontwikkelversie van Idris 1, een algemene functionele programmeertaal met volledig afhankelijke typen, ontworpen voor het schrijven van typeveilige programma's en bewijzen binnen de taal zelf. Het compileert naar C en JavaScript (voor Node.js en browsers) en ondersteunt codegeneratie via vervangende backends.
Kenmerken
- Volledig afhankelijke typen die het mogelijk maken dat waarden in typen verschijnen
- Totaliteitscontrole om te garanderen dat de functies compleet zijn en beëindigd
- Codegenerators voor C en JavaScript (browser en Node.js)
- Ondersteunt externe backends (bijv. JVM, CIL, LLVM) via communitybijdragen
- Sterke typegedreven ontwikkeling geïnspireerd door bewijsassistenten zoals Agda en Coq
- Actief onderhouden parallel aan de ontwikkeling van Idris 2
Programmeertaal
Haskell
Categorieën
Deze applicatie kan ook worden gedownload van https://sourceforge.net/projects/idris-dev.mirror/. Deze is gehost in OnWorks, zodat deze eenvoudig online kan worden uitgevoerd via een van onze gratis besturingssystemen.