Aceasta este aplicația Linux numită Idris 2 a cărei ultimă versiune poate fi descărcată ca versiunea 0.6.0.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Idris 2 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.
SCREENSHOTS
Ad
Idris 2
DESCRIERE
În dezvoltarea bazată pe tipuri, tipurile sunt instrumente pentru construirea de programe. Tratăm tipul ca un plan pentru un program și folosim compilatorul și verificatorul de tip ca asistent, ghidându-ne către un program complet care satisface tipul. Cu cât tipul este mai expresiv la care renunțăm dinainte, cu atât putem avea mai multă încredere că programul rezultat va fi corect. În Idris, tipurile sunt constructe de primă clasă în limbaj. Aceasta înseamnă că tipurile pot fi transmise ca argumente la funcții și returnate din funcții la fel ca orice altă valoare, cum ar fi numere, șiruri de caractere sau liste. Aceasta este o idee mică, dar puternică, care permite exprimarea relațiilor între valori; de exemplu, că două liste au aceeași lungime. Ipotezele care trebuie făcute explicite și verificate de compilator. De exemplu, dacă presupuneți că o listă nu este goală, Idris se poate asigura că această ipoteză este valabilă întotdeauna înainte ca programul să fie rulat.
DESCRIERE
- dacă se dorește, proprietățile comportamentului programului să fie declarate și dovedite în mod formal
- Tipurile sunt constructe de primă clasă în limbaj
- Idris este un limbaj de programare conceput pentru a încuraja dezvoltarea tip-driven
- Tratăm tipul ca pe planul unui program
- Utilizați compilatorul și verificatorul de tip ca asistent
- Tipurile pot fi transmise ca argumente funcțiilor
Limbaj de programare
C
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/idris-2.mirror/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
