Is there a reason dependent types are not more common?
Like any major service, I'm sure they do. But also like any other service, how well is all the resiliency tested in the real world, is a separate question. And today we have an answer. Anyway I have a good guess as to…
Is there a reason dependent types are not more common?
Like any major service, I'm sure they do. But also like any other service, how well is all the resiliency tested in the real world, is a separate question. And today we have an answer. Anyway I have a good guess as to…