Dit is de Linux-app genaamd Koka, waarvan de nieuwste versie kan worden gedownload als koka-v3.2.2-linux-arm64.tar.gz. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam koka gratis online uit met OnWorks.
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.
SCREENSHOTS
Ad
koka
PRODUCTBESCHRIJVING
Koka is een sterk getypeerde functionele stijltaal met effecttypes en handlers. De kern van Koka bestaat uit een kleine set goed bestudeerde taalkenmerken, zoals eersteklas functies, een polymorf type- en effectsysteem, algebraïsche datatypen en effecthandlers. Elk van deze is samen te stellen en vermijd de toevoeging van "speciale" extensies door zo algemeen mogelijk te zijn. Koka volgt de (neven)effecten van elke functie in zijn soort, waarbij pure en effectieve berekeningen worden onderscheiden. De precieze effecttypering geeft Koka een ijzersterke semantiek, ondersteund door goed bestudeerde categorietheorie, waardoor Koka bijzonder gemakkelijk te beredeneren is voor zowel mensen als samenstellers. Met effecthandlers kunt u geavanceerde besturingsabstracties definiëren, zoals uitzonderingen, async/wait of probabilistische programma's, als een gebruikersbibliotheek op een getypte en samen te stellen manier. Perceus is een geavanceerde compilatiemethode voor het tellen van referenties.
Kenmerken
- Installeer Koka en compileer je eerste programma's
- De kern van Koka bestaat uit een kleine set goed bestudeerde taalkenmerken
- Koka is een sterk getypeerde functionele stijltaal met effecttypes en handlers
- Taalcompiler en tolk
- Perceus is een geavanceerde compilatiemethode voor het tellen van referenties
- Koka volgt de (bij)effecten van elke functie in zijn soort
Programmeertaal
Haskell
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/koka.mirror/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
