Re: Will Clinger's Types Rant

Matthew D Swank wrote:
> Also, I noticed that Clinger liked John Allen's talk about the future of
> software engineering. This is interesting, since one of the conclusions
> Allen reaches is that engineers will end up providing guarantees about
> software through the use of (static) type-systems. How does this fit into
> the lisp/scheme world?

Well, you start by using Lisp's "macros" and "code as data" to "embed" a
statically typed language... ;-)

--
Dr Jon D Harrop, Flying Frog Consultancy
http://www.ffconsultancy.com
.