Re: Looking for new language features (re-elaboration)

    "Joachim Durchholz" <joachim.durchholz@gmx.de> wrote:
> William Rayer <lingolanguage@hotmail.com> wrote:
> >
> > What I am asking is, [... are] there even higher level features
> > that we could put into a new language that would produce a similar
> > order of improvement?


I Think That Many Languages Are Designed With Disgust Of C++ In
Mind. That Is, That Not Too Many Provide Features That C++ Doesnt
Have. Eiffel Comes To Mind As A Language That Actually Adds Something
- Design By Contract. Dbc Might Be A Solution The Assertion Problem
Stated Below ...


> > Or are there "wish lists" of things that people would like to see in
> > langauges? Again I realize you can't design a language just by joining
> > up lots of nice features, and I realize the harder task is to make the
> > features work together properly. But this post is about looking for
> > ideas, not implementations.


What My C3 Spec Proposes Is The Addition Of Features To C That I Have Found
Useful In Other Languages:


* Type Coersion
* Built In Lists And Dictionaries
* Generic Programming (Ie Templates)
* Operator Overloading (Basically Adding Strings)


> For example, it would be nice if the compiler could prove that the
> code is consistent with its assertions. That way, the compiler would
> be able to remove the assertion checking code automatically. Another
> important property would be the "abstract constness" of a function
> parameter (i.e. any changes to the parameter will be invisible to
> callers; the function is then called "referentially transparent",
> allowing the compiler to postpone or advance the function call as is
> expedient, or to cache the function result, without changing the
> program's semantics).

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