1************** 2Type Inference 3************** 4 5Rules for local inference 6========================= 7 8Explicit vs. Implicit Local Types 9--------------------------------- 10 11Changing Types 12============== 13 14Asserts 15------- 16 17Casts 18----- 19 20Type Guards 21----------- 22 23 24Protocols and Duck Typing 25========================= 26 27Callback Protocols 28------------------ 29