tl;dr ORM's with type safety and comprehensive error checking are possible with statically typed languages provided the type system is flexible/powerful enough

tl;dr ORM's with type safety and comprehensive error checking are possible with statically typed languages provided the type system is flexible/powerful enough http://ocharles.org.uk/blog/posts/2013-12-06-24-days-of-hackage-persistent-esqueleto.html http://ocharles.org.uk/blog/posts/2013-12-06-24-days-of-hack... More in-depth interactive tutorial: https://www.fpcomplete.com/school/starting-with-haskell/libraries-and-frameworks/persistent-db https://www.fpcomplete.com/school/starting-with-haskell/libr...