Це програма для Linux під назвою Idris-dev, останню версію якої можна завантажити як Release1.3.3sourcecode.tar.gz. Її можна запускати онлайн на безкоштовному хостинг-провайдері OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою Idris-dev з 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. Завантажте програму, встановіть її та запустіть.
СКРЕНИ:
Ідріс-дев
ОПИС:
Idris-dev — це розробницька версія Idris 1, універсальної функціональної мови програмування з повним набором залежних типів, призначеної для написання типобезпечних програм та доказів у самій мові. Вона компілюється в C та JavaScript (для Node.js та браузерів) і підтримує генерацію коду через замінні сервери.
Функції
- Повністю залежні типи, що дозволяють значенням відображатися в типах
- Перевірка повноти для забезпечення завершення функцій та їх завершення
- Генератори коду для C та JavaScript (браузер та Node.js)
- Підтримує зовнішні серверні системи (наприклад, JVM, CIL, LLVM) через внески спільноти
- Сильна розробка, орієнтована на типи, натхненна помічниками з доказів, такими як Agda та Coq
- Активно підтримується паралельно з розробкою Idris 2
Мова програмування
Haskell
Категорії
Цю програму також можна завантажити з https://sourceforge.net/projects/idris-dev.mirror/. Вона розміщена на OnWorks для найпростішого запуску онлайн з однієї з наших безкоштовних операційних систем.