This book aims to encourage the scientific community to adopt stricter approaches to computer programming, emphasising correctness over performance, beginning with the selection of the Objective CAML language due to its inherent safety. Although scientists are the principal target audience, anyone interested in learning more about modern programming techniques is likely to benefit from reading this book.