2015-12-20T00:12:15Z mmos quit (Ping timeout: 240 seconds) 2015-12-20T00:13:10Z m1dnight1 joined #scheme 2015-12-20T00:14:14Z m1dnight_ quit (Ping timeout: 256 seconds) 2015-12-20T00:14:20Z m1dnight1 is now known as m1dnight_ 2015-12-20T00:20:50Z Beluki joined #scheme 2015-12-20T00:29:46Z daviid joined #scheme 2015-12-20T00:36:55Z joneshf-laptop quit (Remote host closed the connection) 2015-12-20T00:36:57Z jsgrant_ joined #scheme 2015-12-20T00:37:25Z joneshf-laptop joined #scheme 2015-12-20T00:39:40Z jsgrant quit (Ping timeout: 272 seconds) 2015-12-20T00:51:51Z emacsomancer joined #scheme 2015-12-20T01:04:11Z Beluki quit (Quit: Beluki) 2015-12-20T01:08:50Z neoncont_ quit (Remote host closed the connection) 2015-12-20T01:11:57Z emacsomancer quit (Remote host closed the connection) 2015-12-20T01:39:16Z emacsomancer joined #scheme 2015-12-20T01:49:16Z neoncontrails joined #scheme 2015-12-20T02:01:05Z emacsomancer quit (Ping timeout: 260 seconds) 2015-12-20T02:08:33Z bb010g quit (Quit: Connection closed for inactivity) 2015-12-20T02:10:03Z cemerick joined #scheme 2015-12-20T02:20:09Z aap_ joined #scheme 2015-12-20T02:21:33Z aap quit (Read error: No route to host) 2015-12-20T02:34:37Z nanoz joined #scheme 2015-12-20T02:35:46Z cemerick quit (Ping timeout: 240 seconds) 2015-12-20T02:55:23Z emma is now known as ernrna 2015-12-20T02:56:31Z davexunit joined #scheme 2015-12-20T02:56:42Z ernrna is now known as emma 2015-12-20T03:02:02Z daviid quit (Ping timeout: 246 seconds) 2015-12-20T03:05:35Z stepnem quit (Ping timeout: 240 seconds) 2015-12-20T03:05:39Z nilg joined #scheme 2015-12-20T03:07:23Z lockdown joined #scheme 2015-12-20T03:08:53Z nowhereman quit (Read error: Connection reset by peer) 2015-12-20T03:13:49Z wildlander quit (Quit: Saliendo) 2015-12-20T03:17:47Z nowhere_man joined #scheme 2015-12-20T03:27:38Z turtleman_ quit (Quit: Leaving) 2015-12-20T03:28:17Z tristero quit (Quit: tristero) 2015-12-20T03:32:52Z neoncontrails quit (Remote host closed the connection) 2015-12-20T03:33:07Z lockdown quit (Remote host closed the connection) 2015-12-20T03:45:15Z davexunit quit (Quit: Later) 2015-12-20T03:46:10Z ArneBab_ joined #scheme 2015-12-20T03:48:55Z ArneBab quit (Ping timeout: 240 seconds) 2015-12-20T04:22:08Z nanoz] joined #scheme 2015-12-20T04:24:46Z nanoz quit (Ping timeout: 240 seconds) 2015-12-20T04:35:13Z nilg quit (Remote host closed the connection) 2015-12-20T05:05:25Z badkins_ quit (Remote host closed the connection) 2015-12-20T05:13:50Z neoncontrails joined #scheme 2015-12-20T05:26:32Z Niac joined #scheme 2015-12-20T05:39:11Z Niac quit (Remote host closed the connection) 2015-12-20T05:39:27Z Niac joined #scheme 2015-12-20T06:30:35Z pilne quit (Quit: Quitting) 2015-12-20T07:01:45Z leb joined #scheme 2015-12-20T07:08:27Z Menche joined #scheme 2015-12-20T07:15:24Z neoncontrails quit (Remote host closed the connection) 2015-12-20T07:24:24Z Mokuso joined #scheme 2015-12-20T07:25:16Z nanoz] quit (Quit: <3) 2015-12-20T07:44:21Z leb quit (Quit: Computer has gone to sleep.) 2015-12-20T07:58:58Z lambda-11235 quit (Quit: Have to write some Scheme) 2015-12-20T08:03:08Z leb joined #scheme 2015-12-20T08:06:15Z psy_ quit (Ping timeout: 240 seconds) 2015-12-20T08:14:50Z lritter joined #scheme 2015-12-20T08:19:08Z leb quit (Quit: Computer has gone to sleep.) 2015-12-20T08:28:46Z aap_ is now known as aap 2015-12-20T08:33:12Z nilg joined #scheme 2015-12-20T08:56:47Z neoncontrails joined #scheme 2015-12-20T09:01:40Z neoncontrails quit (Ping timeout: 265 seconds) 2015-12-20T09:03:45Z mmos joined #scheme 2015-12-20T09:37:17Z pierpa joined #scheme 2015-12-20T09:52:07Z Steverman joined #scheme 2015-12-20T10:03:02Z nilg quit (Read error: Connection reset by peer) 2015-12-20T10:14:05Z lolisa joined #scheme 2015-12-20T10:18:15Z stepnem joined #scheme 2015-12-20T10:38:35Z lolisa quit (Quit: meow) 2015-12-20T11:01:40Z Jonsky joined #scheme 2015-12-20T11:02:01Z Jonsky: Quesion: I defined a function simply output the value of x. (define (out-x) x) 2015-12-20T11:02:21Z Jonsky: Then I tried to call the function in (let ((x 100)) (out-x)) 2015-12-20T11:02:25Z Jonsky: But it doesn't work. 2015-12-20T11:02:52Z Jonsky: I was expecting to see 100, but instead it gives me the old value of x I defined before. 2015-12-20T11:16:03Z neoncontrails joined #scheme 2015-12-20T11:18:56Z Jonsky quit (Ping timeout: 265 seconds) 2015-12-20T11:20:35Z neoncontrails quit (Ping timeout: 240 seconds) 2015-12-20T11:22:47Z fizzie: The Lexical Scoping Man strikes again. 2015-12-20T11:26:31Z Jonsky joined #scheme 2015-12-20T11:33:02Z Jonsky quit (Ping timeout: 246 seconds) 2015-12-20T11:35:19Z Mokuso quit (Quit: EOF) 2015-12-20T11:49:27Z Jonsky joined #scheme 2015-12-20T12:09:42Z Razz quit (Quit: leaving) 2015-12-20T12:11:10Z sz0 joined #scheme 2015-12-20T12:26:11Z turtleman_ joined #scheme 2015-12-20T12:35:26Z raindev joined #scheme 2015-12-20T13:02:24Z tim__ joined #scheme 2015-12-20T13:02:47Z tim__ is now known as Guest17330 2015-12-20T13:03:06Z Guest17330 is now known as Razz 2015-12-20T13:14:51Z Beluki joined #scheme 2015-12-20T13:18:11Z ohama quit (Ping timeout: 276 seconds) 2015-12-20T13:23:09Z gravicappa joined #scheme 2015-12-20T13:28:06Z Jonsky quit (Ping timeout: 240 seconds) 2015-12-20T13:30:50Z davexunit joined #scheme 2015-12-20T14:09:05Z Razz quit (Remote host closed the connection) 2015-12-20T14:18:36Z ohama joined #scheme 2015-12-20T14:36:17Z seg quit (Quit: kuwabara kuwabara) 2015-12-20T14:37:11Z seg joined #scheme 2015-12-20T14:48:39Z oleo quit (Remote host closed the connection) 2015-12-20T14:51:38Z Niac quit (Read error: Connection reset by peer) 2015-12-20T14:53:09Z oleo joined #scheme 2015-12-20T14:53:09Z oleo quit (Changing host) 2015-12-20T14:53:10Z oleo joined #scheme 2015-12-20T15:00:14Z jcowan joined #scheme 2015-12-20T15:05:37Z raindev quit (Ping timeout: 265 seconds) 2015-12-20T15:20:03Z jsgrant_ quit (Read error: Connection reset by peer) 2015-12-20T15:20:13Z jcowan quit (Read error: Connection reset by peer) 2015-12-20T15:22:33Z Beluki quit (Quit: Beluki) 2015-12-20T15:31:34Z cemerick joined #scheme 2015-12-20T15:32:55Z physixer joined #scheme 2015-12-20T15:33:37Z raindev joined #scheme 2015-12-20T15:39:31Z raindev quit (Remote host closed the connection) 2015-12-20T15:45:15Z cemerick quit (Ping timeout: 265 seconds) 2015-12-20T15:49:02Z nanoz joined #scheme 2015-12-20T15:49:38Z daviid joined #scheme 2015-12-20T16:22:49Z niklasl4 quit (Quit: Nettalk6 - www.ntalk.de) 2015-12-20T16:28:03Z niklasl4 joined #scheme 2015-12-20T16:38:51Z pilne joined #scheme 2015-12-20T16:46:52Z m1dnight_ quit (Quit: WeeChat 1.4-dev) 2015-12-20T17:01:11Z niklasl4 quit (Quit: Nettalk6 - www.ntalk.de) 2015-12-20T17:02:30Z niklasl4 joined #scheme 2015-12-20T17:08:24Z m1dnight_ joined #scheme 2015-12-20T17:13:34Z lambda-11235 joined #scheme 2015-12-20T17:21:59Z davexunit quit (Remote host closed the connection) 2015-12-20T17:22:15Z davexunit joined #scheme 2015-12-20T17:34:05Z Beluki joined #scheme 2015-12-20T17:39:41Z neoncontrails joined #scheme 2015-12-20T17:41:46Z daviid quit (Ping timeout: 240 seconds) 2015-12-20T18:39:45Z davexunit quit (Quit: Later) 2015-12-20T18:39:55Z civodul joined #scheme 2015-12-20T18:42:37Z davexunit joined #scheme 2015-12-20T18:44:40Z vectorman68 joined #scheme 2015-12-20T19:00:49Z leb joined #scheme 2015-12-20T19:28:35Z wildlander joined #scheme 2015-12-20T19:28:35Z wildlander quit (Max SendQ exceeded) 2015-12-20T19:29:07Z wildlander joined #scheme 2015-12-20T19:29:07Z wildlander quit (Max SendQ exceeded) 2015-12-20T19:29:41Z wildlander joined #scheme 2015-12-20T19:32:07Z neoncontrails quit (Remote host closed the connection) 2015-12-20T19:33:26Z neoncontrails joined #scheme 2015-12-20T19:34:38Z nanoz quit (Ping timeout: 246 seconds) 2015-12-20T19:50:24Z gravicappa quit (Remote host closed the connection) 2015-12-20T20:01:47Z rotty quit (Quit: WeeChat 1.4-dev) 2015-12-20T20:02:16Z physixer quit (Quit: leaving) 2015-12-20T20:29:35Z Beluki quit (Quit: Beluki) 2015-12-20T20:31:58Z Beluki joined #scheme 2015-12-20T20:48:02Z pera joined #scheme 2015-12-20T20:48:19Z pera quit (Client Quit) 2015-12-20T20:51:19Z pera joined #scheme 2015-12-20T20:56:39Z lritter quit (Quit: Leaving) 2015-12-20T21:21:41Z leb quit (Quit: Computer has gone to sleep.) 2015-12-20T21:35:35Z neoncontrails quit (Ping timeout: 240 seconds) 2015-12-20T21:39:04Z mrowe_away is now known as mrowe 2015-12-20T21:50:35Z mmos quit (Ping timeout: 240 seconds) 2015-12-20T22:02:54Z lambda-11235 quit (Quit: Have to write some Scheme) 2015-12-20T22:03:13Z lambda-11235 joined #scheme 2015-12-20T22:05:50Z nilg joined #scheme 2015-12-20T22:07:06Z Riastradh joined #scheme 2015-12-20T22:10:42Z lambda-11235 quit (Quit: Have to write some Scheme) 2015-12-20T22:10:58Z lambda-11235 joined #scheme 2015-12-20T22:14:08Z lambda-11235 quit (Client Quit) 2015-12-20T22:20:19Z lambda-11235 joined #scheme 2015-12-20T22:21:59Z Guest17535 joined #scheme 2015-12-20T22:24:22Z lambda-11235 quit (Client Quit) 2015-12-20T22:24:42Z lambda-11235 joined #scheme 2015-12-20T22:26:26Z lambda-11235 quit (Client Quit) 2015-12-20T22:27:15Z lambda-11235 joined #scheme 2015-12-20T22:31:37Z badkins joined #scheme 2015-12-20T22:32:44Z ec is now known as vv 2015-12-20T22:32:53Z vv is now known as ELLIOTTCABLE 2015-12-20T22:43:55Z ELLIOTTCABLE is now known as }vv{ 2015-12-20T22:44:20Z }vv{ is now known as ELLIOTTCABLE 2015-12-20T22:50:55Z dmiles_afk quit (Ping timeout: 260 seconds) 2015-12-20T22:52:50Z leb joined #scheme 2015-12-20T22:55:16Z leb quit (Client Quit) 2015-12-20T22:57:03Z davexunit quit (Quit: Later) 2015-12-20T23:00:16Z Guest17535 is now known as Fare 2015-12-20T23:01:30Z john joined #scheme 2015-12-20T23:02:09Z john is now known as Guest20297 2015-12-20T23:05:55Z Beluki quit (Quit: Beluki) 2015-12-20T23:06:07Z Mokuso joined #scheme 2015-12-20T23:06:34Z lambda-11235 quit (Quit: Leaving) 2015-12-20T23:08:44Z oleo_ joined #scheme 2015-12-20T23:09:29Z nilg quit (Remote host closed the connection) 2015-12-20T23:10:04Z ddp joined #scheme 2015-12-20T23:11:46Z Guest20297: hello I'm doing sicp..I'm not a programmer. please look at this post where the question is included. thanks. http://pastie.org/10644241 2015-12-20T23:11:51Z oleo quit (Ping timeout: 265 seconds) 2015-12-20T23:15:35Z Guest20297: n_blownapart ^^ 2015-12-20T23:16:17Z n_blownapart joined #scheme 2015-12-20T23:17:06Z n_blownapart: sorry reposting after freenode identification. : hello I'm doing sicp..I'm not a programmer. please look at this post where the question is included. thanks. http://pastie.org/10644241 2015-12-20T23:18:36Z civodul quit (Quit: ERC (IRC client for Emacs 24.5.1)) 2015-12-20T23:29:16Z n_blownapart: ^ what I don't understand is why is (p) ever evaluated in either the applicative or normal-order interpreter, since the predicate resolves to #t. 2015-12-20T23:30:26Z Mokuso quit (Ping timeout: 255 seconds) 2015-12-20T23:31:49Z n_blownapart: I suppose I shouldn't go on while missing this important point. 2015-12-20T23:34:47Z ddp quit (Quit: ddp) 2015-12-20T23:34:59Z ddp joined #scheme 2015-12-20T23:37:31Z pierpa: what do you mean with "the predicate resolves to #t" 2015-12-20T23:38:35Z pierpa: in the applicative evaluator (p) is evaluated always 2015-12-20T23:38:37Z n_blownapart: pierpa predicate being (= x (p)) thanks for responding 2015-12-20T23:38:55Z n_blownapart: sorry hold on pierpa 2015-12-20T23:40:46Z n_blownapart: (if (= x 0) resolves to true .. it's a boolean, therefore the predicate in this case 2015-12-20T23:41:18Z n_blownapart: its a term used by the book. 2015-12-20T23:41:48Z pierpa: what does (p) evaluates to? is this what you expect? 2015-12-20T23:42:25Z n_blownapart: pierpa, if I may paste a blog posting re: this exercise. one moment please 2015-12-20T23:43:02Z pierpa: no need 2015-12-20T23:43:38Z pierpa: is it clear to you what evaluating (p) does? 2015-12-20T23:44:35Z n_blownapart: I don't understand how (p) is ever reached regardless of the interpreter paradigm . http://pastie.org/10644293 2015-12-20T23:47:21Z Mokuso joined #scheme 2015-12-20T23:47:42Z n_blownapart: in other words, in either case, in my mind the boolean expression returning #t would result in (p) not being evaluated at all. pierpa 2015-12-20T23:57:26Z Steverman quit (Ping timeout: 255 seconds)