I'm not sure this is the best link, but I don't have anything better in mind and it was the first thing that popped up, so... Anyway, there's a language called

I'm not sure this is the best link, but I don't have anything better in mind and it was the first thing that popped up, so... Anyway, there's a language called ParaSail[0] that's doing stuff in that direction. A little bit back the guy behind it got hired by AdaCore (Ada compiler folks) and they seem to have adopted it and continuing with it. I haven't heard too much about it though. [0]https://adacore.github.io/ParaSail/ https://adacore.github.io/ParaSail/