Это приложение для Linux под названием Fantasy Land Specification, последнюю версию которого можно загрузить как Version5.0.1.zip. Его можно запустить онлайн на бесплатном хостинг-провайдере OnWorks для рабочих станций.
Загрузите и запустите онлайн это приложение под названием Fantasy Land Specification с 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
Характеристики Fantasy Land
ОПИСАНИЕ
Этот проект определяет совместимость общих алгебраических структур, таких как Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative и т. Д. Алгебра - это набор значений, набор операторов, которыми она является. закрыт по некоторым законам и должен подчиняться. Каждая алгебра Fantasy Land представляет собой отдельную спецификацию. Алгебра может иметь зависимости от других алгебр, которые необходимо реализовать. «Значение» - это любое значение JavaScript, включая любое, имеющее структуру, определенную ниже. «Эквивалент» - подходящее определение эквивалентности данной стоимости. Определение должно гарантировать, что два значения можно безопасно поменять местами в программе, которая уважает абстракции. Например, два списка эквивалентны, если они эквивалентны по всем индексам, два простых старых объекта JavaScript, интерпретируемых как словари, эквивалентны, когда они эквивалентны для всех ключей, два обещания эквивалентны, когда они дают эквивалентные значения, и т. Д.
Особенности
- Каждая алгебра Fantasy Land представляет собой отдельную спецификацию.
- Определенное поведение определяется с точки зрения члена типа.
- Другое поведение не требует членства
- Некоторые алгебры требуют, чтобы тип предоставлял представителя на уровне значений.
- Если тип данных предоставляет метод, который может быть производным, его поведение должно быть эквивалентно поведению производного метода.
- Рекомендуется генерировать исключение при неопределенном поведении
Язык программирования
JavaScript
Категории
Это приложение также можно загрузить с https://sourceforge.net/projects/fantasy-land-spec.mirror/. Он размещен в OnWorks, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
