effekt-lang / effekt-lang/effekt
Tracking of mutable arrays
Open
question
requires-design
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
In the current standard library, arrays are extern value types and therefore not tracked individually. Operations on them do use the `io` resource. This is a difference to mutable references, which live in regions.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.