haskell-beam / haskell-beam/beam
New scoping system
Open
- Dominant language
- Haskell
- Stars
- 635
- Forks
- 193
- PR merge metrics
- No merged PRs in 30d
Description
> `QBaseScope` et al were put in place because of limitations of the Haskell type system at the time. It's likely we can get rid of this. In fact, we should probably rethink the entire scoping system in light of new GHC features, and be willing to break compatibility.
_Originally posted by @tathougies in https://github.com/haskell-beam/beam/issues/652#issuecomment-1439431041_
What would this look like? More data kinds? Something more radical?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.