Explicit instantiation of effect in `handlerfn`
Open
0. parsing
1. type inference
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Currently, the effect passed to the computation in `handlerfn` is always left up to the effect inference, but it would be nice to optionally specify it explicitly. During a meeting we ended up with the following syntax proposal for this feature, where `E` is the handled effect.
```fram
handlerfn
defs in {E} cap
end
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.