Expression Problem – looking for a similar standard problem

Question

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 )

Answer 1

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.