Это приложение для Windows под названием koka, последнюю версию которого можно загрузить как v2.4.0.zip. Его можно запустить онлайн на бесплатном хостинг-провайдере OnWorks для рабочих станций.
Загрузите и запустите онлайн это приложение под названием koka с OnWorks бесплатно.
Следуйте этим инструкциям, чтобы запустить это приложение:
- 1. Загрузил это приложение на свой компьютер.
- 2. Введите в нашем файловом менеджере https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 3. Загрузите это приложение в такой файловый менеджер.
- 4. Запустите любой онлайн-эмулятор OS OnWorks с этого сайта, но лучше онлайн-эмулятор Windows.
- 5. В только что запущенной ОС Windows OnWorks перейдите в наш файловый менеджер 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, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
