Re: Faster lisp engine
>>>> "Oscar" == Oscar Figueiredo
<Oscar.Figueiredo(a)di.epfl.ch> writes:
>>>> "sb" == SL Baur <steve(a)xemacs.org>
writes:
sb> Glynn Clements <glynn(a)sensei.co.uk> writes in xemacs-beta(a)xemacs.org:
sb> ...
>> Strong typing probably wouldn't hurt either.
sb> We already have strong typing.
sb> Static typing is inappropriate.
Oscar> I recently have a discussion with a colleague about typing issues, can somebody
Oscar> point me out to a web site with definitions of variable typing in programming
Oscar> languages ?
The best introductory reference is still:
＠ARTICLE{CardelliWegner1985,
OLDKEY = {CW1985},
AUTHOR = "Luca Cardelli and Peter Wegner",
TITLE = "On Understanding Types, Data Abstraction, and Polymorphism",
JOURNAL = acmcs,
YEAR = "1985",
VOLUME = "17",
PAGES = "471-522",
MONTH = dec
}
There's a copy at:
http://www-pu.informatik.uni-tuebingen.de/users/sperber/proglang-3/cardel...
--
Cheers =8-} Chipsy
Friede, Völkerverständigung und überhaupt blabla