One of my pet projects is designing such an inherently
parallel language, tentatively dubbed ParaSail,
for Parallel Specification and Implementation Language.
It will attempt to incorporate the lessons learned from
a career spent working on Ada, while embracing annotations
and implicit parallelism in all their glory,
to support the development of efficient, safe, correct, and
highly scalable parallel systems. Stay tuned…