Tensegritics / Tensegritics/ClojureDart
Reify all literal types
Nobody has claimed this yet.
- Dominant language
- Clojure
- Stars
- 1.6k
- Forks
- 119
- PR merge metrics
- No merged PRs in 30d
Description
All classes appearing as literals should be reified so has to allow for a true instance? function and multimethods hierarchies (#3).
Methods exposed by a reify type should allow to test if an instance is of this type and if a type is a subtype of another.
Subtyping matrix can be determined statically and only needs to cover types appearing as literals.
Contributor guide
No contributing guide indexed for this repository
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 locating the existing implementation of literal types, reify, instance? and multimethods. Determine how types appearing as literals can expose instance and subtype checks, then define the statically determined subtyping matrix and verify those behaviors with the relevant tests.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- clojure
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100