The debugging issues which came to light as part of the development of POP-PL led to the new Racket trace debugging facilities in the form of Medic and Ripple, which I've previously commented about here, and which unfortunately barely anyone seems to know about:
First, one more counter example to add to the mix already presented here:
https://www.scholars.northwestern.edu/en/publications/pop-pl... Florence et al. – POP-PL: A patient-oriented prescription programming language (2015)
Citations: https://scholar.google.com/scholar?cites=4536900861193079588
The debugging issues which came to light as part of the development of POP-PL led to the new Racket trace debugging facilities in the form of Medic and Ripple, which I've previously commented about here, and which unfortunately barely anyone seems to know about:
https://news.ycombinator.com/item?id=19962087