Chapter 9. Advanced techniques

Table of Contents
Null-safety
Static typing
Semantic typing
Feature redefinition in child types
Design by Contract
Unit testing
PPL/Java synergy
Source code templates

Null-safety

Not written yet.

Static typing

Not written yet.

Semantic typing

Not written yet.

Feature redefinition in child types

Not written yet.

Design by Contract

Not written yet.

Unit testing

Not written yet.

PPL/Java synergy

Not written yet.

Source code templates

Not written yet.