Hacker News new | ask | show | jobs
by neilc 6083 days ago
even with a statically typed database, type matching errors storing data are only reported at runtime! (That is, our java compiler doesn’t check our MySQL schema.)

That isn't necessary the case: for example, PG'Ocaml allows Ocaml programs that access a PostgreSQL database to have their type consistency checked at compile-time.

http://developer.berlios.de/projects/pgocaml/