Type System

Multipledispatch2

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

Talk About Phantom Type

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