Re: Ultimate Language feature list

[fjh@cs.mu.oz.au (Fergus Henderson)]

Have you considered Sather?
It satisfies most of these requirements.

"MSG" <michael@pickles.org> writes:

 >#1 Verbosity.  C++ and Java's cryptic syntax is cute and fun, but not
 >useful.  Our Language (OL -- come up with a good name) should be verbose
 >like Ada and Eiffel.  Semicolons optional like Eiffel (except where
 >ambiguous).
 >#2 Completely OO.  No free floating subroutines.  The only construct higher
 >than a CLASS is an Organizational Unit (like an Eiffel cluster).
 >#3 Object-Dot-Feature syntax.  No Ada95esque subprograms which take class
 >arguments (like C++ friend functions).  I am torn between Object-Dot-Feature
 >and Object SPACE feature syntax (like Smalltalk).
 >#4 Reference Objects as a default with the ability to expand an object or
 >class to full form (like Eiffel EXPANDED types)
 >#5 Garbage Collection.
 >#6 Construction and Finalization
 >#7 Predictable Finalization for stack-based objects (either reference or
 >expanded).  When the immediately enclosing scope terminates, the
 >finalization is called THEN. This is VERY important for reliable external
 >resource management (OK, C++ did this right).
 >#8 Polymorphism as the rule.  Let the compiler figure out which routines are
 >not overridden and use static calls where appropriate (a la Eiffel).
 >#9 Named arguments.  Either like Ada or like Smalltalk (object moveTo: here
 >usingPath: aPath).
 >#10 Array and record aggregates (like Ada).
 >#11 Multiple inheritance like Eiffel, NOT C++.
 >#12 STRONG typing and constraint/program checking in the compile and runtime
 >like Ada.  Options to remove such features in a "finalized" version is very
 >much necessary.
 >#13 Ada-style tasks.  Using Object-as-task, like the proposed Eiffel
 >extension "separate".  Ada's SELECT mechanism.  Protected types (like
 >Ada95), Java almost got this right.
 >#14 EASY access to other languages/calling conventions.  Any CLASS's
 >features my be effected by external other-language routines. The includes an
 >easy way to link to C++ libraries.  Such special classes can specify that
 >for "THIS" an other-language-notion be used. Such classes would lack
 >"variables", being limited to routines only.
 >#15 Generics.  Not templates.
 >#16 Intrinsic types (like Integer) as objects, but completely replaced in
 >generated code by native types (like Eiffel).
 >#17 Ada's float types (delta, digits).
 >#18 Range specifications (like Ada).  Checked at compile time and run time.
 >#19 Discriminated record/class types (like Ada).  Checked at compile time
 >and run time. (maybe not necessary with inheritance)
 >#20 An easy with to extend and re-expose/hide features of parents.  Like
 >Eiffel.
 >#21 Distributed computing.
 >#22 Pre- and post-conditions (from Eiffel).  Including support for the "old"
 >keyword.  The closest thing to Z (pronounced Zed - a formal method) that
 >I've seen.

--
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3        |     -- the last words of T. S. Garp.