This book actually teaches C in relationship to previous assumed knowledge of Standard ML (not quite OCaml, but close). http://eprints.eemcs.utwente.nl/1077/02

This book actually teaches C in relationship to previous assumed knowledge of Standard ML (not quite OCaml, but close). http://eprints.eemcs.utwente.nl/1077/02/book.pdf http://eprints.eemcs.utwente.nl/1077/02/book.pdf I'm not sure I agree with all of the conventions, but it's interesting to see a deliberately functional approach applied to C code.