OCaml and Cordova: typed, more secured hybrid mobile applications | Heykuki News