Це програма для 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
Специфікація землі фентезі
ОПИС
Цей проект визначає взаємодію таких поширених алгебраїчних структур, як 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, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
