A heterogeneous-systems programming language that puts placement and reachability in the type system
