EnglishFrenchSpanyol

Favicon OnWorks

muat turun koka untuk Windows

Muat turun percuma aplikasi Windows koka untuk menjalankan Wine Wine dalam talian di Ubuntu dalam talian, Fedora dalam talian atau Debian dalam talian

Ini ialah apl Windows bernama koka yang keluaran terbarunya boleh dimuat turun sebagai v2.4.0.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.

Muat turun dan jalankan dalam talian aplikasi bernama koka ini dengan OnWorks secara percuma.

Ikut arahan ini untuk menjalankan apl ini:

- 1. Memuat turun aplikasi ini dalam PC anda.

- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.

- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.

- 4. Mulakan mana-mana emulator dalam talian OS OnWorks daripada tapak web ini, tetapi emulator dalam talian Windows yang lebih baik.

- 5. Daripada OS Windows OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.

- 6. Muat turun aplikasi dan pasangnya.

- 7. Muat turun Wine dari repositori perisian pengedaran Linux anda. Setelah dipasang, anda kemudian boleh mengklik dua kali aplikasi untuk menjalankannya dengan Wine. Anda juga boleh mencuba PlayOnLinux, antara muka mewah melalui Wine yang akan membantu anda memasang program dan permainan Windows yang popular.

Wain ialah cara untuk menjalankan perisian Windows pada Linux, tetapi tanpa Windows diperlukan. Wain ialah lapisan keserasian Windows sumber terbuka yang boleh menjalankan program Windows secara langsung pada mana-mana desktop Linux. Pada asasnya, Wine cuba untuk melaksanakan semula Windows yang mencukupi dari awal supaya ia boleh menjalankan semua aplikasi Windows tersebut tanpa memerlukan Windows.

SKRIN

Ad


coca


DESCRIPTION

Koka ialah bahasa gaya fungsian yang ditaip kuat dengan jenis kesan dan pengendali. Teras Koka terdiri daripada set kecil ciri bahasa yang dikaji dengan baik, seperti fungsi kelas pertama, sistem jenis dan kesan polimorfik, jenis data algebra dan pengendali kesan. Setiap daripada ini boleh digubah dan elakkan penambahan sambungan "istimewa" dengan menjadi seumum mungkin. Koka menjejaki kesan (sampingan) setiap fungsi dalam jenisnya, di mana pengiraan tulen dan berkesan dibezakan. Penaipan kesan yang tepat memberikan semantik pepejal batu Koka yang disokong oleh teori kategori yang dikaji dengan baik, yang menjadikan Koka sangat mudah untuk dihuraikan untuk kedua-dua manusia dan penyusun. Pengendali kesan membolehkan anda menentukan abstraksi kawalan lanjutan, seperti pengecualian, async/menunggu, atau atur cara kebarangkalian, sebagai pustaka pengguna dengan cara yang ditaip dan boleh digubah. Perceus ialah kaedah kompilasi lanjutan untuk pengiraan rujukan.



Ciri-ciri

  • Pasang Koka dan susun atur cara pertama anda
  • Teras Koka terdiri daripada satu set kecil ciri bahasa yang dipelajari dengan baik
  • Koka ialah bahasa gaya fungsian yang ditaip kuat dengan jenis kesan dan pengendali
  • Penyusun dan penterjemah bahasa
  • Perceus ialah kaedah kompilasi lanjutan untuk pengiraan rujukan
  • Koka menjejaki kesan (sampingan) setiap fungsi dalam jenisnya


Bahasa Pengaturcaraan

Haskell


Kategori

Penyusun

Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/koka.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.


Pelayan & Stesen Kerja Percuma

Muat turun apl Windows & Linux

  • 1
    teras formkiq
    teras formkiq
    Teras FormKiQ ialah Dokumen Sumber Terbuka
    Sistem Pengurusan (DMS), tersedia untuk
    dijalankan sebagai perisian tanpa kepala atau dengan a
    pelanggan berasaskan web, digunakan untuk anda
    Amazon Kami...
    Muat turun formkiq-core
  • 2
    Hari Jumaat
    Hari Jumaat
    Blackfriday ialah pemproses Markdown
    dilaksanakan dalam Go. Ia adalah paranoid tentang
    inputnya (supaya anda boleh menyuapnya dengan selamat
    data yang dibekalkan pengguna), ia adalah pantas, ia
    menyokong c...
    Muat turun Blackfriday
  • 3
    Sumber GPL NAS QNAP
    Sumber GPL NAS QNAP
    Sumber GPL untuk QNAP Turbo NAS.
    Khalayak: Pembangun. Antaramuka pengguna:
    berasaskan web. Bahasa Pengaturcaraan: C,
    Jawa. Kategori:Sistem, Storan,
    Sistem Operasi Ker...
    Muat turun Sumber GPL QNAP NAS
  • 4
    dalam-bersih
    dalam-bersih
    Skrip Kotlin yang membina semua nuklear
    cache daripada projek Gradle/Android.
    Berguna apabila Gradle atau IDE membenarkan anda
    turun. Skrip telah diuji
    macOS, tetapi ...
    Muat turun deep-clean
  • 5
    Pemalam Gaya Semak Eclipse
    Pemalam Gaya Semak Eclipse
    Pemalam Eclipse Checkstyle
    menyepadukan kod Java Checkstyle
    juruaudit ke dalam IDE Eclipse. The
    pemalam menyediakan maklum balas masa nyata kepada
    pengguna tentang viol...
    Muat turun Eclipse Checkstyle Plug-in
  • 6
    AstroOrzPlayer
    AstroOrzPlayer
    AstroOrz Player ialah pemain media percuma
    perisian, bahagian berdasarkan WMP dan VLC. The
    pemain adalah dalam gaya minimalis, dengan
    lebih daripada sepuluh warna tema, dan boleh juga
    b ...
    Muat turun AstroOrzPlayer
  • Lebih »

Arahan Linux

Ad