On Sun, 22 Apr 2001, Jonathan Coupe wrote:

> Mark J Dominus' excellent discussion of ML's type system (written for Perl
> programmers..) is available at:
> http://perl.plover.com/yak/typing/typing.html

	His conclusion though is that it is practically impossible
	to introduce any kind of static typing to Perl. Contrast it
	with http://www.cc.gatech.edu/~lex/ti/ti.html
	where Lex Spoon attempts to deliver a type inference engine to
	Smalltalk (sic!).

	Jan


-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr