An experiment about static and dynamic type systems | Heykuki News