Make an RFC for "incremental" definitions
Open
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 601
- Forks
- 74
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 5
Description
One of my favorite features of modern Racket is module+ where you an incrementally define the body of a module. I want something like that where I incrementally attach information to a binding. Defining a function by cases is a special example of this.
(def+ length)
(def+ length type (-> List Number))
(def+ (length '()) 0)
(def+ (length (cons x l)) (add1 (length l)))
(def+ length docs @para{Returns the number of @racket[cons] cells in the argument.})
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 with the issue's examples of module+ and incremental def+ bindings, then review the surrounding Rhombus language-design material. Produce an RFC that defines the proposed syntax and semantics for incremental definitions, including case-based function definitions and attached type or documentation information.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100