HTDP Signatures - missing Image type in BSL
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 112
- Forks
- 73
- Avg merge
- 9h 41m
- Merged PRs (30d)
- 1
Description
What version of Racket are you using?
8.10
What program did you run?
Images are an important type in the HTDP methodology. If the new signatures are supposed to be usable for teaching, a pre-defined type for images should be available.
(: foo Image)
(define foo (circle 5 "solid" "red"))
One can work around the issue using the predicate facility in signatures, but this does not work in BSL because it uses image? as a higher-order funciton.
(: foo (predicate image?))
(define foo (circle 5 "solid" "red"))
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 BSL signature definitions and how predefined types such as Image and predicates such as image? are handled. Make the shown (: foo Image) example work with circle in BSL, while preserving the existing predicate behavior, and verify the example through the relevant signature checks.
Written by the indexing model from the issue text.
Assessment
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100