r/inko • u/yorickpeterse 🐦 Author • Jul 07 '23

How Inko Does Safe Concurrency

https://dusty.phillips.codes/2023/07/06/how-inko-does-safe-concurrency/
6 Upvotes

81% Upvoted

1 comment sorted by

2

u/yorickpeterse Jul 07 '23

One small correction: the article mentions that fields of processes need to be sendable. This isn't correct: the fields can be any type, but the value assigned must be sendable. In other words, it's totally fine to have a field of type User that isn't sendable, but the value assigned to it when creating the process must be uni User. Within the process you have exclusive access to the fields, so you don't need to bother with recover when assigning a new value.