Programming Languages

Logic and Constraint Satisfaction Programming

• geode a library for C++

• gnu prolog

Functional Programming

• haskell is arguably the standard.

• OCaml would do the arguing.

• A haskell tutorial

• Pure looks interesting, if possibly a bit new

Concurrency

• erlang is used Siemens in their switches and e.g. in a popular jabber server

• google go is a more incremental modification of C and C++.

Stack based languages

• PostScript

• S-Lang

• Forth

Lisp and it's children

• Racket

• Scheme

• Common Lisp Book

Smalltalk

• syx

• squeak

Special purpose

• lout function programming for typesetting.