effekt-lang / effekt-lang/effekt
Capture polymorphism
Open
feature
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
It would be great if we could abstract over capture sets on the type level:
```
type Coroutine[C, A] {
Done()
More(value: A, next: () => Coroutine[C, A] at C)
}
```
This way we could actually store first-class functions in data structures.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.