News for hackers. Stuff that matters.
Re:Ten predictions (2004) by stewbrew on Friday February 15, 2013 @06:56AM (#5225715)
I simply assume that with "type system" you mean "statically typed language" since lisp is strongly typed, which implies having a "type system": bigloo & typed racket demonstrated that static typing & lisp/scheme aren't incompatible. That prediction was rather unlikely to come true, anyway.
Re:Ten predictions (2004) by friendly_chap on Friday February 15, 2013 @07:07AM (#5225749)
It is entirely unscientific, but let me approach this problem from a practical ($$$) angle:

A type system is something what effortlessly reveals programming errors before my customers do.