Hacker News Reader

More confusion: anything solved in the type system drops off the list of what needs to be solved with data structures or algorithms, for a big gain. Essentially, math has there replaced programming.

We are not interested in solving all problems by programming. We should solve with programming what is best solved that way.

View on HN

This is not a confusion but a fundamental difference in viewpoint. Not everything can be, nor should it be, solved at compile time.

"anything solved in the type system drops off the list of what needs to be solved" AT A HUGE COST. Everything has a cost to it and even if you could hypothetically most solve things at compile time (you cannot), it might take a damn long time to compile it.

Reply on news.ycombinator.com