Toit doesn't have generic types yet. This limitation means that the dynamic checks are very fast. Since these checks also allow some optimizations, the cost of

Toit doesn't have generic types yet. This limitation means that the dynamic checks are very fast. Since these checks also allow some optimizations, the cost of the dynamic checks is maybe 10-15%. And that's before doing a global type-inference, which should remove many of the checks.