Re: SUO: Re: CG: Negotiation Instead of Legislation
> Object-oriented programming is just one way of using higher-order
> programming, of course (for an explanation of how, see Chapter 6 of the
> programming textbook at http://www.info.ucl.ac.be/people/PVR/book.html).
I've looked at the link:
> The main goal of the book is to teach programming as a true engineering discipline.
> An engineering discipline consists of two parts: a standard body of practical techniques
> and a scientific foundation. The book's scientific foundation is the kernel language approach.
> In this approach, practical programming languages are defined by translating them to
> kernel languages that contain a small number of programmer-significant concepts.
It seems that we are very close on this issue - see my Kernel Prolog stuff
at http://www.binnetcorp.com/OpenCode/OpenCode.html and also my ICLP'00 paper.
In fact, that's exactly how Jinni 2002 is built - and that's why it also runs
on Pocket PCs :-)
Cheers,
Paul