Я бы посоветовал ещё обратить внимание на erlang. Он имеет реальное практическое применение и использует модные сейчас многоядерные процы по прямому назначению.
А просто для ознокомления с ФЯ советовал бы OCaml (наиболее простой, по-моему).