11.34 srfi.172 - Two safer subsets of R7RS ¶

Module: srfi.172 ¶

Module: srfi.172.functional ¶

This module exports a subset of R7RS-small bindings that can be used relatively safely in the quasi-sandbox environment. To realize a true sandbox, the runtime needs more measures such as preventing resource hogging and the data structure that allows loopholes from being passed to those procedures. However, this module can be a good starting point.

The submodule srfi.172.functional further resricts exported bindings to side-effect free ones.

The bindings exported by srfi.172 are as follows:

- * / + < <= = => > >= abs acos and angle append apply asin assoc assq
assv atan begin boolean? boolean=? bytevector bytevector?
bytevector-append bytevector-copy bytevector-copy!
bytevector-length bytevector-u8-ref bytevector-u8-set! caaaar
caaadr caaar caadar caaddr caadr caar cadaar cadadr cadar caddar
cadddr caddr cadr call/cc call-with-current-continuation
call-with-port call-with-values car case case-lambda cdaaar cdaadr
cdaar cdadar cdaddr cdadr cdar cddaar cddadr cddar cdddar cddddr
cdddr cddr cdr ceiling char? char<? char<=? char=? char>? char>=?
char->integer char-alphabetic? char-ci<? char-ci<=? char-ci=?
char-ci>? char-ci>=? char-downcase char-foldcase char-lower-case?
char-numeric? char-upcase char-upper-case? char-whitespace?
close-input-port close-output-port close-port complex? cond
cond-expand cons cos delay delay-force denominator digit-value do
dynamic-wind else eof-object eof-object? eq? equal? eqv? error
error-object? error-object-irritants error-object-message even?
exact exact? exact-integer? exact-integer-sqrt exp expt finite?
floor floor/ floor-quotient floor-remainder force for-each gcd
get-output-bytevector get-output-string guard if imag-part inexact
inexact? infinite? input-port? integer? integer->char lambda lcm
length let let* let*-values letrec letrec* let-values list list?
list->string list->vector list-copy list-ref list-set! list-tail
log magnitude make-bytevector make-list make-parameter make-polar
make-promise make-rectangular make-string make-vector map max
member memq memv min modulo nan? negative? newline not null?
number? number->string numerator odd? open-input-bytevector
open-input-string open-output-bytevector open-output-string or
output-port? pair? peek-char peek-u8 parameterize port? positive?
procedure? promise? quasiquote quote quotient raise
raise-continuable rational? rationalize read-bytevector
read-bytevector! read-char read-error? read-line read-string
read-u8 real? real-part remainder reverse round set! set-car!
set-cdr! sin sqrt square string string? string<? string<=?
string=? string>? string>=? string->list string->number
string->utf8 string->vector string-append string-ci<? string-ci<=?
string-ci=? string-ci>? string-ci>=? string-copy string-copy!
string-downcase string-fill! string-foldcase string-for-each
string-length string-map string-ref string-set! string-upcase
substring symbol? symbol=? symbol->string tan textual-port?
truncate truncate/ truncate-quotient truncate-remainder unless
unquote unquote-splicing utf8->string values vector vector?
vector->list vector->string vector-append vector-copy vector-copy!
vector-fill! vector-for-each vector-length vector-map vector-ref
vector-set! when with-exception-handler write-bytevector
write-char write-string write-u8 zero?

The module srfi.172.functional exports the above bindings except for:

• set!
• Procedures whose names end with !: bytevector-copy!, bytevector-u8-set!, list-set!, read-bytevector!, set-car!, set-cdr!, string-copy!, string-fill!, string-set!, vector-copy!, vector-fill!, vector-set!
• Procedures whose names contain port: call-with-port, close-input-port, close-output-port, close-port, input-port?, output-port?, port?, textual-port?
• Procedures whose names begin with read: read-bytevector, read-bytevector!, read-char, read-error?, read-line, read-string, read-u8
• Procedures whose names begin with peek: peek-char, peek-u8
• Procedures whose names begin with write: write-bytevector, write-char, write-string, write-u8