Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

30 lines (20 sloc) 1.163 kb
#lang scribble/doc
@(require scribble/manual
(for-label scheme/base))
@title[#:style '(toc) #:tag "top"]{@italic{How to Design Programs} Teachpacks}
Teaching languages are small subsets of a full programming language. While
such restrictions simplify error diagnosis and the construction of tools,
they also make it impossible (or at least difficult) to write some
interesting programs. To circumvent this restriction, it is possible to
import teachpacks into programs written in a teaching language.
In principle, a teachpack is just a library written in the full language,
not the teaching subset. Like any other library, it may export values,
functions, etc. In contrast to an ordinary library, however, a teachpack
must enforce the contracts of the ``lowest'' teaching language into which it
is imported and signal errors in a way with which students are familiar at
that level.
This chapter covers the teachpacks for @italic{How to Design Programs}.
@; removed: @include-section["htdc/scribblings/htdc.scrbl"]
Jump to Line
Something went wrong with that request. Please try again.