schlepping snow http://people.csail.mit.edu/jaffer/Schlep/Schlep-Dialect

Schlep Dialect of Scheme


Read-Syntax

Read syntax: #+ <feature> <form>
If <feature> is provided? then <form> is read as a scheme expression. If not, then <form> is treated as whitespace. <feature> is a boolean expression composed of symbols and and, or, and not of boolean expressions. For more information on provided?, See section `Feature' in SLIB.
Read syntax: #- <feature> form
is equivalent to #+(not <feature>) form.

There are times where the Schlep-Dialect is not completely portable to all target languages. #+ and #- can be used to conditionalize code so that one source file is still sufficient. All Schlep translators provide the SCHLEP feature. And each translator provides its name (SCM2JAVA, SCM2CS, or SCM2C) as a feature. So #+(or SCM2JAVA SCM2CS SCM2C) is equivalent to #+SCHLEP.

Syntax

Syntax: quote <datum>
Quoted symbols are translated into strings with the target-language-specific substitutions. Giving a quoted procedure name as an argument to dprintf, wdprintf, or edprintf has the correct function name appearing in the message. The `%s' format in the SLIB implementation of printf accepts either strings or symbols.
Syntax: and <test1> ...
Syntax: or <test1> ...
Syntax: set! <identifier> <expression>
Syntax: if <test> <consequent> <alternate>
Syntax: if <test> <consequent>
Syntax: cond <clause1> <clause2> ...
Syntax: case <key> <clause1> <clause2> ...
Syntax: qase <key> <clause1> <clause2> ...
Treated the same. Valid only in a tail position or if its return value is ignored.
Syntax: begin <expression1> <expression2> ...
Syntax: lambda <formals> <body>
lambda is supported only as the argument to call-with-current-continuation, and in the function position of a form, for example: ((lambda (x) (+ 1 x)) k).
Syntax: let <bindings> <body>
Syntax: let* <bindings> <body>
Syntax: letrec <bindings> <body>
The expression must either be in the tail-position or its value must be ignored. These are all treated as letrec*. Java does not allow nested identifier reuse like (let ((foo 5)) (let ((foo 99)) foo)); so the difference between let* and let for non-procedure bindings is not exposed. Mutually recursive internal procedures are also not supported, so there is no difference between letrec* and letrec for procedure bindings.
Syntax: let <variable> <bindings> <body>
Named let.
Syntax: do <bindings> <clause> <body>
Syntax: define <identifier> <expression>
Syntax: defvar <identifier> <expression>
Is a variable declaration.
Syntax: define <identifier> (lambda <formals> <expression>)
Syntax: define (<identifier> <formals>) <body>
Defines a top-level or internal procedure.

Tail recursion is preserved for procedures tail calling themselves and for procedures defined using internal define. Mutual tail recursion is not preserved. Internal procedures called in non-tail position are not supported.

Syntax: defconst <identifier> <expression>
Becomes a #define in C; readonly in C#; final in Java.
Syntax: defmacro <identifier> (<formals>) <body>
Syntax: defmacro (<identifier> <formals>) <body>
Invocations of defmacros are expanded before translation to the target language.

Procedures

These are the Scheme and SLIB procedures getting special treatment by the translators.

Function: call-with-current-continuation (lambda (<identifier>) <body>)
Escape continuations only.
Procedure: load filename
Procedure: require 'feature
Ignored.
Procedure: provide 'feature
Does not get translated; but adds feature to the set of features such that #+feature expression will incorporate expression where it occurs.
Function: not obj
Logical inversion (not bitwise).
Function: ceiling x1
Function: floor x1
Function: inexact->exact x1
Function: * x1 ...
Function: + x1 ...
Function: - x1 x2 ...
Function: / x1 x2 ...
Function: quotient n1 n2
Translate to the native operators.
Function: modulo n1 n2
Function: remainder n1 n2
Both are translated to n1 % n2.
Function: max n1 n2
Function: max x1 x2
Function: min n1 n2
Function: min x1 x2
Native operators. Some C implementations may implement as:
#define max(a,b) ((a)<(b)?(b):(a))
#define min(a,b) ((a)>(b)?(b):(a))
which will evaluate a or b twice.
Function: = x1 x2
Function: eq? obj1 obj2
Function: eqv? obj1 obj2
Function: char=? char1 char2
Are all translated to `=='.
Function: < x1 x2
Function: <= x1 x2
Function: >= x1 x2
Function: > x1 x2
Function: negative? x
Function: zero? x
Function: positive? x
Function: char<? char1 char2
Function: char<=? char1 char2
Function: char>=? char1 char2
Function: char>? char1 char2
Function: odd? n
Function: even? n
Function: number? obj
Always returns true.
Function: char-downcase char
Function: char-upcase char
Function: char->integer char
Function: integer->char k
Function: string->number string
Integers only.
Function: atoll string
64-bit integer.
Function: atof string
Double precision floating-point.
Function: number->string n k
Java calls integerToString; C# calls Convert.ToString; C calls integer_to_string.
Function: number->string x
Java calls numberToString; C calls number_to_string.
Function: make-bytes k1 k2
Function: make-bytes k1
Function: bytes k1 ...
Top-level variables defined to calls of these procedures will create static allocations in C.
Function: substring string start end
Function: subbytes byte-vector start end
Supported in all except WB-C.
Function: make-vector k fill
Function: make-vector k
Function: vector obj1 ...
Function: make-array prototype bound1 bound2 ...
In a define, generates an array of the type as determined by the variable name and inline declarations or `scm2java.typ'; otherwise a malloc cast to the type*.
Function: bytes-length string
Function: string-length string
Function: vector-length vector
For vectors in C, sizeof(vector), which is not necessarily correct.
Function: vector-set-length! vector k
Extends or truncates vector.
Function: array-ref vector k
Function: string-ref string k
Function: byte-ref string k
Function: vector-ref vector k
vector[k]
Procedure: array-set! array k obj
Procedure: byte-set! string k1 k2
Procedure: vector-set! vector k obj

array[k] = obj.

Strings are immutable.

Procedure: current-error-port
Java System.out; others stderr
Procedure: current-output-port
Java System.out; others stdout
Procedure: current-input-port
Java System.in; others stdin
Function: current-time
Returns the integer number-of-seconds since Jan 1, 1970.

Integers as Bits

Functions from Integers as Bits; SLIB module logical.

Function: lognot n1
Function: logand n1 n2
Function: logtest n1 n2
Function: logior n1 n2
Function: logxor n1 n2
Translated as the obvious bitwise logical primitives.
Function: ash n1 n2
Function: arithmetic-shift n1 n2
n2 must be a literal integer.
Function: logbit? n k
Function: bit-field n1 n2 n3

Diagnostic Output

Procedure: dprintf "<format>" <expression2> ...
Perform stdlib printf formatted output to the diagnostic channel, (current-error-port). Remember to end the format string with \n for newline.
Procedure: wdprintf "<format>" <expression2> ...
Same as dprintf, but prefixed with WARNING:.
Procedure: edprintf "<format>" <expression2> ...
Same as dprintf, but prefixed with >>>>ERROR<<<<.
Copyright © 2001, 2002, 2003, 2007, 2009 Aubrey Jaffer

I am a guest and not a member of the MIT Computer Science and Artificial Intelligence Laboratory.  My actions and comments do not reflect in any way on MIT.
Schlep
agj @ alum.mit.edu
Go Figure!