Re: What's so great about lisp?

Joe Marshall wrote:
> Now I want as much static checking as possible, but I'm going to get
> really irritated if it gets in the way.

If that were available then I'd want the final statically-checked code to be
compiled efficiently, i.e. without unnecessary run-time checks and with
optimised pattern matches and so on.

Any idea if such a language exists or if Lisp could be coerced into doing
this? It would probably require two different run-times...

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