2017-06-12T00:11:25Z sleffy joined #scheme 2017-06-12T00:22:46Z Guest quit (Ping timeout: 246 seconds) 2017-06-12T00:31:11Z p9s joined #scheme 2017-06-12T00:36:17Z daviid joined #scheme 2017-06-12T00:37:28Z lambda-11235 joined #scheme 2017-06-12T01:19:19Z pie_ quit (Remote host closed the connection) 2017-06-12T01:19:36Z pie_ joined #scheme 2017-06-12T01:20:53Z pie_ quit (Read error: Connection reset by peer) 2017-06-12T01:21:05Z pie_ joined #scheme 2017-06-12T01:31:23Z takitus joined #scheme 2017-06-12T01:46:56Z pilne quit (Quit: Quitting!) 2017-06-12T01:58:22Z shdeng joined #scheme 2017-06-12T01:59:05Z beekill95 joined #scheme 2017-06-12T02:13:20Z ArneBab joined #scheme 2017-06-12T02:13:20Z ArneBab quit (Changing host) 2017-06-12T02:13:20Z ArneBab joined #scheme 2017-06-12T02:17:20Z ArneBab_ quit (Ping timeout: 246 seconds) 2017-06-12T02:36:22Z owickstrom quit (Remote host closed the connection) 2017-06-12T02:36:52Z owickstrom joined #scheme 2017-06-12T02:37:12Z nckx joined #scheme 2017-06-12T02:56:50Z daviid quit (Ping timeout: 240 seconds) 2017-06-12T03:11:05Z jaziz quit (Ping timeout: 240 seconds) 2017-06-12T03:15:33Z pjb quit (Ping timeout: 255 seconds) 2017-06-12T03:30:50Z jaziz joined #scheme 2017-06-12T03:34:33Z jaziz quit (Read error: Connection reset by peer) 2017-06-12T03:35:24Z pie_ quit (Ping timeout: 260 seconds) 2017-06-12T03:55:53Z beekill95 quit (Remote host closed the connection) 2017-06-12T04:21:40Z pjb joined #scheme 2017-06-12T04:26:29Z jonaslund quit (Ping timeout: 246 seconds) 2017-06-12T04:38:28Z pjb quit (Ping timeout: 240 seconds) 2017-06-12T04:45:01Z jonaslund joined #scheme 2017-06-12T05:01:07Z peterhil quit (Quit: Must not waste too much time here...) 2017-06-12T05:04:23Z lritter joined #scheme 2017-06-12T05:52:09Z foof````` quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2017-06-12T05:52:33Z foof joined #scheme 2017-06-12T05:55:41Z enderby quit (Remote host closed the connection) 2017-06-12T05:55:49Z enderby joined #scheme 2017-06-12T05:58:20Z enderby left #scheme 2017-06-12T06:16:28Z sondr3 quit (Ping timeout: 255 seconds) 2017-06-12T06:18:29Z ertes quit (Ping timeout: 246 seconds) 2017-06-12T06:18:33Z beekill95 joined #scheme 2017-06-12T06:21:58Z igajsin joined #scheme 2017-06-12T06:29:10Z igajsin quit (Ping timeout: 240 seconds) 2017-06-12T06:47:08Z ventonegro joined #scheme 2017-06-12T07:02:40Z lambda-11235 quit (Quit: WeeChat 1.8) 2017-06-12T07:08:35Z sleffy quit (Ping timeout: 240 seconds) 2017-06-12T07:14:44Z sondr3 joined #scheme 2017-06-12T07:29:52Z sondr3 quit (Read error: Connection reset by peer) 2017-06-12T07:31:18Z sondr3 joined #scheme 2017-06-12T08:12:02Z civodul joined #scheme 2017-06-12T08:15:14Z Steverman joined #scheme 2017-06-12T08:16:00Z mejja joined #scheme 2017-06-12T08:24:45Z Steverman quit (Quit: WeeChat 1.8) 2017-06-12T08:25:10Z Steverman joined #scheme 2017-06-12T08:30:08Z greatscottttt joined #scheme 2017-06-12T08:38:47Z vicenteH joined #scheme 2017-06-12T08:52:52Z Guest joined #scheme 2017-06-12T08:57:22Z pie_ joined #scheme 2017-06-12T09:02:04Z qu1j0t3 quit (Ping timeout: 260 seconds) 2017-06-12T09:09:05Z ttvd joined #scheme 2017-06-12T09:09:42Z pie_ quit (Remote host closed the connection) 2017-06-12T09:10:00Z pie_ joined #scheme 2017-06-12T09:10:27Z ttvd: hi, i have a question; if i have multiple expressions at top level, are they treated as if they were within a begin (i.e. result of each is ignored except for the last one?) 2017-06-12T09:31:51Z ttvd quit (Quit: Linkinus - http://linkinus.com) 2017-06-12T09:34:11Z Steverman quit (Ping timeout: 240 seconds) 2017-06-12T09:38:19Z Kkiro quit (Remote host closed the connection) 2017-06-12T09:38:45Z Kkiro joined #scheme 2017-06-12T09:38:45Z Kkiro quit (Changing host) 2017-06-12T09:38:45Z Kkiro joined #scheme 2017-06-12T09:38:52Z Kkiro quit (Remote host closed the connection) 2017-06-12T09:40:28Z Kkiro joined #scheme 2017-06-12T09:40:28Z Kkiro quit (Changing host) 2017-06-12T09:40:28Z Kkiro joined #scheme 2017-06-12T09:40:47Z Kkiro quit (Remote host closed the connection) 2017-06-12T09:45:41Z jonaslund quit (Ping timeout: 240 seconds) 2017-06-12T09:45:54Z Kkiro joined #scheme 2017-06-12T09:45:54Z Kkiro quit (Changing host) 2017-06-12T09:45:54Z Kkiro joined #scheme 2017-06-12T09:53:07Z grublet quit (Quit: Leaving) 2017-06-12T09:58:13Z beekill95 quit (Quit: Leaving) 2017-06-12T10:09:45Z qu1j0t3 joined #scheme 2017-06-12T10:10:47Z jonaslund joined #scheme 2017-06-12T10:16:18Z shdeng quit (Quit: Leaving) 2017-06-12T10:28:52Z leppie quit (Ping timeout: 260 seconds) 2017-06-12T10:32:45Z nanoz joined #scheme 2017-06-12T10:33:18Z leppie joined #scheme 2017-06-12T10:37:00Z wildbartty_ quit (Remote host closed the connection) 2017-06-12T10:37:39Z wildbartty_ joined #scheme 2017-06-12T10:54:13Z p9s quit (Remote host closed the connection) 2017-06-12T10:54:45Z p9s joined #scheme 2017-06-12T10:56:12Z pie_ quit (Remote host closed the connection) 2017-06-12T10:56:30Z pie_ joined #scheme 2017-06-12T10:59:01Z p9s quit (Ping timeout: 255 seconds) 2017-06-12T11:44:03Z _Guest joined #scheme 2017-06-12T11:47:32Z Guest quit (Ping timeout: 255 seconds) 2017-06-12T11:48:21Z micro`_ quit (Ping timeout: 268 seconds) 2017-06-12T12:39:51Z wildbartty__ joined #scheme 2017-06-12T12:42:10Z wildbartty_ quit (Ping timeout: 240 seconds) 2017-06-12T12:57:35Z Riastradh quit (Ping timeout: 240 seconds) 2017-06-12T12:59:28Z kammd joined #scheme 2017-06-12T13:31:37Z edmoore joined #scheme 2017-06-12T13:34:28Z edmoore: hi, just working through sicp to better my troglodyte mechanical engineer usage of computers. On q 2.6, church numerals, i'm not sure I quite understand lambda calculus, but is, for example, ((3 f) x) equivalent to (f (f (f x)))? 2017-06-12T13:35:27Z edmoore: i think the question implies it should be but the idea of 3 as a function whose argument is f seems a bit at odds with applying f three times, or maybe it isn't and I'm just not familiar enough with lambda calculus 2017-06-12T13:36:28Z cromachina_ quit (Read error: Connection reset by peer) 2017-06-12T13:37:41Z Riastradh joined #scheme 2017-06-12T13:44:38Z Riastradh quit (Remote host closed the connection) 2017-06-12T13:48:23Z Steverman joined #scheme 2017-06-12T13:49:01Z BigSchemer joined #scheme 2017-06-12T13:49:11Z BigSchemer: I have a question regarding R7RS, would this be a good place to ask? 2017-06-12T13:49:43Z Riastradh joined #scheme 2017-06-12T13:49:46Z schaeffer: edmoore: well, 3 in your case is a function that takes one argument f, and returns a function with one argument x... 2017-06-12T13:49:58Z schaeffer: edmoore: that stuff can be kind of a brain bender 2017-06-12T13:50:56Z edmoore: it certainly is 2017-06-12T13:51:14Z edmoore: i think I understand what it is doing but it's not really clicked 2017-06-12T13:51:27Z BigSchemer: I'm working on an interpreter (just4fun) and I have a question regarding "7.1.6 Programs and definitions" (formal grammar): The definition (program) --> (import decl)+ | (cmd or def)+ means that an empty program is invalid, correct? 2017-06-12T13:52:36Z schaeffer: edmoore: if zero is (lambda (f) (lambda (x) x)), then what's one? 2017-06-12T13:52:58Z schaeffer: edmoore: it can help (or at least it helped me) to actually evaluate the programs in your head, or on paper 2017-06-12T13:53:02Z schaeffer: expand things out, see what's happening 2017-06-12T13:55:25Z edmoore: I have been but think i have perhaps made a mistake in my workings 2017-06-12T13:56:42Z edmoore: partly it has been trying to eliminate all the nested lambdas that has been causing my problems i think - which is why i'm trying to understand lambda-calc a little better first 2017-06-12T13:57:57Z p9s joined #scheme 2017-06-12T13:59:03Z Riastradh quit (Ping timeout: 258 seconds) 2017-06-12T14:03:40Z edmoore: oh i got it out right that time. thanks schaeffer 2017-06-12T14:03:52Z edmoore: it was just me misapplying the rules on paper 2017-06-12T14:07:33Z dbmikus joined #scheme 2017-06-12T14:08:57Z daviid joined #scheme 2017-06-12T14:12:22Z dbmikus quit (Client Quit) 2017-06-12T14:12:43Z dbmikus joined #scheme 2017-06-12T14:13:12Z dbmikus quit (Client Quit) 2017-06-12T14:14:18Z dbmikus joined #scheme 2017-06-12T14:14:54Z dbmikus quit (Client Quit) 2017-06-12T14:15:16Z dbmikus joined #scheme 2017-06-12T14:16:20Z dbmikus quit (Client Quit) 2017-06-12T14:16:41Z dbmikus joined #scheme 2017-06-12T14:16:59Z dbmikus quit (Client Quit) 2017-06-12T14:17:34Z cemerick joined #scheme 2017-06-12T14:17:51Z dbmikus joined #scheme 2017-06-12T14:19:27Z BigSchemer: I'm working on an interpreter (just4fun) and I have a question regarding "7.1.6 Programs and definitions" (formal grammar): The definition (program) --> (import decl)+ | (cmd or def)+ means that an empty program is invalid, correct? 2017-06-12T14:20:04Z BigSchemer: In R7RS that is 2017-06-12T14:20:23Z noethics: how can a program be empty by definition 2017-06-12T14:20:51Z noethics: it's not a program if it doesn't do anything 2017-06-12T14:20:57Z BigSchemer: On rosetta code the scheme minimal correct program is empty 2017-06-12T14:21:08Z noethics: ic 2017-06-12T14:21:21Z BigSchemer: https://www.rosettacode.org/wiki/Empty_program#Scheme 2017-06-12T14:21:34Z noethics: well if that is verbatim what the spec defines a program to be i'd say an empty one is invalid then 2017-06-12T14:21:47Z noethics: unless cmd or def can be defined to be empty 2017-06-12T14:22:07Z jcowan joined #scheme 2017-06-12T14:23:32Z p9s quit (Remote host closed the connection) 2017-06-12T14:24:09Z p9s joined #scheme 2017-06-12T14:24:31Z Riastradh joined #scheme 2017-06-12T14:24:47Z BigSchemer: Also I don't understand why you need the rule (definition) --> (begin (definition)*) when you already have (cmd or def) --> (cmd) | (def) | (begin (cmd or def)+). The only thing it does is allow (begin) 2017-06-12T14:25:16Z BigSchemer: But then you could just change the rule to (def) --> Empty, removing the duplciate (begin ...) production and allowing an empty program, which is basically what (begin) represents 2017-06-12T14:26:15Z BigSchemer: Too bad the IEEE standards cost so damn much, would ne interesting to see how they specified things 2017-06-12T14:26:16Z dbmikus quit (Quit: WeeChat 1.8) 2017-06-12T14:26:50Z pie_: try libgen 2017-06-12T14:28:11Z p9s quit (Ping timeout: 240 seconds) 2017-06-12T14:49:42Z BigSchemer quit (Quit: Page closed) 2017-06-12T14:50:46Z jmd joined #scheme 2017-06-12T15:12:42Z nanoz quit (Quit: <3) 2017-06-12T15:19:43Z DKordic: pie_: What is `libgen'? 2017-06-12T15:20:18Z pie_: ;) 2017-06-12T15:21:23Z Riastradh: DKordic: https://libgen.pw 2017-06-12T15:21:40Z DKordic: Thank You. 2017-06-12T15:21:45Z Riastradh: Similar resource: https://sci-hub.cc 2017-06-12T15:22:42Z pie_: i prefer gen.lib.rus.ec because it links mirrors 2017-06-12T15:24:13Z Riastradh: These are public repositories of scientific knowledge resisting the copyright thugs that aim to profit from restricting it to the rich universities. They may contain IEEE standards too, not sure. 2017-06-12T15:25:03Z sssilver joined #scheme 2017-06-12T15:27:33Z brendyn quit (Ping timeout: 260 seconds) 2017-06-12T15:29:23Z ventonegro quit (Quit: rcirc on GNU Emacs 25.1.1) 2017-06-12T15:31:49Z jonaslund quit (Ping timeout: 258 seconds) 2017-06-12T15:37:02Z leppie quit (Ping timeout: 255 seconds) 2017-06-12T15:41:17Z leppie joined #scheme 2017-06-12T15:48:00Z jmd quit (Remote host closed the connection) 2017-06-12T15:48:05Z leppie quit (Ping timeout: 240 seconds) 2017-06-12T15:48:53Z jcowan quit (Read error: Connection reset by peer) 2017-06-12T15:49:28Z daviid quit (Ping timeout: 268 seconds) 2017-06-12T15:52:20Z leppie joined #scheme 2017-06-12T15:56:55Z leppie quit (Ping timeout: 255 seconds) 2017-06-12T15:57:44Z zeroish` joined #scheme 2017-06-12T16:01:11Z leppie joined #scheme 2017-06-12T16:06:03Z leppie quit (Ping timeout: 260 seconds) 2017-06-12T16:06:26Z alezost joined #scheme 2017-06-12T16:09:56Z badkins joined #scheme 2017-06-12T16:09:59Z leppie joined #scheme 2017-06-12T16:12:39Z civodul quit (Quit: ERC (IRC client for Emacs 25.2.1)) 2017-06-12T16:14:27Z greatscottttt quit (Quit: WeeChat 1.5) 2017-06-12T16:18:35Z micro`_ joined #scheme 2017-06-12T16:19:05Z leppie quit (Ping timeout: 240 seconds) 2017-06-12T16:23:14Z leppie joined #scheme 2017-06-12T16:25:12Z pilne joined #scheme 2017-06-12T16:29:05Z micro`_ is now known as micro` 2017-06-12T16:29:50Z leppie quit (Ping timeout: 240 seconds) 2017-06-12T16:34:07Z leppie joined #scheme 2017-06-12T16:38:31Z leppie quit (Ping timeout: 258 seconds) 2017-06-12T16:43:24Z leppie joined #scheme 2017-06-12T16:43:56Z drot quit (Quit: Quit.) 2017-06-12T16:45:35Z drot joined #scheme 2017-06-12T16:50:25Z thawes joined #scheme 2017-06-12T16:55:03Z thawes quit (Remote host closed the connection) 2017-06-12T16:55:27Z pjb joined #scheme 2017-06-12T16:56:01Z thawes joined #scheme 2017-06-12T17:00:21Z alezost quit (Quit: I live in GuixSD and Emacs ) 2017-06-12T17:15:11Z emacsomancer quit (Ping timeout: 268 seconds) 2017-06-12T17:35:50Z vicenteH quit (Ping timeout: 240 seconds) 2017-06-12T17:39:14Z turbofail joined #scheme 2017-06-12T17:48:09Z sleffy joined #scheme 2017-06-12T17:55:00Z mejja quit (Ping timeout: 260 seconds) 2017-06-12T17:58:30Z lritter quit (Ping timeout: 240 seconds) 2017-06-12T18:07:18Z daviid joined #scheme 2017-06-12T18:31:17Z sssilver quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-06-12T18:32:48Z sssilver joined #scheme 2017-06-12T18:39:40Z igajsin joined #scheme 2017-06-12T18:45:37Z gravicappa joined #scheme 2017-06-12T18:46:18Z jonaslund joined #scheme 2017-06-12T18:48:21Z jmd joined #scheme 2017-06-12T18:53:46Z sssilver quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-06-12T18:54:17Z jshjsh joined #scheme 2017-06-12T18:57:50Z JoshS quit (Ping timeout: 240 seconds) 2017-06-12T18:58:19Z sssilver joined #scheme 2017-06-12T18:58:31Z kammd quit (Quit: Connection closed for inactivity) 2017-06-12T19:05:57Z alezost joined #scheme 2017-06-12T19:09:09Z Fox2 joined #scheme 2017-06-12T19:26:11Z Guest24 joined #scheme 2017-06-12T19:29:51Z ertes joined #scheme 2017-06-12T19:47:07Z igajsin quit (Ping timeout: 258 seconds) 2017-06-12T19:50:16Z civodul joined #scheme 2017-06-12T19:55:55Z alezost quit (Ping timeout: 255 seconds) 2017-06-12T20:02:18Z _Guest quit (Ping timeout: 260 seconds) 2017-06-12T20:02:21Z igajsin joined #scheme 2017-06-12T20:02:28Z Guest joined #scheme 2017-06-12T20:03:42Z vicenteH joined #scheme 2017-06-12T20:08:40Z pie_ quit (Changing host) 2017-06-12T20:08:40Z pie_ joined #scheme 2017-06-12T20:11:51Z Fox2 quit (Quit: Konversation terminated!) 2017-06-12T20:12:38Z jmd quit (Remote host closed the connection) 2017-06-12T20:20:51Z jao joined #scheme 2017-06-12T20:23:38Z muelleme joined #scheme 2017-06-12T20:28:07Z torbo joined #scheme 2017-06-12T20:34:52Z torbo left #scheme 2017-06-12T20:34:58Z muelleme quit (Ping timeout: 260 seconds) 2017-06-12T20:35:14Z jcowan joined #scheme 2017-06-12T20:35:23Z jao quit (Disconnected by services) 2017-06-12T20:35:58Z jao joined #scheme 2017-06-12T20:36:12Z thawes quit (Remote host closed the connection) 2017-06-12T20:41:34Z Fox2 joined #scheme 2017-06-12T20:43:56Z JoshS joined #scheme 2017-06-12T20:46:28Z jshjsh quit (Ping timeout: 240 seconds) 2017-06-12T20:46:37Z Fox2 quit (Quit: Konversation terminated!) 2017-06-12T20:57:42Z pie_ quit (Remote host closed the connection) 2017-06-12T20:58:00Z pie_ joined #scheme 2017-06-12T21:18:34Z notbarton joined #scheme 2017-06-12T21:28:38Z pie_ quit (Ping timeout: 260 seconds) 2017-06-12T21:30:21Z joaj joined #scheme 2017-06-12T21:31:50Z pie_ joined #scheme 2017-06-12T21:33:30Z civodul quit (Quit: ERC (IRC client for Emacs 25.2.1)) 2017-06-12T21:34:05Z gravicappa quit (Ping timeout: 246 seconds) 2017-06-12T21:35:49Z Guest24 quit (Quit: My MacBook Air has gone to sleep. ZZZzzz…) 2017-06-12T21:40:46Z mejja joined #scheme 2017-06-12T21:44:00Z wildbartty__ quit (Remote host closed the connection) 2017-06-12T21:47:39Z wildbartty joined #scheme 2017-06-12T21:58:28Z daviid quit (Ping timeout: 246 seconds) 2017-06-12T21:59:30Z joaj quit (Ping timeout: 240 seconds) 2017-06-12T22:02:49Z igajsin quit (Ping timeout: 255 seconds) 2017-06-12T22:04:40Z Riastradh quit (Ping timeout: 260 seconds) 2017-06-12T22:11:40Z joaj joined #scheme 2017-06-12T22:13:40Z Steverman quit (Ping timeout: 240 seconds) 2017-06-12T22:34:46Z brendyn joined #scheme 2017-06-12T22:38:24Z Steverman joined #scheme 2017-06-12T22:56:49Z Steverman quit (Ping timeout: 255 seconds) 2017-06-12T22:59:49Z sssilver quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-06-12T23:22:50Z wildbartty_ joined #scheme 2017-06-12T23:25:02Z wildbartty quit (Ping timeout: 246 seconds) 2017-06-12T23:26:10Z jcowan quit (Ping timeout: 240 seconds) 2017-06-12T23:26:42Z mejja quit (Quit: \ No newline at end of file) 2017-06-12T23:30:33Z grublet joined #scheme 2017-06-12T23:37:01Z jonaslund quit (Remote host closed the connection) 2017-06-12T23:45:56Z turbofail quit (Ping timeout: 260 seconds) 2017-06-12T23:47:37Z lambda-11235 joined #scheme 2017-06-12T23:52:22Z joaj quit (Quit: WeeChat 1.8)