Це програма для Windows під назвою koka, останню версію якої можна завантажити як v2.4.0.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою koka з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
Koka
ОПИС
Koka — це строго типізована мова функціонального стилю з типами ефектів і обробниками. Ядро Koka складається з невеликого набору добре вивчених функцій мови, таких як першокласні функції, система поліморфних типів і ефектів, алгебраїчні типи даних і обробники ефектів. Кожне з них є складним і дозволяє уникнути додавання «спеціальних» розширень, будучи максимально загальним. Koka відстежує (побічні) ефекти кожної функції свого типу, де розрізняються чисті та ефективні обчислення. Точна типізація ефектів надає Koka надійну семантику, підкріплену добре вивченою теорією категорій, що робить Koka особливо легким для розуміння як для людей, так і для компіляторів. Обробники ефектів дозволяють визначати розширені абстракції керування, як-от винятки, асинхронні/очікувальні програми або імовірнісні програми, як користувальницьку бібліотеку в типізованому та компонованому вигляді. Perceus — вдосконалений метод компіляції для підрахунку посилань.
риси
- Встановіть Koka і скомпілюйте свої перші програми
- Ядро Koka складається з невеликого набору добре вивчених мовних особливостей
- Koka — це строго типізована мова функціонального стилю з типами ефектів і обробниками
- Компілятор і інтерпретатор мови
- Perceus — вдосконалений метод компіляції для підрахунку посилань
- Koka відстежує (побічні) ефекти кожної функції свого типу
Мова програмування
Haskell
Категорії
Цю програму також можна завантажити з https://sourceforge.net/projects/koka.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
