typing again

Bengt Kleberg <>
Mon Apr 7 09:19:43 CEST 2003


> On Fri, 4 Apr 2003 21:58:12 +0200 (MEST)
> Kostis Sagonas <> wrote:
> 
> > With the risk of embarking on a perennial discussion and opening
> > up Pandora's box, I personally think that the proper answer to
> > this is:
> > 
> > 	"I'd love to have a type system that once I've developed 
> > 	 my application I can optionally employ to catch possible
> > 	 type errors that may exist in my code, and to use as
> > 	 documentation about my data structures which is
> > 	 compiler-verified.
> > 
> > 	 However, I do not necessarily want the type system
> > 	 to stand on my way while I am experimenting, developing
> > 	 prototypes, or when I simply feel like writing programs
> > 	 that I know are OK but the type system somehow does not
> > 	 share my view on the subject..."
> > 

common lisp?


bengt




More information about the erlang-questions mailing list