home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / lisp / 3170 < prev    next >
Encoding:
Text File  |  1993-01-05  |  3.9 KB  |  95 lines
  1. Newsgroups: comp.lang.lisp
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!jvnc.net!newserver.jvnc.net!gmd.de!juergen.waltherñgmd.de
  3. From: juergen.waltherñgmd.de (Juergen Walther)
  4. Subject: Re: Lisp Parsers
  5. Message-ID: <1993Jan5.130620.13174@gmd.de>
  6. Sender: news@gmd.de (USENET News)
  7. Nntp-Posting-Host: mac-walther
  8. Organization: GMD FIT-KI
  9. References: <11586@uqcspe.cs.uq.oz.au>
  10. Date: Tue, 5 Jan 1993 13:06:20 GMT
  11. Lines: 82
  12.  
  13. In article <11586@uqcspe.cs.uq.oz.au>, berglas@cs.uq.oz.au (Anthony Berglas) writes:
  14. > 
  15. > I am trying to introduce Lisp to the UQ CS Dept, in which everybody
  16. > knows that real men use C++.  I will put on a demo of Garnet etc. shortly
  17. > but most important decisions are made on first impressions, and the
  18. > first impressions are the (())()()s.  God said that f(a, b); is easier
  19. > to read than (f a b), it requires less characters.
  20. > 
  21. > Seriously, (> (+ x 1) (* y 2)) is ugly, and it would be pretty easy
  22. > to add a parser to Lisp that could be used instead of the normal Reader.
  23. > (At least for demonstration purposes).  Such a parser would idealy be
  24. > table driven and dynamically extendible -- new macro, new grammar rule.
  25. > 
  26. > If anyone has heard of such a thing I would be interested to know.
  27. > 
  28. > Thanks,
  29. > 
  30. > 
  31. > --
  32. > Anthony Berglas
  33. > Rm 503, Computer Science, Uni of Qld
  34. > Ph 07 365 2812, Australia.
  35. > 
  36. > 
  37. Following  exerpts from the GLISP and MLISP manuals. I like Lisp syntax, so I did not use it, but it
  38. sound's promising in your context.
  39.  
  40. Generalized Lisp
  41. Users Manual
  42. by
  43. David Canfield Smith
  44.  
  45. Apple Computer
  46. August 1990
  47. Version 1.2
  48.  
  49. Generalized Lisp (or Glisp for short) is a coordinated set of high level syntaxes for Common Lisp.  It is 
  50. generalized in the sense that the Lisp programmer has a variety of dialects available, not just Lisp notation.  
  51. Initially Generalized Lisp consists of three dialects: Mlisp, Plisp and ordinary Lisp, 
  52. together with an extensible framework for adding others.  Mlisp (Meta-Lisp) is an Algol-like syntax 
  53. for people who dont like writing parentheses.  Plisp (Pattern Lisp) is a pattern matching rewrite-rule 
  54. language.  Plisp is a compiler-compiler; its rules are optimized for writing language translators.  
  55. Mlisp and Plisp are documented in separate user manuals.  
  56. It is expected that the set of dialects will increase over time as users add new ones.  
  57. All dialects may be freely intermixed in a file.The translators for all dialects are written in Plisp, 
  58. as is the Glisp translator framework itself.  
  59. Support routines for the translators are written in Mlisp and/or Lisp.  
  60. All dialects are translated to Common Lisp and execute in the standard Common Lisp environment.
  61.  
  62. Mlisp
  63. Users Manual
  64. by
  65. David Canfield Smith
  66.  
  67. Apple Computer
  68. xxx 1990
  69. Version 1.2
  70.  
  71. Introduction
  72. What is Mlisp?
  73. Mlisp (Meta-Lisp) is an alternative syntax for Common Lisp that reduces its reliance on parentheses.  
  74. Mlisp is designed to make Lisp programs easier to read.  Mlisp programs are translated into Lisp and 
  75. then compiled, executed or printed.  Therefore Mlisp has exactly the same capabilities as Common Lisp, 
  76. no more and no fewer.  Nevertheless, experience has shown that many people can write larger and 
  77. more complex programs in Mlisp than in Lisp, since they can better understand the code.
  78. The Mlisp syntax is a derivative of Algol, with begin-end blocks, if-then-else conditionals, etc.  
  79. The fundamental rule in Mlisp is that the mathematical notation
  80. function(arg1, arg2, ..., argn)
  81. is translated into the Lisp notation
  82. (function arg1 arg2 ... argn)
  83. For example,
  84. print("abc", stream)
  85. translates to
  86. (print "abc" stream)
  87. Any Lisp s-expression can be produced in this way, even special forms.  For example,
  88. cond(=(a, b)(c), t(d))
  89. translates to
  90. (cond ((= a b) c) (t d))
  91. Of course the former is hardly an improvement on the latter, so special syntax has been added for most special forms:
  92. if b then c else d
  93. The idea for Mlisp was first proposed by John McCarthy in his earliest Lisp report in 196?.
  94.  
  95.