4 ms·
In my experience when gluing things one needs at the very least dependent types to properly express relations. Without that the best hope is a good integration
by fpoling 6y ago
In my experience when gluing things one needs at the very least dependent types to properly express relations. Without that the best hope is a good integration test, but with that in place static types for things that can be expressed in mainstream languages do not bring much extra value while contributing to the cost.