Це програма для Windows під назвою Idris 2, останню версію якої можна завантажити як Version0.6.0.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою Idris 2 з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера 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
Ідріс 2
ОПИС
У розробці, керованій типами, типи є інструментами для побудови програм. Ми розглядаємо тип як план програми, а компілятор і засіб перевірки типів використовуємо як наших помічників, які направляють нас до повної програми, яка задовольняє тип. Чим більш виразним є тип, який ми відмовляємося наперед, тим більше ми можемо мати впевненості, що отримана програма буде правильною. В Idris типи — це першокласні конструкції в мові. Це означає, що типи можна передавати як аргументи функціям і повертати з функцій, як і будь-які інші значення, такі як числа, рядки або списки. Це невелика, але потужна ідея, яка дозволяє виразити відносини між цінностями; наприклад, що два списки мають однакову довжину. Припущення, які мають бути явними та перевіреними компілятором. Наприклад, якщо ви припустите, що список не порожній, Idris може переконатися, що це припущення завжди виконується до запуску програми.
Функції
- якщо потрібно, властивості поведінки програми повинні бути офіційно заявлені та доведені
- Типи - це першокласні конструкції в мові
- Idris — це мова програмування, розроблена для заохочення розробки, керованої типами
- Ми розглядаємо тип як план програми
- Використовуйте компілятор і перевірку типів як помічника
- Типи можна передавати як аргументи функціям
Мова програмування
C
Категорії
Це програма, яку також можна завантажити з https://sourceforge.net/projects/idris-2.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
