Dynamic types at compile time combined with static types at runtime seems like a nice tradeoff. After all, the types will be checked for all the code actually generated. It probably makes error messages more confusing, though.