Это приложение для 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, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
