Programming: Research directions

Memory-safe roadmaps focus attention on what to replace, how to manage risk and how to measure progress. Mixed-language systems and long-lived dependencies make this a systems problem, not a syntax change. Incremental migrations must preserve compatibility while reducing exposure.

Ownership illustrates how language rules can make resource constraints explicit before a program runs. Extending useful checks while keeping tools understandable remains a design challenge. Stronger guarantees apply only to the properties actually checked and the assumptions around them.