From: Ben Goertzel (firstname.lastname@example.org)
Date: Sat Apr 28 2001 - 23:00:32 MDT
Actually, a subset of a language that met this criterion would suffice.
For example, you could define a subset of C++ that had roughly the semantic
power of Java or Eiffel or some other formalizable language. By writing the
system in that subset, you get to use the good compilers available for C++,
but keep the programs possible to reason about. One problem is that you may
want to use substantial bodies of existing code (libraries and the like)
that won't fit in the subset.
yes, but restriction to this kind of subset eliminates the
efficiency that C++ gives you. If you can't use pointers, you might as well
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:36 MDT