Идрис (язык программирования)

От / / Оставьте комментарий

Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением.  Разработан как […]

2007 software, Cross-platform free software, Dependently typed languages, Experimental programming languages, Free compilers and interpreters, Free software programmed in Haskell, Functional languages, Haskell programming language family, High-level programming languages, Pattern matching programming languages, Programming languages created in 2007, Software using the BSD license, Бесплатное программное обеспечение, Бесплатные компиляторы и интерпретаторы, Зависимо типизированные языки, использующее лицензию BSD, Кроссплатформенное бесплатное программное обеспечение, написанное на Haskell., Программное обеспечение, программное обеспечение 2007 года, Семейство языков программирования Haskell, созданные в 2007 году., Функциональные языки, Экспериментальные языки программирования, Языки программирования, Языки программирования высокого уровня, Языки программирования сопоставления шаблонов

Idris (язык программирования)

  • Обзор языка программирования Idris

    • Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. 
    • Разработан как универсальный язык, похожий на Haskell, но с акцентом на управление побочными эффектами и поддержку встроенных DSL. 
    • Компилируется на C и JavaScript, с поддержкой других платформ через сторонние генераторы кода. 

  • Особенности и синтаксис

    • Синтаксис Idris похож на Haskell, с некоторыми отличиями в сигнатуре типа и объявлении модуля. 
    • Поддерживает индуктивные и параметрические типы данных, а также зависимые типы, которые позволяют выполнять вычисления на уровне значений. 
    • Функция «total» обеспечивает проверку полноты программы, а система типов может доказать инвариантность программ. 

  • Генерация кода и интеграция с помощниками по проверке

    • Idris генерирует машинный код на C по умолчанию, а также поддерживает генерацию JavaScript. 
    • Idris 2 представляет новую версию языка с интеграцией системы линейных типов и компиляцией в Scheme и C. 

  • Дополнительные ресурсы

    • Ссылки на официальный сайт, документацию, примеры и список помощников по проверке. 

Полный текст статьи:

Идрис (язык программирования)

Похожие статьи:

  1. Компилятор Haskell Глазго Компилятор Glasgow Haskell Обзор компилятора GHC GHC — компилятор для языка программирования Haskell, разработанный Саймоном Пейтоном...
  2. Доказательное образование Обучение, основанное на фактических данных Обзор образовательных программ Образовательные программы оцениваются по эффективности и качеству.  Программы...
  3. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  4. Параллельный Haskell Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма.  Основные концепции включают...
  5. Elm (язык программирования) Elm (язык программирования) Обзор Elm Elm — это специализированный язык для создания графических интерфейсов на основе...
  6. Вид (теория типов) Вид (теория типов) Основы системы типов Haskell Система типов Haskell основана на двух видах:  Тип данных...
  7. Чистый (язык программирования) Clean (язык программирования) Обзор Clean Clean — функциональный язык программирования общего назначения, разработанный в 1987 году. ...
  8. Система типов Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных.  Типы данных...
  9. Зависимый тип Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. ...
  10. Язык программирования Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. ...
  11. Система субструктурных типов Система подструктурного типа Безопасность типов и системы подструктурных типов Системы подструктурных типов ограничивают доступ к ресурсам,...
  12. JavaScript язык JavaScript JavaScript — язык программирования с динамической типизацией и прототипическим наследованием.  Функции в JavaScript могут...
  13. Чистый скрипт Чистый скрипт Обзор PureScript PureScript — строго типизированный функциональный язык, компилируемый в JavaScript, C++11, Erlang, Go. ...
  14. Первоклассная функция Первоклассная функция Определение и важность первоклассных функций Первоклассные функции позволяют передавать функции как аргументы и возвращать...
  15. Эзотерический язык программирования Эзотерический язык программирования Определение и история эсолангов Эсоланги — это языки программирования, которые часто используются для...
  16. Хаскелл Хаскелл Haskell — функциональный язык программирования с акцентом на выразительность и чистоту.  Разработан в 1990 году,...
  17. Хаксе Хаксе Обзор Haxe Haxe — это язык программирования с открытым исходным кодом, который позволяет создавать кроссплатформенные...
  18. Теория типов Теория типов Основы теории типов Теория типов — это формализм для определения и работы с типами...
  19. Понимание списка Понимание списка Определение и использование Понимание списка — это конструкция в языках программирования, которая позволяет создавать...
  20. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  21. Чао (язык программирования) Ciao (язык программирования) Основные характеристики Ciao Ciao — это язык программирования общего назначения с поддержкой различных...
  22. Сильная и слабая типизация Сильная и слабая типизация Классификация языков программирования по типу системы Строгая типизация: строгие правила набора текста,...

Оставьте комментарий

Прокрутить вверх