The proposal itself is an interesting read, but it is also followed by a long and insightful discussion, reaching in scope far beyond the initial SIP (for full disclosure, in part I'm responsible for some branching of the topic).
...
And I think we'll all agree that it's best to first define the problem and then look at the possible solutions.
...
However, I think there's one deeper issue before accepting it as a SIP and incorporating it into Scala.
...
finally, Martin Odersky is starting a research program, Caprese to investigate possible ways to track effects in Scala, so this might yield new options.
...
Hence, tracking asynchronous operations in the type system no longer makes sense.
...
Another candidate, proposed by Martin Odersky is to track suspension points.
...
Finally, my proposition would be to track remote calls.
...
An important note here: not all participants of the discussion agree that it's really a problem; see for example this post by Li Haoyi.
...
The primary platform on which Scala is used, is the JVM.
[
add
]
[
|
|
...
]