Channeling Steve Rayhawk, I gotta second the Haskell recommendation since some of the cool super-theoretical category theory delimited continuation abstract machine nonsense blends into other stuff that may end up being useful for FAI stuff, and it's probably pretty fun besides that.