Функциональный язык программирования Miranda, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов, поддерживает типы данных пользователя. Как и язык ML преподается во многих университетах. Функциональные объекты строятся с помощью карринга (частичного применения) существующих функций. Обладает ленивой семантикой. Программа представляет из себя множество определений.

Преемник языков SASL и KRC, использующий некоторые концепции ML и Hope. Оказал большое влияние на разработчиков языка Haskell.

Пример кода
Определение функции map и ее последующее применение к функции, увеличивающей аргумент на два:
   map f[] = []
  map f(x:s) = (f x):(map f s)
  L = [1..6]
  map((+)2) L
  → [3, 4, 5, 6, 7, 8]

Write a comment

• Required fields are marked with *.

Name:
Email:
Subject:
Comment: *

Help prevent spam - enter security code above:
 

GMBerkut
Posts: 1

Re: Язык программирования Миранда
Reply #1 on : Tue January 20, 2009, 00:36:29

---

логика мне понятна, но я не понимаю строку map f(x:s) = (f x):(map f s).