Property Tests for Guile, Engine by Hypothesis
Table of Contents
A draft for the proposal shelf. Not submitted anywhere. Status: New, from the review.
1. Pitch
Implement a wire protocol, inherit a shrinker.
2. Abstract
Split the property-testing engine from the language client and a Scheme gets Hypothesis-grade generation and shrinking by speaking a protocol. A Guile client for the Hegel protocol: what the split makes easy, what it does not, and what porting a client shows about the protocol itself.
3. Audience, format, venue
- Audience
- Scheme users; testing researchers.
- Format
- 20-minute workshop talk or experience report.
- Where
- The Scheme Workshop at ICFP. ICFP 2026 put programmable property-based testing in its Distinguished session.
4. Review
Third on the presentation review: it matches the strongest signal in the ICFP notes. The L7 review is cooler: it is a client port, last pushed in April and marked experimental, and its novelty depends on findings neither reviewer read. Write the findings down before pitching.
5. Backing
Public repositories:
Notes on this site: