4 ms·

This property is not really part of the type system though. Also, as mentioned by another commenter below - is a file exists operation async? Sync? Why, why no

by kaba0 3y ago

This property is not really part of the type system though. Also, as mentioned by another commenter below - is a file exists operation async? Sync? Why, why not?

wiseowise 3y ago
What if file exists operation MUST be sync?
- kaba0 3y ago
  Then you don’t start it in a virtual thread. Your calls automatically become blocking or not blocking depending on your callsites, which is the proper place to decide that.
  - wiseowise 3y ago
    So it still has colors?
lolinder 3y ago
In TypeScript at least, async-ness is encoded in the type system, because async/await is just syntactic sugar for Promise/then/catch.
- kaba0 3y ago
  Well, JS is paired with a single-threaded execution model, so you only have concurrency to worry about. C#, Java has proper multithreading as well, that gives another dimension to the problem.
  - lolinder 3y ago
    Kotlin has multithreading, and it also puts `suspend` in the type system.
    - n2d4 3y ago
      Some more examples: Rust, Python (with most/all? type checkers), C# all bake this into their type systems.
    - vips7L 3y ago
      This is more due to the fact that Kotlin doesn’t control its backend and is designed to work with a language that already includes this model, js.
samus 3y ago
Very simple - in Java, almost any IO operation in blocking. Exceptions are the stuff in the NIO package, thread interruption and signalling, and maybe process termination.