Re: new language syntax (Hans Aberg)
25 Aug 2001 13:24:58 -0400

          From comp.compilers

Related articles
new language syntax (Aleksey Beregov) (2001-08-24)
Re: new language syntax (2001-08-25)
Re: new language syntax (2001-08-25)
Re: new language syntax (2001-09-21)
Re: new language syntax (HSM) (2001-09-25)
Re: new language syntax (Ralph Boland) (2001-09-26)
Re: new language syntax (Joachim Durchholz) (2001-10-06)
Re: new language syntax (2001-10-20)
[1 later articles]
| List of all articles for this month |

From: (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" <> 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:
    FAQ of newsgroup comp.constraints.

    Hans Aberg * Anti-spam: remove "remove." from email address.
                                    * Email: Hans Aberg <>
                                    * Home Page: <>
                                    * AMS member listing: <>

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.