3 ms·

As a counterpoint, Wirth-style languages have basically remained the same for decades whereas work on type theory has repeatedly moved the boundaries of compreh

As a counterpoint, Wirth-style languages have basically remained the same for decades whereas work on type theory has repeatedly moved the boundaries of comprehensibility.

romwell 3y ago
I don't see a counterpoint in your statement.
layer8 3y ago
> work on type theory has repeatedly moved the boundaries of comprehensibility. Please elaborate. I see more expressivity, but I see no clear trend regarding comprehensibility.