home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / function / 1555 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  3.0 KB
  1. Path: sparky!uunet!europa.eng.gtefsd.com!darwin.sura.net!spool.mu.edu!agate!doc.ic.ac.uk!uknet!rook.ukc.ac.uk!owl.ukc.ac.uk!dat
  2. From: dat@ukc.ac.uk (D.A.Turner)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Recommended Miranda implementations
  5. Message-ID: <538@owl.ukc.ac.uk>
  6. Date: 27 Jan 93 20:11:08 GMT
  7. References: <C15rDs.G3E@apricot.co.uk>
  8. Reply-To: dat@ukc.ac.uk (D.A.Turner)
  9. Organization: Computing Lab, University of Kent at Canterbury, UK.
  10. Lines: 54
  11. Nntp-Posting-Host: owl.ukc.ac.uk
  12.  
  13. There have been a couple of rather  misleading  postings  implying  that
  14. Gofer  is  effectively  a  public domain replacement for Miranda(TM).  I
  15. wish to claim a right of reply on Miranda's behalf.
  16.  
  17. First - a minor point - Gofer is not public domain.  As anyone  who  has
  18. the  Gofer software will see from the header files, it is copyright Mark
  19. Jones, 1992.  Mark Jones chooses to allow it be freely  distributed  for
  20. personal  and  academic use - along with the copyright notice specifying
  21. the terms of the distribution.  That is not the same as being PD.
  22.  
  23. Second, Gofer and Miranda don't do anything like the same job.  Gofer is
  24. a Haskell subset, and thus a different language. Also each has important
  25. features the  other  lacks:  Gofer  has  typeclasses,  but  Miranda  has
  26. abstract data types, a module system, and an on-line manual.
  27.  
  28. Gofer is a nice system, and I don't wish to criticise it.  But here  are
  29. some advantages of Miranda:-
  30.  
  31. 1) Miranda is widely used for teaching in conjunction with the excellent
  32. textbook by Bird and Wadler.  The notation in Bird and Wadler is closely
  33. based on Miranda (and quite a  lot  different  from  Gofer,  which  uses
  34. Haskell syntax).
  35.  
  36. 2) High quality arithmetic.  The Miranda type `num' is a  dynamic  union
  37. of double precision floating point and unbounded precision integer (like
  38. LISP bignums).  Gofer has 32bit arithmetic,  and  silently  gives  wrong
  39. answers on overflow.
  40.  
  41. 3) Miranda has  abstract  data  types  and  a  powerful  module  system,
  42. including  "parameterised modules".  There is a fully automated built-in
  43. `make' feature, so object files cannot get out  of  step  with  sources.
  44. (Gofer has no equivalent features.)
  45.  
  46. 4) Miranda is a robust and mature  system,  running  at  more  than  500
  47. sites.   It was awarded a medal for technical achievement by the British
  48. Computer Society (BCS Awards, 1990).  It is an interpreter (like  gofer)
  49. but a compiler is preparation.
  50.  
  51. Miranda is commercial software -  ie  not  free  -  but  has  relatively
  52. inexpensive  educational  licenses.  For example the (USA only) price of
  53. an educational site license, covering an unlimited number of machines of
  54. one type, is $1360.
  55.  
  56. I will be happy to supply further information on request  (or  from  the
  57. coordinates below).
  58.  
  59. David Turner
  60. (Director, Research Software Ltd)
  61. -----------------------------------------------------------------------
  62.     Research Software Ltd
  63.     23 St Augustines Road          Fax: (+44) 227 454458
  64.     Canterbury CT1 1XP        Phone: (+44) 227 471844
  65.     England              Email: mira-request@ukc.ac.uk
  66. -----------------------------------------------------------------------
  67.