type checking

Python-based compiler achieves orders-of-magnitude speedups,Codon is a new tool that compiles Python code to...