3 ms·
To be clear the FAQ only states it might have been a mistake to make flexible typing the default everywhere, not that support for flexible typing in itself is a
by goto11 5y ago
To be clear the FAQ only states it might have been a mistake to make flexible typing the default everywhere, not that support for flexible typing in itself is a bad idea.
But I don't think anyone is against support for flexible typing as an opt-in feature.