Get Affordable VMs - excellent virtual server hosting


browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z

miranda

miranda

 

  2  definitions  found 
 
  From  U.S.  Gazetteer  (1990)  [gazetteer]: 
 
  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 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  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/)}. 
  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)