Si le gustan los idiomas y [paréntesis] estáticamente escritos:
Haskell, aunque es bastante pesado en la pureza del paradigma de programación, tiene una de las mejores introducciones a un lenguaje que aún he visto en forma de "¡Aprende Haskell por un gran bien!". El formulario de libro es opcional ya que el sitio web es gratuito, pero este es un autor que no me decepcionó en absoluto. Real World Haskell es bueno, pero realmente es mejor tomarlo como seguimiento de [Learn..Good]. RWH también es gratis con papel opcional.
Desde Haskell, puede pasar fácilmente a otras variantes de ML como F # u OCaml, las cuales son más utilizadas. Para el borde sangrante ATS .
Si lo desea (y paréntesis de tipaje dinámico):
Scheme es el más funcionalmente orientado de los dos dialectos principales de Lisp, más pequeño y más puro que Common Lisp pero menos utilizado en la industria. Personalmente, me gusta The Structure and Interpretation of Computer Programmes, pero es un libro bastante pesado en teoría, que si bien es un poco difícil de tragar, te convertirá en un mejor programador.
Si prefiere Common Lisp, Practical Common Lisp o Land of Lisp parecen buenas inversiones, la primera es gratuita en línea y la segunda es bastante barata y, lo que es más importante (para algunos), se centra en el juego. Es más poderoso aunque menos puro que Scheme.
De estos, puede expandirse a Clojure si lo desea. Es Lisp para la JVM, por lo que es más fácil de implementar y puede defenderse mejor de los cargos de ser "académico". Clojure puede implementarse en .NET y también pasar a Javascript. Para .NET nativo, prueba IronScheme .
También puede dividir la diferencia y aprender ambas cosas a la vez con Write Yourself a Scheme in 48 Hours in Haskell.