home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / archives / 3773 < prev    next >
Encoding:
Internet Message Format  |  1992-12-14  |  5.9 KB
  1. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!agate!agate!usenet
  2. From: simonpj@dcs.gla.ac.uk (simonpj)
  3. Newsgroups: comp.archives
  4. Subject: [comp.lang.functional] Glasgow Haskell, version 0.10, now available
  5. Followup-To: comp.lang.functional
  6. Date: 14 Dec 1992 10:18:58 GMT
  7. Organization: Glasgow University Computing Science Dept.
  8. Lines: 139
  9. Sender: adam@soda
  10. Approved: adam@soda
  11. Distribution: world
  12. Message-ID: <1ghn2iINNml8@agate.berkeley.edu>
  13. References: <9212112129.AA28337@tutuila.dcs.gla.ac.uk>
  14. NNTP-Posting-Host: soda.berkeley.edu
  15. X-Original-Newsgroups: comp.lang.functional
  16. X-Original-Date: 11 Dec 92 21:29:18 GMT
  17.  
  18. Archive-name: auto/comp.lang.functional/Glasgow-Haskell-version-0-10-now-available
  19.  
  20.  
  21.           The Glasgow Haskell Compiler
  22.           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  23.  
  24. We are happy to announce the first full release of the Glasgow Haskell
  25. Compiler (GHC, version 0.10).  It is freely available by FTP; details
  26. appear below.
  27.  
  28. To run this release, you need a Sun4, probably with 16+MB memory, and
  29. GNU C (gcc), version 2.1 or greater, and "perl".  If building from
  30. source, you will need Chalmers HBC, version 0.998.x.
  31.  
  32. We hope you enjoy this system, and we look forward to hearing about
  33. your successes with it!  Please report bugs to
  34. glasgow-haskell-bugs@dcs.glasgow.ac.uk and direct general queries to
  35. glasgow-haskell-request@<same>.
  36.  
  37. Simon Peyton Jones
  38. (and his GRASPing colleagues)
  39.  
  40. Why a Haskell programmer might want to use GHC
  41. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  42. * Almost all of Haskell is implemented.  In particular, the full range
  43.   of data types is supported: arbitrary precision integers, rationals,
  44.   double-precision floats, and "real" arrays with O(1) access time.
  45.   (The release notes list all unimplemented language features.)
  46.  
  47. * An extensible I/O system is provided, based on a "monad" [1]. (The
  48.   standard Haskell I/O system is built on this foundation.)
  49.  
  50. * A number of significant language extensions are implemented:
  51.     - Fully fledged unboxed data types [2].
  52.     - Ability to write arbitrary in-line C-language code, using
  53.       the I/O monad to retain referential transparency.
  54.     - Incrementally-updatable arrays, also embedded in a monad.
  55.     - Mutable reference types.
  56.  
  57. * By default, the system uses a generational garbage collector which
  58.   lets you run programs whose live data is significantly larger than
  59.   the physical memory size before thrashing occurs.  (Conventional
  60.   2-space GC starts thrashing when the live data gets to about half
  61.   the physical memory size.)
  62.  
  63. * A new profiling system is supplied, which enables you to find out which
  64.   bits of your program are eating both *time* and the *space* [3].
  65.  
  66. * Good error messages.  Well, fairly good error messages.  Line
  67.   numbers are pretty accurate, and during type checking you get
  68.   several (accurate) error reports rather than just one.
  69.  
  70. * Performance: programs compiled with GHC "usually" beat
  71.   Chalmers-HBC-compiled ones.  If you find programs where HBC wins,
  72.   send them to us :-).
  73.  
  74. * We have a pretty good test suite, and this version passes
  75.   practically all of it.  (Yes, it can compile itself, too.) We hope
  76.   you will find the system to be robust.
  77.  
  78. Why a functional-language implementor might want to use GHC
  79. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  80. * We have tried very hard to write the compiler in a modular and
  81.   well-documented way, so that other researchers can modify and extend
  82.   it.  One of our goals is specifically to provide a framework to
  83.   support others' work.  Several people are already using it in this
  84.   way.
  85.  
  86. * Highly configurable runtime system.  Heavy use of C macros means
  87.   that you can modify much of the storage representation without
  88.   telling the compiler.  For example, the system comes with 4
  89.   different garbage collectors! (all working)
  90.  
  91. * Internals: extensive use of the second-order lambda calculus as an
  92.   intermediate code; the Spineless Tagless G-machine as evaluation
  93.   model [4].
  94.  
  95. * Various performance-measurement hooks.
  96.  
  97. Main shortcomings
  98. ~~~~~~~~~~~~~~~~~
  99. * No interactive system.  This is a batch compiler only.  (Any
  100.   volunteers?)
  101.  
  102. * Compiler is greedy on resources.  Going via C doesn't help here.
  103.  
  104. * This system should run on any Unix box.  We haven't had time to do
  105.   any non-Sun4 ports.  Help or prodding welcome.
  106.  
  107. References
  108. ~~~~~~~~~~
  109. All these papers come with the distribution [in ghc/docs/papers].
  110.  
  111. [1] "Imperative functional programming", Peyton Jones & Wadler, POPL '93
  112.  
  113. [2] "Unboxed data types as first-class citizens", Peyton Jones &
  114.     Launchbury, FPCA '91
  115.  
  116. [3] "Profiling lazy functional languages", Sansom & Peyton Jones,
  117.     Glasgow workshop '92
  118.  
  119. [4] "Implementing lazy functional languages on stock hardware", Peyton
  120.     Jones, Journal of Functional Programming, Apr 1992
  121.  
  122. How to get it
  123. ~~~~~~~~~~~~~
  124. This release is available, in whole or in part, from the usual Haskell
  125. anonymous FTP sites, in the directory pub/haskell/glasgow:
  126.  
  127.     nebula.cs.yale.edu     (128.36.13.1)
  128.     ftp.dcs.glasgow.ac.uk  (130.209.240.50)
  129.     animal.cs.chalmers.se  (129.16.225.66) [initially in pub/incoming]
  130.  
  131. (Beleaguered NIFTP users within the UK can get the same files from
  132. Glasgow by using a <FP>/haskell/glasgow prefix, instead of
  133. pub/haskell/glasgow.  Also, we are mirrored by src.doc.ic.ac.uk, in
  134. languages/haskell/glasgow, and you can get files from there by every
  135. means known to humanity.)
  136.  
  137. These are the available files:
  138.  
  139. ghc-0.10-src.tar.Z    The basic source distribution; assumes you
  140.             will compile it with Chalmers HBC, version
  141.             0.998.n, on a Sun4, for which you have GNU C
  142.             (gcc) version 2.1 or greater.  About 3MB.
  143.  
  144. ghc-0.10-bin-sun4.tar.Z    A binary distribution -- avoid compiling
  145.             altogether!  For SunOS 4.1.x; assumes you
  146.             have GNU C (gcc) version 2.x around...
  147.  
  148. ghc-0.10-patch-*    Patches to the original distribution.  There
  149.             are none to start with, of course, but there
  150.             might be by the time you grab the files.
  151.             Please check for them.
  152.  
  153. Once you have the distribution, please follow the pointers in the
  154. ghc/README file to find all of the documentation in and about this
  155. release.
  156.  
  157.