имя существительное Миранда (женское имя)
adjective Etymology: from Miranda versus Arizona, the United States Supreme Court ruling establishing such rights of, relating to, or being the legal rights of an arrested person to have an attorney and to remain silent so as to avoid self-incrimination Example: Miranda warnings
(From the Latin for "admirable", also the heroine of Shakespeare's "Tempest") A lazy purely functional programming language and interpreter designed by David Turner of the University of Kent in the early 1980s and implemented as a product of his company, Research Software Limited. Miranda combines the main features of KRC and SASL with strong typing similar to that of ML. It features terse syntax using the offside rule for indentation. The type of an expression is inferred from the source by the compiler but explicit type declarations are also allowed. It has nested pattern-matching, list comprehensions and modules. It uses operator sections rather than lambda abstractions. User types are algebraic, and in early versions could be constrained by laws. It is implemented using SKI combinator reduction. Originally implemented for Unix, there are versions for most UNIX-like platforms including Intel PC under Linux. The KAOS operating system is written entirely in Miranda. Non-commercial near-equivalents of Miranda include Miracula and Orwell.