Scheme Reports at Fifty: Where do we go from here?Remote
On 22 December 2025, Scheme will celebrate its 50th birthday with the anniversary of the publication of the first Scheme report. As chair of the current Scheme reports working group, I have the daunting task of laying a foundation for the Scheme language to successfully move onwards into its next fifty years.
The recent development of this series of reports has been marked by an acrimonious split over R6RS vs R7RS small, followed by the prolonged and still ongoing gestation of the R7RS large report. The Scheme language itself survived these battles: new Schemers are still discovering the language; new projects in Scheme are still pushing forward the cutting edge of computer science and engineering practice; the landscape of implementations is as lively as ever. But the Scheme reports find themselves in new surroundings, one into which R7RS large has to adapt itself.
What function does the Scheme report serve for the community now? What does the community want to see in the Scheme report, and how do we continue to reconcile diverging visions for the future of the language? How do we build a working group that represents the diversity of opinions on the nature of Scheme and the best direction for its future? This presentation will be an invitation to discuss these questions and more, as well as an invitation to Schemers of all generations to join us in building R7RS large as a good home for all Schemers to live in.
Thu 16 OctDisplayed time zone: Perth change
16:00 - 17:30 | Report, Lightning Talks, and KeynoteScheme at Peony NW Chair(s): Youyou Cong Institute of Science Tokyo, Olivier Danvy Yale-NUS College and School of Computing, Singapore | ||
16:00 20mTalk | Scheme Reports at Fifty: Where do we go from here?Remote Scheme | ||
16:20 10mTalk | Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk) Scheme Pascal Lasnier University of Cambridge, Jeremy Yallop University of Cambridge, Magnus O. Myreen Chalmers University of Technology File Attached | ||
16:30 10mTalk | miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) Scheme File Attached | ||
16:40 50mKeynote | Scheme and New Frontiers for Language Design Scheme Michael D. Adams National University of Singapore | ||