LYCOS RETRIEVER 
Miranda (Language)
built 814 days ago
Miranda (Language) also shows up in the Retriever categories:
Miranda (Miranda, Carmen - People) , Miranda (Locality) , and more.
Miranda (Miranda, Carmen - People) , Miranda (Locality) , and more.
Biography: Miranda Otto was born in Brisbane, Queensland, Australia on December 16, 1967. She is the daughter of famed Australian actor, Barry Otto. She graduated from the prestigious NIDA Theatrical School in 1990 and has been nominated four-times in the Australian Film Institute's for best actress.
Source:
Miranda is a non-strict purely functional programming language developed by Professor David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. Marketed by Research Software Ltd. of England, of which the word 'Miranda' is a trademark, it was the first purely functional language to be intended for use as a commercial tool rather than for academic purposes.
Source:
Theoren Hamilton slowly flew out of the Miranda's main shuttle bay, and eased the thrusters up to full power. The Mississippi glided smoothly away from the Miranda. Taking a moment, Theoren reflected back on the past few hours. After getting permission from the Admiral for this little rescue mission, he's had to track down the crew all by himself. Almieda and Arvalion were easy. Almieda was working on a sensor configuration that would make it easier to track the EM disturbance, and Arvalion was in Engineering, assisting with the repairs.
Source:
This book introduces Miranda at a level appropriate for professionals with little or no prior experience in programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Using a large number of running examples and case studies, the book encourages the design of well structured, reusable software together with proofs of correctness. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a substantial discount off the published list price.
Source:
Examples of purely functional languages are Clean, FP, Haskell, Hope, Joy, LML, Miranda, and SML. Many other languages such as Lisp have a subset which is purely functional but ... contain non-functional constructs.
Source:
The text is intended to be self-contained, but some elementary knowledge of commands, files and so on would be needed to use the Miranda system under Unix. Some logical notation is introduced in the text; this is explained as it appears. In the final Chapter it would be helpful to have an understanding of the graphs of thelog, n^2 and 2^n functions.To the teacher
Source:
MORE ABOUT
Miranda (Language)