Ito ang Linux app na pinangalanang koka na ang pinakabagong release ay maaaring ma-download bilang koka-v3.2.2-linux-arm64.tar.gz. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang koka gamit ang OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
koka
DESCRIPTION
Ang Koka ay isang malakas na uri ng functional-style na wika na may mga uri ng epekto at mga humahawak. Ang core ng Koka ay binubuo ng isang maliit na hanay ng mga feature ng wikang pinag-aralan nang mabuti, tulad ng mga first-class na function, isang polymorphic type- and effect system, algebraic na mga uri ng data, at effect handler. Ang bawat isa sa mga ito ay composable at maiwasan ang pagdaragdag ng "espesyal" na mga extension sa pamamagitan ng pagiging pangkalahatan hangga't maaari. Sinusubaybayan ng Koka ang (mga side) na epekto ng bawat function sa uri nito, kung saan nakikilala ang dalisay at epektibong pagkalkula. Ang tumpak na pag-type ng epekto ay nagbibigay ng Koka rock-solid semantics na sinusuportahan ng mahusay na pinag-aralan na teorya ng kategorya, na ginagawang mas madaling mangatuwiran si Koka para sa parehong mga tao at mga compiler. Hinahayaan ka ng mga tagapangasiwa ng epekto na tukuyin ang mga advanced na abstraction ng kontrol, tulad ng mga exception, async/wait, o probabilistic na mga program, bilang isang library ng user sa isang na-type at composable na paraan. Ang Perceus ay isang advanced na paraan ng compilation para sa pagbibilang ng sanggunian.
Mga tampok
- I-install ang Koka at i-compile ang iyong mga unang program
- Ang core ng Koka ay binubuo ng isang maliit na hanay ng mga mahusay na pinag-aralan na mga tampok ng wika
- Ang Koka ay isang malakas na uri ng functional-style na wika na may mga uri ng epekto at mga humahawak
- Tagabuo ng wika at interpreter
- Ang Perceus ay isang advanced na paraan ng compilation para sa pagbibilang ng sanggunian
- Sinusubaybayan ni Koka ang (mga side) effect ng bawat function sa uri nito
Wika ng Programming
Haskell
Kategorya
Ito ay isang application na maaari ding makuha mula sa https://sourceforge.net/projects/koka.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
