Feature Request: Smash Product, Wedge Sum, Pointed Product
Open
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 5.5k
- Forks
- 1.2k
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 5
Description
Some new abstractions that provide useful and principled variations on a theme:
- Slides: https://github.com/cohomolo-gy/Hulk-Smash/blob/master/Smash.pdf
- Arithmetic derivation: https://github.com/emilypi/smash/tree/master/smash-core/README.md
Happy to help explain and guide the implementation of these (including their monad transformers and optics).
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reading the linked Smash slides and the smash-core arithmetic derivation. Then determine the intended scope for the smash product, wedge sum, pointed product, their monad transformers, and optics. Done means agreeing on the API and implementing the requested abstractions with appropriate Cats integration, but the issue names no files or tests.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100