catflap.org Online Dictionary Query

  Miranda
       
           (From the Latin for "admirable", also the heroine
          of Shakespeare's Tempest) A lazy purely functional
          programming language and interpreter designed by David
          Turner at the University of Kent in the early 1980s.  It is
          sold by his company, Research Software Limited.  It combines
          the main features of KRC and SASL with strong typing
          similar to that of ML.  Implemented for Unix by Allan
          Grimeley, Computer Lab., UKC.  There is also a version that
          runs on Intel 80386 and above IBM PCs under Linux.
       
          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.  Nested pattern-matching, list
          comprehensions, modules.  Operator sections rather than
          lambda abstractions.  User types are algebraic, and in early
          versions could be constrained by laws.  Implemented by SKI
          combinator reduction.  The KAOS operating system is written
          entirely in Miranda.
       
          E-mail: .
       
          Translators from Miranda to Haskell (mira2hs) and to LML
          (mira2lml) are available, ftp://www.foldoc.org/pub/)" rel="nofollow">(ftp://www.foldoc.org/pub/).
          Non-commercial near-equivalents of Miranda include Miracula
          and Orwell.
       
          ["Miranda: A Non Strict Functional Language with Polymorphic
          Types", D.A. Turner, in Functional Programming Languages and
          Computer Architecture, LNCS 201, Springer 1985].
       
          ["Functional Programming with Miranda", Ian Holyer, Pitman
          Press 0-273-03453-7].
       
          (1997-08-01)
       
       

  Miranda, PR (comunidad, FIPS 53678)
    Location: 18.38867 N, 66.38025 W
    Population (1990): 1878 (586 housing units)
    Area: 4.7 sq km (land), 0.0 sq km (water)
  Miranda, SD
    Zip code(s): 57438

  miranda
     Latin part.p.
     (inflection of la mīrandus  nom//voc f s ; nom//acc//voc n p)

  Miranda
     Cebuano n.
     1 (given name ceb male from=Latin)
     2 (l en Miranda); one of the moons of Uranus
     Cebuano n.
     (surname ceb from=Spanish)
     Cebuano n.
     (lb ceb colloquial) a Miranda warning
     Dutch n.
     (l en Miranda)
     Portuguese n.
     (surname pt toponymic)
     Portuguese n.
     1 (given name pt female eq=Miranda)
     2 (l en Miranda) (gloss: moon of Uranus)
     Tagalog n.
     (surname tl from=Spanish), notably the surname of:

  Miranda
     n.
     1 (given name en female from=Latin).
     2 One of the moons of Uranus.
     3 (place en CDP co/Humboldt County s/California c/US).
     n.
     (lb en law enforcement) A Miranda warning
     vb.
     (lb en transitive) To read (somebody) their rights on arrest as set
  out in Miranda v Arizona.

  miranda
     Latin part.p.
     (inflection of la mīrandus  nom//voc f s ; nom//acc//voc n p)

  Miranda
     Dutch n.
     (l en Miranda)
     n.
     1 (given name en female from=Latin).
     2 One of the moons of Uranus.
     3 (place en CDP co/Humboldt County s/California c/US).
     n.
     (lb en law enforcement) A Miranda warning
     vb.
     (lb en transitive) To read (somebody) their rights on arrest as set
  out in Miranda v Arizona.
     Spanish n.
     (surname: es)

  miranda
     Latin part.p.
     (inflection of la mīrandus  nom//voc f s ; nom//acc//voc n p)

  Miranda
     Dutch n.
     (l en Miranda)
     n.
     1 (given name en female from=Latin).
     2 One of the moons of Uranus.
     3 (place en CDP co/Humboldt County s/California c/US).
     n.
     (lb en law enforcement) A Miranda warning
     vb.
     (lb en transitive) To read (somebody) their rights on arrest as set
  out in Miranda v Arizona.
     Spanish n.
     (surname: es)

  Miranda
     n.
     (etunimi fi n)
     Ruotsi n.
     (etunimi sv n)

  Miranda
     n.
     (etunimi fi n)

  Miranda
     n.
     1 ett kvinnonamn från William Shakespeares pjäs ''Stormen''
     2 Uranus femte största måne
     Spanska n.
     1 delstat i Venezuela
     2 ortnamn eventuellt med tillhörande administrativt område med
  betydelsen
  "utkiksplats"<ref>https://dle.rae.es/miranda</ref>.
  Jämför svenska ortnamn på "Var-" som anger att platsen varit
  utkiksplats eller plats för vårdkase

  Miranda
     n.
     1 ett kvinnonamn från William Shakespeares pjäs ''Stormen''
     2 Uranus femte största måne

  Miranda /mɜːɹˈandə/
  ميراندا

  Miranda //mɪˈɹændə// 
  ミランダ
  moon of Uranus

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Миранда

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Μιράντα

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /miʁɑ̃dˈa/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  ミランダ

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Миранда

  Miranda /miʁɑ̃dˈa/ 
  Miranda

  Miranda /mi.ʁan.da/ /mi.ʁɑ̃.da/ 
  Miranda

  Miranda /miʁɑ̃dˈa/ 
  Miranda

  Miranda /mʲiˈrãnda/ 
  Miranda 2.
  (astronomia, astronomiczny) jeden z księżyców Urana;
   3.
  imię żeńskie;

  Miranda /miɾˈanda/
  Miranda  

  
/mɝˈændə/

  
/miɾanda/

  Miranda, PR -- U.S. comunidad in Puerto Rico
     Population (2000):    2057
     Housing Units (2000): 711
     Land area (2000):     1.808395 sq. miles (4.683721 sq. km)
     Water area (2000):    0.000000 sq. miles (0.000000 sq. km)
     Total area (2000):    1.808395 sq. miles (4.683721 sq. km)
     FIPS code:            53678
     Located within:       Puerto Rico (PR), FIPS 72
     Location:             18.386437 N, 66.381745 W
     ZIP Codes (1990):    
     Note: some ZIP codes may be omitted esp. for suburbs.
     Headwords:
      Miranda, PR
      Miranda
  

     adj. 人权保护的