31–34 of 34 posts
Earlier quoted context omitted.
I would add a Logic Programming language like Prolog to the list.
Isn't Prolog considered a "declarative" language?
Plus it helps to understand how those logic programming libraries, like mini-Kanren, core.logic among others work.
FCT UNL (Portugal) should probably be in the list. Back in the mid-90's they were teaching Caml Light. Most likely they are on OCaml nowadays. The CS department is very strong in FP and LP languages and theory.
Is there a link you can point us at? If it's in portugese we might have trouble understanding it.
Due to Bologna, the older pages are now gone. I can try to contact some of my former teachers to find out the current set of languages.
So many functional languages. Which one to learn? Haskell? OCaml? F#? Scheme? Common Lisp? Clojure?
Learn more than one. I would suggest, in no particular order, at least one from each of these three groups: Static, strict-by-default ML derivatives (Standard ML, F#, Ocaml, AliceML, etc.) Static, lazy-by-default ML-inspired (Haskell, probably others, but, really, Haskell). Dynamic Lisp-family languages (Racket, Scheme, Common Lisp, Clojure)