| ************** | |
| Type Inference | |
| ************** | |
| Rules for local inference | |
| ========================= | |
| Explicit vs. Implicit Local Types | |
| --------------------------------- | |
| Changing Types | |
| ============== | |
| Asserts | |
| ------- | |
| Casts | |
| ----- | |
| Type Guards | |
| ----------- | |
| Protocols and Duck Typing | |
| ========================= | |
| Callback Protocols | |
| ------------------ |