Essentials of Programming Languages Language

The Essentials of Programming Languages language in DrRacket provides a subset of functions and syntactic forms of mzscheme – mostly the ones that correspond to r5rs forms. See below for a complete list. The language is intended for use with the textbook [EoPL].

(require eopl/eopl)

The following bindings are re-provided from mzscheme:

	make-parameter		/		inexact?
	parameterize		abs		zero?
	print-struct		gcd		positive?
	unquote		lcm		negative?
	unquote-splicing		exp		odd?
	quote		log		even?
	quasiquote		sin		quotient
	if		cos		remainder
	lambda		tan		modulo
	letrec		not		floor
	define-syntax		eq?		ceiling
	delay		make-string		truncate
	let		symbol->string		round
	let*		string->symbol		numerator
	let-syntax		make-rectangular		denominator
	letrec-syntax		exact->inexact		asin
	and		inexact->exact		acos
	or		number->string		atan
	cond		string->number		sqrt
	case		rationalize		expt
	do		output-port?		make-polar
	begin		current-input-port		real-part
	set!		current-output-port		imag-part
	#%module-begin		current-error-port		angle
	#%app		open-input-file		magnitude
	#%datum		open-output-file		input-port?
	#%top		close-input-port		read
	#%top-interaction		close-output-port		read-char
	#%require		with-output-to-file		peek-char
	#%provide		transcript-on		eof-object?
	#%expression		transcript-off		char-ready?
	syntax-rules		flush-output		write
	...		string-length		display
	cons		string-ci<=?		newline
	car		string-ci>=?		write-char
	cdr		string-append		load
	pair?		string-fill!		string?
	map		string->list		string
	for-each		list->string		string-ref
	caar		vector-length		string-set!
	cadr		vector-fill!		string=?
	cdar		vector->list		substring
	cddr		list->vector		string-copy
	caaar		char-alphabetic?		string-ci=?
	caadr		char-numeric?		string<?
	cadar		char-whitespace?		string>?
	caddr		char-upper-case?		string<=?
	cdaar		char-lower-case?		string>=?
	cdadr		char->integer		string-ci<?
	cddar		integer->char		string-ci>?
	cdddr		char-downcase		vector?
	caaaar		call-with-output-file		make-vector
	caaadr		call-with-input-file		vector
	caadar		with-input-from-file		vector-ref
	caaddr		apply		vector-set!
	cadaar		symbol?		char?
	cadadr		null?		char=?
	caddar		list?		char<?
	cadddr		list		char>?
	cdaaar		length		char<=?
	cdaadr		append		char>=?
	cdadar		reverse		char-ci=?
	cdaddr		list-tail		char-ci<?
	cddaar		list-ref		char-ci>?
	cddadr		memq		char-ci<=?
	cdddar		memv		char-ci>=?
	cddddr		member		char-upcase
	=		assq		boolean?
	<		assv		eqv?
	>		assoc		equal?
	<=		procedure?		force
	>=		number?		call-with-values
	max		complex?		values
	min		real?		dynamic-wind
	+		rational?		eval
	-		integer?
	*		exact?

Each variant-id is defined as a constructor function that creates an instance of the datatype; the constructor takes as many arguments as the variant’s field-ids, and each argument is checked by applying the function produced by the variant’s predicate-expr.

In DrScheme v209 and older, when constructor-based printing was used, variant instances were printed with a make- prefix before the variant name. Thus, for compatibility, in addition to variant-id, make-variant-id is also defined for each variant-id (to the same constructor as variant-id).

Tracing a function causes tail-calls in the original function to become non-tail calls.

The eopl/eopl library sets this variable to #f in the current namespace when it executes.

The eopl/eopl library calls this function when it executes.

Bibliography

[EoPL]

“Essentials of Programming Languages, Third Edition,” MIT Press, 2008. http://www.eopl3.com/