This Functional Data Structures looks like nice and accessible intro to both OCaml and basic algorithms
Enjoy!