Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| new language syntax aberegov@home.com (Aleksey Beregov) (2001-08-24) |
| Re: new language syntax remove.haberg@matematik.su.se (2001-08-25) |
| Re: new language syntax 04lzvud73001@sneakemail.com (2001-08-25) |
| Re: new language syntax svdh@wanadoo.fr (2001-09-21) |
| Re: new language syntax howard.s.modell@boeing.com (HSM) (2001-09-25) |
| Re: new language syntax rboland@unb.ca (Ralph Boland) (2001-09-26) |
| Re: new language syntax joachim_d@gmx.de (Joachim Durchholz) (2001-10-06) |
| Re: new language syntax wclodius@aol.com (2001-10-20) |
| [1 later articles] |
| From: | remove.haberg@matematik.su.se (Hans Aberg) |
| Newsgroups: | comp.compilers |
| Date: | 25 Aug 2001 13:24:58 -0400 |
| Organization: | Mathematics |
| References: | 01-08-138 |
| Keywords: | design |
| Posted-Date: | 25 Aug 2001 13:24:58 EDT |
Aleksey Beregov" <aberegov@home.com> wrote:
>I am developing the syntax for a language which should [must] be very
>suitable for working with sets, collections and other aggregate types.
>
>If somebody has an experience or ideas in this field send me please
>your feedback.
One way to go is to identify sets with certain types of predciates as in
CLP (Prolog style languages). Axiomatic set theory roughly says that a
"class" can be gotten from a predicate by letting the variables run over
sets. Then a set is a class that is a member of another class.
Some URL's:
http://www-unix.mcs.anl.gov/AR/others.html
FAQ of newsgroup comp.constraints.
http://www.afm.sbu.ac.uk/
http://www.cse.psu.edu/~dale/lProlog/
Hans Aberg * Anti-spam: remove "remove." from email address.
* Email: Hans Aberg <remove.haberg@member.ams.org>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
Return to the
comp.compilers page.
Search the
comp.compilers archives again.