I think F# will be my next learning project. Still keeping an eye on Idris, though.