Re: [racket] missing solution 20.1.1 ex:sem-funcs

2014-09-15 Thread Matthias Felleisen
Good. On Sep 15, 2014, at 9:20 AM, Daniel Bastos wrote: > On Fri, Sep 12, 2014 at 6:43 PM, > Matthias Felleisen wrote: > > > On Sep 12, 2014, at 4:40 PM, Daniel Bastos wrote: > > > Again, we start with (2) and apply a series of substitutions. > > > > (f f) > > = ( ) ;; since f is

Re: [racket] missing solution 20.1.1 ex:sem-funcs

2014-09-15 Thread Daniel Bastos
On Fri, Sep 12, 2014 at 6:43 PM, Matthias Felleisen wrote: > On Sep 12, 2014, at 4:40 PM, Daniel Bastos wrote: > > > Again, we start with (2) and apply a series of substitutions. > > > > (f f) > > = ( ) ;; since f is a > > = ( ) ;; since is a subset of > > > > However, ( ) is not by

Re: [racket] missing solution 20.1.1 ex:sem-funcs

2014-09-12 Thread Matthias Felleisen
On Sep 12, 2014, at 4:40 PM, Daniel Bastos wrote: > Again, we start with (2) and apply a series of substitutions. > > (f f) > = ( ) ;; since f is a > = ( ) ;; since is a subset of > > However, ( ) is not by definition a value. It is an > expression which may or may not /have/ a val

Re: [racket] missing solution 20.1.1 ex:sem-funcs

2014-09-12 Thread Daniel Bastos
On Mon, Sep 8, 2014 at 9:51 PM, Matthias Felleisen wrote: On Sep 2, 2014, at 11:45 AM, Daniel Bastos wrote: > > > A candidate for a solution. > > > > Exercise 20.1.1. Assume the Definitions window in DrScheme contains > > (define (f x) x). Identify the values among the following expressions: > >

Re: [racket] missing solution 20.1.1 ex:sem-funcs

2014-09-08 Thread Matthias Felleisen
On Sep 2, 2014, at 11:45 AM, Daniel Bastos wrote: > A candidate for a solution. > > Exercise 20.1.1. Assume the Definitions window in DrScheme contains > (define (f x) x). Identify the values among the following expressions: > > (1) (cons f empty) > (2) (f f) > (3) (cons f (cons 10 (cons (f 10)

[racket] missing solution 20.1.1 ex:sem-funcs

2014-09-02 Thread Daniel Bastos
A candidate for a solution. Exercise 20.1.1. Assume the Definitions window in DrScheme contains (define (f x) x). Identify the values among the following expressions: (1) (cons f empty) (2) (f f) (3) (cons f (cons 10 (cons (f 10) empty))) Explain why they are values and why the remaining express