SICP – cap. 2 – cosa s’intende per dati? – esercizi – 7

mib1

Continuando da qui oggi qui.

Exercise 2.4: Here is an alternative procedural representation of pairs. For this representation, verify that (car (cons x y)) yields x for any objects x and y.

(define (cons x y) 
  (lambda (m) (m x y)))

(define (car z) 
  (z (lambda (p q) p)))

s150

What is the corresponding definition of cdr? (Hint: To verify that this works, make use of the substitution model of 1.1.5.)

s151

Uhmmm… non ho seguito il suggerimento, anzi manco ci metto il link.
Meglio vedere i nerds di riferimento 😊
Bill the Lizard al solito spiega tutto bene.
sicp-ex è più sintetico ma OK.
Spaceman Aki mi ha precopiato.

Oggi era molto facile 😜 non è che i prof mi stanno tramando chissà cosa 👿 — OK, paranoia mode off 😄

:mrgreen:

Annunci
Post a comment or leave a trackback: Trackback URL.

Trackbacks

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger hanno fatto clic su Mi Piace per questo: