home *** CD-ROM | disk | FTP | other *** search
/ back2roots/padua / padua.7z / padua / lang / gofer223.lha / doc / ch01 < prev    next >
Encoding:
Text File  |  1992-11-10  |  2.0 KB  |  67 lines
  1.  
  2.  
  3. Introduction to Gofer         1. INTRODUCTION                                   
  4.  
  5.  
  6. 1. INTRODUCTION
  7.  
  8. Gofer is a functional  programming  environment  (in  other  words,  an
  9. interpreter) that I have implemented for my own personal use as part of
  10. my research  into  `qualified  types'.   Nevertheless,  the  system  is
  11. sufficiently complete for me to believe that Gofer may be  of  interest
  12. and use to others interested in the field of functional programming.
  13.  
  14. These notes give a brief introduction to the Gofer system  and  include
  15. some examples of Gofer  programs.   They  are  not  the  notes  that  I
  16. originally intended to write, being somewhat longer  and  perhaps  more
  17. tutorial in nature.  Nevertheless,  you  will  not  be  able  to  learn
  18. functional programming from this document alone.  A  number  of  useful
  19. references are given in the reading list at the end of  this  document.
  20. In particular, the book by Bird and Wadler [1] is particularly good  as
  21. a general introduction to the use, techniques and theory of  functional
  22. programming.  Although their notation is  a  little  different  to  the
  23. language used by Gofer, it is  a  relatively  straightforward  task  to
  24. translate between the two, and some suggestions for this are given in a
  25. appendix D.  More importantly, the underlying  semantics  of  Gofer  do
  26. correspond to those expected by the authors of [1].
  27.  
  28. Whereas the work involved in investigating and implementing  the  ideas
  29. on which Gofer is based were motivated largely by  my  own  program  of
  30. work, the writing of these notes has rather more to do  with  the  hope
  31. that Gofer will be  useful  to  others.   I  would  therefore  be  very
  32. grateful for any feedback on any aspect of the these notes (or  of  the
  33. Gofer system itself).  Please let me know if you discover  any  errors,
  34. or if you find particular  sections  of  these  notes  rather  hard  to
  35. follow.  Suggestions for  improvements  or  extensions  are  more  than
  36. welcome.
  37.  
  38.  
  39.  
  40.  
  41.  
  42.  
  43.  
  44.  
  45.  
  46.  
  47.  
  48.  
  49.  
  50.  
  51.  
  52.  
  53.  
  54.  
  55.  
  56.  
  57.  
  58.  
  59.  
  60.  
  61.  
  62.  
  63.  
  64.                                       1
  65.  
  66.  
  67.