YATT (Yet Another Typing Thread)

Richard A. O'Keefe ok@REDACTED
Wed Sep 24 06:38:57 CEST 2003

Luke Gorrie <luke@REDACTED> wrote
	[that he likes the Common Lisp type system]

Henry Baker had a paper (available somewhere on the net)
on how it could have been better (better suited to inference).

The really nasty thing about the Common Lisp type system is
that (at least in certain compilation models) if you state that
something has a certain type the compiler will believe you, and
generate code that can crash or do insane things.

Does CMUCL fix that in any way?

More information about the erlang-questions mailing list