All the cool bearded gurus in what’s left of AI research use Lisp 🙂
There are two big camps: Common Lisp and Scheme. They have different syntax, etc. Lots of good stuff written for both.
Java is a very popular all-purpose language but a lot of the interesting stuff in AI / Functional Programming, such as passing closures as first-order objects, is clumsy to do in Java.
My personal preference would be to stay away from Windowsy languages like C# and F#. Cool people develop under Unix. Or Linux if they’re cool but poor.
Some cool but weird people program in Haskell. A reasonably modern FP language with good performance. I tried it once, it made my brain hurt; but you might be smarter than I am.
UPDATE: Answers to Steve’s questions.
-
I wouldn’t be the one paying for a Unix variant; that’s what corporations and research institutes do. The idea is, you want to be doing AI research for an outfit that sinks millions into their hardware and doesn’t balk at paying a few thousand for an operating system. That’s the kind of outfit likely to have good food in the cafeteria and/or pay well for doing fun work. But I’m certainly not knocking Linux.
-
F# may be cool but I see a whole raft of issues getting it to run on Linux or any other Unix (that’s what I meant by “windowsy”), and I don’t want to work under Windows (that’s what I meant by “personal preference”).
-
To elaborate on the “windowsy” theme: You mention that F# is an OCaml variant. From my own admittedly brief research, it seems that F# is missing functors, OCaml-style objects, polymorphic variants and the camlp4 preprocessor. A functional language without functors? Really? If one were disposed to not like Microsoft, as I admittedly am, one could conclude that they had gone ahead and crowbarred a perfectly good functional language, OCaml, into something they could get to run in their CLR so they could claim to “have” a functional language. Finally, because I don’t suspect, I know that Microsoft always prioritizes market dominance over product quality, I don’t plan to touch F#. But this is my personal preference, and clearly identified as such, while we’re really more concerned with making a good recommendation for mary.ja45 .
I have better reasons to recommend Lisp over F# and even OCaml and Haskell. These are mostly based on the historic preponderance of Lisp over any other language in the AI field.
-
The bulk of AI literature is based on programs written in Lisp or Prolog. If nothing else, good knowledge of Lisp would allow a student to understand the sample programs. My personal favorite AI megaproject, Cyc, has runtimes in your choice of Common Lisp or C.
-
In the TIOBE index of programming language (as seen and used in industry), Lisp takes 15th place while Haskell takes 43rd and F# and OCaml place below 50th. Presence on the market correlates with employment opportunities, naturally.
That said, it’s quite possible that a number of the younger “AI interesting” languages are poised to skyrocket. If some major research institute published some groundbreaking, defining-the-field research in, say, Scala, you’d see Scala’s popularity advance sharply in the research community and, with some lag, in industry.
I (obviously) can’t comment on F#’s other qualities but you’re as welcome to make recommendations as I was.