Re: pascal system

[pausch@saaf.se (Paul Schlyter)]

In article <nospam-521833.08481406062006@network-065-024-007-027.columbus.rr.com>,
John B. Matthews <nospam@nospam.com> wrote:

.................
> The UCSD UNIT model for separate compilation was one of the first to 
> enforce a rigorous contract between interface and implementation. In 
> particular, it used Pascal's type checking to verify subroutine 
> parameters. The original Mac toolbox interfaces were created using this 
> model, and we take it for granted now for large APIs.

So the UCSD P-system met a fate similar to Algol then: not such a great
implementation by itself, but an inspiration for future implementations.

-- 
----------------------------------------------------------------
Paul Schlyter,  Grev Turegatan 40,  SE-114 38 Stockholm,  SWEDEN
e-mail:  pausch at stockholm dot bostream dot se
WWW:     http://stjarnhimlen.se/