The difference between separate threads and separate machines should not be abstracted away, but managing them as part of the application through compile-time magic would be cool.