İngilizceFransızcaİspanyolca

Ad


OnWorks favicon'u

Linux için koka indir

Çevrimiçi Ubuntu, çevrimiçi Fedora veya Debian'da çevrimiçi çalıştırmak için ücretsiz indir koka Linux uygulaması

Bu, en son sürümü v2.4.0.zip olarak indirilebilen koka adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.

OnWorks ile koka adlı bu uygulamayı ücretsiz indirin ve çevrimiçi çalıştırın.

Bu uygulamayı çalıştırmak için şu talimatları izleyin:

- 1. Bu uygulamayı PC'nize indirdiniz.

- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.

- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.

- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.

- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.

- 6. Uygulamayı indirin, kurun ve çalıştırın.

EKRAN

Ad


koka


TANIM

Koka, efekt türleri ve işleyicileri ile güçlü bir şekilde yazılmış işlevsel stilde bir dildir. Koka'nın çekirdeği, birinci sınıf işlevler, polimorfik bir tür ve efekt sistemi, cebirsel veri türleri ve efekt işleyiciler gibi iyi çalışılmış küçük bir dizi dil özelliğinden oluşur. Bunların her biri birleştirilebilir ve mümkün olduğunca genel olarak "özel" uzantıların eklenmesini önler. Koka, saf ve etkili hesaplamaların ayırt edildiği, türündeki her işlevin (yan) etkilerini izler. Kesin efekt tiplemesi, Koka'ya iyi çalışılmış kategori teorisi tarafından desteklenen sağlam semantik sağlar, bu da Koka'yı hem insanlar hem de derleyiciler için akıl yürütmeyi özellikle kolaylaştırır. Efekt işleyicileri, istisnalar, zaman uyumsuz/bekliyor veya olasılıklı programlar gibi gelişmiş kontrol soyutlamalarını yazılı ve birleştirilebilir bir şekilde bir kullanıcı kitaplığı olarak tanımlamanıza olanak tanır. Perceus, referans sayımı için gelişmiş bir derleme yöntemidir.



Özellikler

  • Koka'yı yükleyin ve ilk programlarınızı derleyin
  • Koka'nın çekirdeği, iyi çalışılmış küçük bir dizi dil özelliğinden oluşur.
  • Koka, efekt türleri ve işleyicileri ile güçlü bir şekilde yazılmış işlevsel stilde bir dildir.
  • Dil derleyici ve yorumlayıcı
  • Perceus, referans sayımı için gelişmiş bir derleme yöntemidir
  • Koka, türündeki her işlevin (yan) etkilerini izler


Programlama dili

Haskell


Kategoriler

Derleyiciler

Bu, https://sourceforge.net/projects/koka.mirror/ adresinden de alınabilen bir uygulamadır. Ücretsiz Operatif Sistemlerimizden birinden en kolay şekilde online olarak çalıştırılabilmesi için OnWorks üzerinde barındırılmıştır.


Ücretsiz Sunucular ve İş İstasyonları

Windows ve Linux uygulamalarını indirin

Linux komutları

Ad