GCC Needs a backend cleanup and complete rewrite

[Gabriel Dos Reis]

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