**************
Type Inference
**************

Rules for local inference
=========================

Explicit vs. Implicit Local Types
---------------------------------

Changing Types
==============

Asserts
-------

Casts
-----

Type Guards
-----------


Protocols and Duck Typing
=========================

Callback Protocols
------------------