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 sc