4 ms·
We already have them. It's called compiler type checks. Albeit having an SMT solver in your unit tests is nice too.
by crb002 9y ago
We already have them. It's called compiler type checks. Albeit having an SMT solver in your unit tests is nice too.
- UncleMeat 9y agoType checking is (usually) intraprocedural and flow insensitive. That's what makes it easy. The other stuff is harder.