Оглавление [Скрыть]
Miranda (язык программирования)
-
Обзор Miranda
- Miranda – это функциональный язык программирования, разработанный Дэвидом Тернером.
- Язык был выпущен в 1985 году и получил коммерческую поддержку.
- Он оказал влияние на Haskell и был первым функциональным языком с коммерческой поддержкой.
-
Особенности и развитие
- Miranda – это ленивый язык без побочных эффектов и обязательных функций.
- Программа представляет собой набор уравнений, определяющих математические функции и типы данных.
- В языке используется разметка для упрощения синтаксиса и уменьшения необходимости в квадратных скобках и терминаторах операторов.
- В 2020 году выпущена версия с открытым исходным кодом под лицензией BSD, обновленная до современных стандартов Си.
-
Имя и логотип
- Имя Miranda происходит от латинского глагола “miror”, что означает “вызывать восхищение”.
- Логотип основан на персонаже Миранды из “Бури” Шекспира.
-
Типы данных и структуры данных
- Основные типы данных в Miranda – это char, num и bool.
- Символьная строка – это список символов, num автоматически преобразуется между целочисленными и плавающими значениями.
- Кортежи и списки являются распространенными структурами данных.
- Объединение списков, вычитание, построение и индексация осуществляются с помощью специальных операторов.
-
Функции и операторы
- Функции в Miranda являются первоклассными и могут быть частично параметризованы.
- Функции могут быть преобразованы в инфиксные операторы, что упрощает их использование.
- Интерпретатор выводит типы функций из их параметров и использования.
-
Модули и управление ими
- В Miranda есть механизмы для создания и управления программными модулями.
-
Примеры кода
- Приведены примеры сценариев, демонстрирующих основные функции и структуры данных языка.
-
Рекомендации
- Ссылки на официальный веб-сайт и внешние ресурсы для дополнительной информации.
Полный текст статьи: