I agree that it's important to retain the dynamism of LISP, but if types could be made optional, it could be useful. In my view, the expressive power of LISP is

I agree that it's important to retain the dynamism of LISP, but if types could be made optional, it could be useful. In my view, the expressive power of LISP is the same thing that hinders it for use in teams (unless the team is small and super qualified) and consequently what has prevented its widespread adoption. I think this is a wonderful initiative. I originally tried to do this a few years ago, but gave up after having considered the implementation too involved (I was using LLVM at the time and was effectively writing a compiler). I still think an optionally typed LISP compiler would be a great idea if somebody is willing to do it. EDIT: grammar.