Can you give an example where Haskell or Ocaml would be more appropriate than the scripting languages you mention?