type system

Multipledispatch2
The article elaborates some technic details in building a multiple dispatch library in python.
Last updated on Oct 6, 2022 4 min read post, 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.
Last updated on Oct 6, 2022 3 min read post, rust