Haskell Programming Language - Learn Functional Programming for iOS

Опис

Класична мова програмування Haskell для iPad, iPhone та iPod touch. Мова програмування - ідеальний інструмент для навчання, складних математичних розрахунків, розваг і багатьох інших корисних завдань. Додаток особливо корисний для вивчення мови програмування Haskell. Ви повинні купувати збірки всередині програми. Потрібне підключення до Інтернету. - Чудовий інструмент програмування в AppStore. – Ваша мова програмування для iOS чудова! * ОСОБЛИВОСТІ * - Скомпілюйте та запустіть програму. - Введення тексту перед запуском програми та виведення тексту. — Покращений редактор вихідного коду з підсвічуванням синтаксису, номерами рядків, колірними темами та додатковою клавіатурою. — Онлайн-довідник мови та декілька прикладів програм. * ОБМЕЖЕННЯ * - для компіляції та запуску програми потрібне підключення до Інтернету. - Графіка, мережа, файлова система та введення в реальному часі не підтримуються. - Максимальна тривалість програми – 15 секунд. Дякуємо за використання програми! ====================================== Haskell — це стандартизована чисто функціональна мова програмування загального призначення , з нестрогою семантикою та сильною статичною типізацією. Він названий на честь логіка Хаскелла Каррі. У Haskell «функція є першокласним громадянином» мови програмування. Як функціональна мова програмування, основною керуючою конструкцією є функція. Після випуску Miranda компанією Research Software Ltd у 1985 році інтерес до ледачих функціональних мов зріс: до 1987 року існувало понад десяток нестрогих, суто функціональних мов програмування. . З них Miranda була найбільш широко використовуваною, але була пропрієтарним програмним забезпеченням. На конференції з функціональних мов програмування та комп’ютерної архітектури в Портленді, штат Орегон, відбулася зустріч, під час якої учасники досягли сильного консенсусу щодо того, що слід створити комітет для визначення відкритого стандарту для таких мов. Мета комітету полягала в тому, щоб консолідувати існуючі функціональні мови в загальну, яка слугуватиме основою для майбутніх досліджень дизайну функціональних мов. Haskell має ліниву оцінку, відповідність шаблонам, розуміння списків, класи типів і поліморфізм типів. Це суто функціональна мова, що означає, що загалом функції в Haskell не мають побічних ефектів. Існує окрема конструкція для представлення побічних ефектів, ортогональна до типу функцій. Чиста функція може повертати побічний ефект, який згодом виконується, моделюючи нечисті функції інших мов. Haskell має сильну статичну систему типів, засновану на виведенні типу HindleyMilner. Основним нововведенням Haskell у цій галузі є додавання класів типів, які спочатку були задумані як принциповий спосіб додати перевантаження до мови, але з тих пір знайшли багато інших застосувань. Конструкція, яка представляє побічні ефекти, є прикладом монади. Монади — це загальна структура, яка може моделювати різні типи обчислень, включаючи обробку помилок, недетермінізм, синтаксичний аналіз і програмну транзакційну пам’ять. Монади визначаються як звичайні типи даних, але Haskell надає певний синтаксичний цукор для їх використання. Мова має відкриту опубліковану специфікацію та існує кілька реалізацій. Навколо цієї мови існує активна спільнота, а в онлайн-сховищі пакунків Hackage доступно понад 5400 сторонніх бібліотек і інструментів із відкритим вихідним кодом. Основна реалізація Haskell, GHC, є одночасно інтерпретатором і компілятором рідного коду, який запускає на більшості платформ. GHC відомий своєю високопродуктивною реалізацією паралелізму та паралелізму, а також багатою системою типів, яка включає останні інновації, такі як узагальнені алгебраїчні типи даних і сімейства типів.