> I'm not sure you're familiar enough with what a sufficiently powerful type system can accomplish. At what cost? I'd estimate it to be at least 10x developme

> I'm not sure you're familiar enough with what a sufficiently powerful type system can accomplish. At what cost? I'd estimate it to be at least 10x development cost.