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 ticket #348

cc

changetime

2012-10-09 21:54:14

component

WG1 - Core

description

Page 23 [of draft 6], section 5.1: "program parts other than expressions that are present at the top level of a program can be interpreted declaratively" -- what does it mean for program parts to be "interpreted declaratively"? What's the difference between this, and expressions, which are "interpreted imperatively"?

Further on page 24 (section 5.2.1) it is said that "at the top level of a program, a definition [...] has essentially the same effect as the assignment expression", which further increases my confusion about what is "declarative" and what is not.

id

keywords

milestone

owner

cowan

priority

major

reporter

cowan

resolution

fixed

severity

status

closed

summary

Editorial: "Declarative" and "imperative" need explanation

time

2012-02-23 07:02:29

type

defect

Changes

Change at time 2012-10-09 21:54:14

author

cowan

field

comment

newvalue

oldvalue

raw-time

1349794454167039

ticket

time

2012-10-09 21:54:14

Change at time 2012-10-09 21:54:14

author

cowan

field

resolution

newvalue

fixed

oldvalue

raw-time

1349794454167039

ticket

time

2012-10-09 21:54:14

Change at time 2012-10-09 21:54:14

author

cowan

field

status

newvalue

closed

oldvalue

writing

raw-time

1349794454167039

ticket

time

2012-10-09 21:54:14

Change at time 2012-06-21 11:35:44

author

cowan

field

comment

newvalue

These terms aren't used anywhere else and don't add anything much here, so I ditched them.  The text now reads:


Program parts other than expressions that are present at the top level of the problems
cause bindings to be created in the top level environment or modify the value of existing top-level bindings.  The initial (or "top level") Scheme environment is empty except for {\cf import}, so further bindings can only be introduced with {\cf import}.

Expressions occurring at the top level of a program are executed in order when the program is invoked or loaded, and typically perform some kind of initialization.

oldvalue

raw-time

1340253344606053

ticket

time

2012-06-21 11:35:44

Change at time 2012-06-21 11:35:44

author

cowan

field

owner

newvalue

cowan

oldvalue

alexshinn

raw-time

1340253344606053

ticket

time

2012-06-21 11:35:44

Change at time 2012-06-21 11:35:44

author

cowan

field

status

newvalue

writing

oldvalue

decided

raw-time

1340253344606053

ticket

time

2012-06-21 11:35:44

Change at time 2012-02-23 14:52:49

author

cowan

field

comment

newvalue

oldvalue

raw-time

1329979969355457

ticket

time

2012-02-23 14:52:49

Change at time 2012-02-23 14:52:49

author

cowan

field

status

newvalue

decided

oldvalue

new

raw-time

1329979969355457

ticket

time

2012-02-23 14:52:49