Type classes
Open
proposal
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
As mentioned in #95, type classes may solve the problems of termination checker for constraint solver. In Fram, type classes can be seen as sets of constraints (types, type classes, and methods) that can be attached to data. The syntax could be the following.
```
class C X =
{ T
, method foo : X ->[] T
, method bar : T ->[] X
}
impl C Int =
{ T = Unit
, method foo = ...
}
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.