Thursday, 27 March 2008

Getting the most out of Static Typing

The OCaml Journal just published an article explaining how OCaml's static type system can be leveraged to improve program reliability and development speed:

"The OCaml language arms programmers with one of the most sophisticated static type systems of any general-purpose programming language. This static type system can be used to remove large classes of common bugs that are otherwise tedious or impossible to track down. The benefits in terms of programmer productivity and program reliability are tremendous. However, leveraging such a type system is an art that requires significant effort to learn. This article describes idiomatic OCaml style and a variety of techniques that can be used to leverage the static type system in order to catch errors earlier and more easily..."

To read this article and more, subscribe to The OCaml Journal today!


No comments: