home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / function / 1335 < prev    next >
Encoding:
Internet Message Format  |  1992-11-05  |  1.4 KB
  1. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!sdd.hp.com!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!agate!doc.ic.ac.uk!uknet!glasgow!jl
  2. From: jl@dcs.glasgow.ac.uk (John Launchbury)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Functional Parsers
  5. Keywords: parsers
  6. Message-ID: <Bx923M.K82@dcs.glasgow.ac.uk>
  7. Date: 5 Nov 92 15:38:09 GMT
  8. References: <BEVAN.92Nov1141304@otter.cs.man.ac.uk> <1992Nov3.145117.21227@eng.cam.ac.uk> <1992Nov3.160104.5305@odin.diku.dk> <1992Nov4.153220.8174@eng.cam.ac.uk>
  9. Organization: Glasgow University Computing Science Dept.
  10. Lines: 15
  11.  
  12. I am amazed that after more than half a dozen articles on functional
  13. parsers that no-one has referred to the literature. The standard
  14. technique goes back to Landin and Burge and is described in Burge's
  15. old book 'Recursive Programming Techniques'. Phil Wadler explored
  16. it in the setting of a more modern functional language in 'How
  17. to Replace Failure with a List of Successes' (FPCA 85, LNCS 201, S-V).
  18. An application of the technique to parsing natural language occurs
  19. in a joint paper by Frost and Launchbury, 'Constructing Natural
  20. Language Interpreters in a Lazy Functional Language' (Computer
  21. Journal - special issue on Lazy Evaluation ed. P.Wadler, Vol 3
  22. No. 2, 1989). The technique has continued to be developed and
  23. used by many people, and I believe the Journal of Functional
  24. Programming is about to publish something by Hutton.
  25.  
  26. John.
  27.