Aceasta este aplicația Linux numită Idris-dev, a cărei ultimă versiune poate fi descărcată ca Release1.3.3sourcecode.tar.gz. Poate fi rulată online în furnizorul de găzduire gratuită OnWorks pentru stații de lucru.
Descarcă și rulează online această aplicație numită Idris-dev cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
CAPTURĂ DE ECRAN:
Idris-dev
DESCRIERE:
Idris-dev este versiunea de dezvoltare a Idris 1, un limbaj de programare funcțional de uz general, cu tipuri complet dependente, conceput pentru scrierea de programe sigure pentru tipuri și demonstrații în cadrul limbajului în sine. Se compilează în C și JavaScript (pentru Node.js și browsere) și acceptă generarea de cod prin intermediul backend-urilor substitutive.
Categorii
- Tipuri complet dependente care permit apariția valorilor în tipuri
- Verificarea totalității pentru a asigura finalizarea funcțiilor și terminarea acestora
- Generatoare de cod pentru C și JavaScript (browser și Node.js)
- Suportă backend-uri externe (de exemplu, JVM, CIL, LLVM) prin contribuții ale comunității
- Dezvoltare puternică bazată pe tipuri, inspirată de asistenți de demonstrație precum Agda și Coq
- Menținut activ în paralel cu dezvoltarea Idris 2
Limbaj de programare
Haskell
Categorii
Aceasta este o aplicație care poate fi descărcată și de la https://sourceforge.net/projects/idris-dev.mirror/. A fost găzduită în OnWorks pentru a putea fi rulată online în cel mai simplu mod de pe unul dintre sistemele noastre de operare gratuite.