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