Carl Eastlund

2 posts by Carl Eastlund

Oct 26, 2015 | 9 min read
Quickcheck for Core
Automated testing is a powerful tool for finding bugs and specifying correctness properties of code. Haskell’s Quickcheck library is the most well-known automated testing library,...
Jul 18, 2014 | 2 min read
Simple top-down development in OCaml
Often when writing a new module, I want to write the interface first and save the implementation for later. This lets me use the module...