type system

The article elaborates some technic details in building a multiple dispatch library in python.

Using phantom type when programming can noticeably increase the robustness of the code by transfering the logic checking into type checking.