The Expression Problem, populated by Philip Wadler, is a often used to standard problem to evaluate programming languages.

I think it is a very clear and popular example and I wonder if there are any similar standard problems that are possibly also as widely used and as clear.

So, are there any similar standard problems?

(In the case of Feature Oriented Programming (link link) I found some standard problems, like: - implementation of a stack with different features - implementation of linked lists - implementation of a calculator - the graph product line - stock broker and bank account examples - hierarchical display )


I'm not sure that the problem is formulated quite as nicely, but the problem of implementing concurrency in an efficient manner has occupied at least as much effort as the expression problem, and prompted a number of solutions, including the use of semaphores and software transactional memory.

I'm certainly not an expert, but I believe the problem of concurrency can be formulated in a similar manner to the expression problem: create language constructs which allow us to simultaneously:

  1. Have sufficient expressivity to create complex concurrent programs, say, a web server.
  2. Be able to have a reasonable assurance that these complex programs will not incur deadlock.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.