This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Source for wiki MandatoryDocket version 7

author

cowan

comment

ipnr

127.11.51.1

name

MandatoryDocket

readonly

text

These are things to consider making mandatory in the large language that are optional in the small language or in SRFIs that form part of the large language.  See [wiki:WG2Dockets] for other dockets.

Full numeric tower support:  arbitrary rationals and inexact complex numbers

Forbid mutation of literals

Exact complex numbers: not required

Ephemeron-based hash tables

IEEE 64-bit binary inexact numbers

Multiple precisions

Safety

Return exact results on exact arguments whenever possible (e.g. `(sqrt 4)`)

Full Unicode support:
 * all Unicode characters as characters
 * all Unicode characters except perhaps U+0000 in strings
 * all allowed Unicode characters in identifiers

Unicode identifiers

Fixnums must be at least 24 bits signed

Signal an error on all ItIsAnError situations

Provide all R7RS-small libraries:

 * case-lambda
 * cxr
 * eval
 * file
 * inexact
 * lazy
 * load
 * process-context
 * read
 * repl
 * time
 * write

Raise exceptions on all errors

Forcing a non-promise returns the object

Implicit forcing of promises by primitives

Require Unicodely-correct (but not AI-correct) downcasing of Σ.

Support multiple inexact-number precisions

Input/output ports

time

2016-07-16 22:02:46