[michaelcampbell]

> What problems (besides the obvious) have been found in which "memory-safe languages" can help.

Why isn't that enough?