News for hackers. Stuff that matters.
Re:Why Type Systems Matter by juki on Saturday August 19, 2017 @01:48AM (#15051898)
Common Lisp does allow one to declare types in order to have the compiler optimize the code. SBCL[0] in particular is known to be pretty good at that. Macsyma also lives on in Common Lisp as Maxima[1].

[0]: http://sbcl.org/ [1]: http://maxima.sourceforge.net/

Re:Why Type Systems Matter by lispm on Saturday August 19, 2017 @06:41AM (#15052686)
Though it does not really 'live', the Symbolics Macsyma also has been ported to Common Lisp in the 80s.