Questa è l'app Linux chiamata Idris-dev, la cui ultima versione può essere scaricata come Release1.3.3sourcecode.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app chiamata Idris-dev con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI:
Idris-dev
DESCRIZIONE:
Idris-dev è la versione di sviluppo di Idris 1, un linguaggio di programmazione funzionale generico con tipi completamente dipendenti, progettato per scrivere programmi e dimostrazioni type-safe all'interno del linguaggio stesso. Compila in C e JavaScript (per Node.js e browser) e supporta la generazione di codice tramite backend sostitutivi.
Caratteristiche
- Tipi completamente dipendenti che consentono ai valori di apparire nei tipi
- Controllo di totalità per garantire che le funzioni siano complete e terminanti
- Generatori di codice per C e JavaScript (browser e Node.js)
- Supporta backend esterni (ad esempio, JVM, CIL, LLVM) tramite contributi della comunità
- Sviluppo fortemente basato sui tipi, ispirato ad assistenti di prova come Agda e Coq
- Mantenuto attivamente in parallelo con lo sviluppo di Idris 2
Linguaggio di programmazione
Haskell
Categorie
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/idris-dev.mirror/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.