This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC Needs a backend cleanup and complete rewrite
Fergus Henderson <fjh@cs.mu.oz.au> writes:
[...]
| It's not an OOP style wrapper. But it is a "typeful programming"
| style wrapper:
|
| | Another technique is "typeful programming": this is where you write
| | down the name of function, the type of its input and outputs, and it
| | becomes obvious how the function must be implemented. Don't ask me
| | how, but this technique works surprisingly often :-)
| |
| | - Joe English <jenglish@flightlab.com>,
| | comp.lang.functional, 28 Dec 2000.
On a related note, Cardelli has an interesting paper on "typeful
programming" on his web site.
-- Gaby
CodeSourcery, LLC http://www.codesourcery.com