Если вам нравятся статически типизированные языки и [скобки]:
Haskell, хотя и довольно сложный в парадигме программирования, имеет одно из лучших введений в язык, который я когда-либо видел, в форме «Изучу тебя на Haskell для большого блага!». Бланк книги необязателен, так как веб-сайт бесплатный, но это один из авторов, который меня совершенно не впечатлил. Реальный мир Haskell хорош, но на самом деле его лучше воспринимать как продолжение [Learn..Good]. RWH также свободен с дополнительным бумажным совершенством.
Из Haskell вы можете легко перейти на другие варианты ML, такие как F # или OCaml, оба из которых более широко используются. Для истекающего кровью АТС .
Если вам нравится (и скобки Dynamic_Typing):
Схема является более функционально ориентированной из двух основных диалектов Лисп, меньше и чище, чем Common Lisp, но менее широко используется в промышленности. Мне лично нравится «Структура и интерпретация компьютерных программ», но это довольно трудоемкая книга, которую трудно проглотить, и она сделает вас лучшим программистом.
Если вы предпочитаете Common Lisp, то Практический Common Lisp или Land of Lisp кажутся хорошими инвестициями, первый - бесплатный онлайн, а второй - довольно дешевый и, что более важно (для некоторых), ориентирован на игру. Он более мощный, но менее чистый, чем Схема.
Из них вы можете расширить в Clojure, если хотите. Это Lisp для JVM, так что его легче развернуть и лучше защитить от обвинений в «академичности». Clojure может развертываться в .NET и переходить на Javascript. Для нативного .NET попробуйте IronScheme .
Вы также можете разделить разницу и выучить оба вида одновременно с помощью « Напишите себе схему» за 48 часов в Хаскеле.