So far I found "ParaSail" to be most inspiring. It keeps Ada's (and Nim's) 
parameter passing modes, throws away pointers completely, adds some mild 
aliasing checks and ends up with a system where g and h can and are run in 
parallel within f(g(args), h(otherArgs)). 

Reply via email to