2 ms·
OK. Yes, static type systems need to make trade-offs. If this was your entire point, your original talk about undecidability was hiding it well.
by tom_mellior 9y ago
OK. Yes, static type systems need to make trade-offs. If this was your entire point, your original talk about undecidability was hiding it well.
- mnarayan01 9y agoYou got my point in your first comment in this thread. Unless that comment was the result of hours of striving, it doesn't seem as if the point was hidden well. If you did spend hours working at it, then I apologize and commend you on your success.