Aceasta este aplicația Linux numită Koka, a cărei ultimă versiune poate fi descărcată sub numele koka-v3.2.2-linux-arm64.tar.gz. 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ă koka 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
Koka
DESCRIERE
Koka este un limbaj puternic tip funcțional, cu tipuri de efecte și handlere. Nucleul Koka constă dintr-un set mic de caracteristici ale limbajului bine studiate, cum ar fi funcții de primă clasă, un sistem polimorf de tip și efecte, tipuri de date algebrice și handlere de efecte. Fiecare dintre acestea este componabilă și evită adăugarea de extensii „speciale” fiind cât mai generale posibil. Koka urmărește efectele (colaterale) ale fiecărei funcții din tipul său, unde se disting calculele pure și eficiente. Tastarea cu efect precis îi oferă lui Koka o semantică solidă susținută de o teorie a categoriilor bine studiată, ceea ce face ca Koka să fie deosebit de ușor de raționat atât pentru oameni, cât și pentru compilatori. Manipulatorii de efecte vă permit să definiți abstracții de control avansate, cum ar fi excepții, programe asincrone/așteptare sau probabilistice, ca bibliotecă de utilizator într-un mod tipizat și compus. Perceus este o metodă avansată de compilare pentru numărarea referințelor.
Categorii
- Instalați Koka și compilați primele dvs. programe
- Miezul lui Koka constă dintr-un set mic de caracteristici lingvistice bine studiate
- Koka este un limbaj puternic tip funcțional, cu tipuri de efecte și handlere
- Compilator și interpret de limbă
- Perceus este o metodă avansată de compilare pentru numărarea referințelor
- Koka urmărește efectele (colaterale) ale fiecărei funcții din tipul său
Limbaj de programare
Haskell
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/koka.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.
