Robust type, pre- and post- condition checking for function parameters and return values utilizing annotations.