2015-04-12T00:10:59Z okraOkra joined #scheme 2015-04-12T00:11:06Z okraOkra left #scheme 2015-04-12T00:27:57Z visualshock joined #scheme 2015-04-12T00:32:01Z araujo quit (Quit: Leaving) 2015-04-12T00:35:52Z jumblerg joined #scheme 2015-04-12T00:46:32Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-12T00:51:22Z arrubin joined #scheme 2015-04-12T01:06:39Z jumblerg joined #scheme 2015-04-12T01:12:45Z visualshock quit (Quit: Leaving) 2015-04-12T01:36:01Z ilammy quit (Ping timeout: 246 seconds) 2015-04-12T01:36:52Z bjz quit (Quit: Textual IRC Client: www.textualapp.com) 2015-04-12T01:40:19Z aap_ joined #scheme 2015-04-12T01:43:50Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-12T01:43:51Z aap quit (Ping timeout: 276 seconds) 2015-04-12T01:48:48Z bjz joined #scheme 2015-04-12T01:52:06Z xyh joined #scheme 2015-04-12T01:52:14Z jumblerg joined #scheme 2015-04-12T02:01:39Z edgar-rft joined #scheme 2015-04-12T02:09:12Z jawny quit (Ping timeout: 276 seconds) 2015-04-12T02:12:18Z BWV988 joined #scheme 2015-04-12T02:28:46Z ausloschung joined #scheme 2015-04-12T02:31:54Z ausloschung quit (Client Quit) 2015-04-12T02:40:58Z RexButler: How do I do a define statement that executes multiple statements? 2015-04-12T02:41:09Z xyh left #scheme 2015-04-12T02:41:09Z RexButler: Until now, the Scheme I've been doing is purely functional 2015-04-12T02:42:33Z arrubin: RexButler: begin, I believe. 2015-04-12T02:42:44Z RexButler: Yes, I think that is it. 2015-04-12T02:43:07Z vraid: RexButler: the body of a lambda can contain several consecutive statements 2015-04-12T02:43:09Z RexButler: I am writing my own versions of various common list functions... as an exercise. 2015-04-12T02:43:36Z RexButler: http://sprunge.us/FWHH 2015-04-12T02:44:23Z vraid: RexButler: begin is a function call, not a definition 2015-04-12T02:44:44Z vraid: so (begin x) is the same as ((lambda () x)) 2015-04-12T02:46:39Z RexButler: I dislike it when I get a racket error message with no line number. Very frustrating. 2015-04-12T02:46:57Z vraid: http://codepad.org/z7SUQS8i 2015-04-12T02:47:25Z vraid: RexButler: it fails on (testall), since testall is not a function in your code 2015-04-12T02:47:46Z RexButler: I am a newbie, bear with me 2015-04-12T02:48:51Z vraid: i am not trying to criticise you :) 2015-04-12T02:48:59Z taylanub quit (Disconnected by services) 2015-04-12T02:49:31Z taylanub joined #scheme 2015-04-12T02:50:22Z RexButler: np :) 2015-04-12T02:51:03Z BWV988 left #scheme 2015-04-12T02:52:29Z RexButler: http://sprunge.us/KijT 2015-04-12T02:53:19Z vraid: (if null? xs) should be (if (null? xs)) 2015-04-12T02:53:30Z ArneBab_ joined #scheme 2015-04-12T02:53:57Z vraid: actually just (if (null? xs) 2015-04-12T02:56:49Z ArneBab quit (Ping timeout: 264 seconds) 2015-04-12T02:57:20Z RexButler: THat helped... thanks. 2015-04-12T02:57:25Z RexButler: Now I have a different problem 2015-04-12T03:00:23Z cosmez quit (Quit: Leaving) 2015-04-12T03:01:16Z vraid: yes? 2015-04-12T03:02:11Z RexButler: http://sprunge.us/ZeQR 2015-04-12T03:02:44Z RexButler: application: not a procedure; 2015-04-12T03:03:42Z vraid: maybe ((f (car xs))? 2015-04-12T03:04:41Z RexButler: That is what I have. 2015-04-12T03:05:26Z vraid: yep. f is a function, (f (car xs)) is not, so ((f (car xs)) fails 2015-04-12T03:07:53Z vraid: you want a begin there 2015-04-12T03:07:56Z RexButler: Yeah, that's what threw me off. I need to execute both lines. 2015-04-12T03:07:58Z RexButler: Yeah. 2015-04-12T03:08:00Z vraid: (begin (f (car xs)) (foreach .. 2015-04-12T03:10:17Z RexButler: Okay, good. Now it's printing a "'()" at the end... don't I account for that? 2015-04-12T03:10:29Z RexButler: NEvermind. 2015-04-12T03:10:37Z RexButler: HOw do I do a noop? 2015-04-12T03:11:26Z vraid: i'm not sure about #lang sicp 2015-04-12T03:19:53Z RexButler: Do you know what to do in other flavors? 2015-04-12T03:20:08Z RexButler: (On option is to use unless... but that doesn't seem to work in this flavor) 2015-04-12T03:20:22Z vraid: in racket it's (for ([n 10]) 2015-04-12T03:20:28Z vraid: or (for ([n (in-range 10)]) 2015-04-12T03:20:46Z vraid: assuming you meant a loop 2015-04-12T03:21:18Z RexButler: I mean a no-operation 2015-04-12T03:21:43Z vraid: oh, like what? 2015-04-12T03:21:59Z excelsior joined #scheme 2015-04-12T03:22:06Z vraid: (void) ? 2015-04-12T03:23:16Z RexButler: Doesn't seem to know what (void) is.... for now I'm doing (display "") 2015-04-12T03:23:27Z RexButler: hehe 2015-04-12T03:23:43Z vraid: apologies, but i don't know anything about common lisp 2015-04-12T03:23:52Z RexButler: np, thanks for you help! 2015-04-12T03:24:09Z vraid: i think (void) then, it does nothing 2015-04-12T03:26:13Z RexButler: np, thanks for you help! 2015-04-12T03:26:20Z RexButler: oops, wrong window 2015-04-12T03:30:53Z RexButler: ... 2015-04-12T03:31:04Z psy_ joined #scheme 2015-04-12T03:31:14Z RexButler: It seems most of my trouble is just getting syntax right... I'm getting better at this, slowly. 2015-04-12T03:34:59Z adu joined #scheme 2015-04-12T03:41:06Z amgarching joined #scheme 2015-04-12T03:44:08Z amgarchIn9 quit (Ping timeout: 245 seconds) 2015-04-12T03:44:11Z davexunit quit (Quit: Later) 2015-04-12T03:48:31Z RexButler: vraid: (values) seems to work 2015-04-12T03:48:49Z sdothum quit (Quit: ZNC - 1.6.0 - http://znc.in) 2015-04-12T03:49:34Z RexButler: Anyways, thanks for the help. 2015-04-12T03:49:35Z RexButler: Later 2015-04-12T03:49:44Z RexButler quit (Remote host closed the connection) 2015-04-12T03:55:36Z mrm quit (Ping timeout: 240 seconds) 2015-04-12T03:55:40Z turtleman_ quit (Ping timeout: 250 seconds) 2015-04-12T04:01:11Z annodomini joined #scheme 2015-04-12T04:01:11Z annodomini quit (Changing host) 2015-04-12T04:01:11Z annodomini joined #scheme 2015-04-12T04:10:37Z kongtomorrow quit 2015-04-12T04:19:19Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-12T04:30:49Z jumblerg joined #scheme 2015-04-12T04:31:21Z jumblerg quit (Read error: Connection reset by peer) 2015-04-12T04:40:47Z annodomini quit (Quit: annodomini) 2015-04-12T04:47:02Z kongtomorrow joined #scheme 2015-04-12T04:58:18Z Bahman joined #scheme 2015-04-12T04:59:01Z Shadox joined #scheme 2015-04-12T05:10:43Z karswell joined #scheme 2015-04-12T05:32:57Z s1n4 joined #scheme 2015-04-12T05:37:18Z pecg quit (Quit: WeeChat 1.1.1) 2015-04-12T05:46:36Z karswell quit (Read error: Connection reset by peer) 2015-04-12T05:47:05Z karswell joined #scheme 2015-04-12T05:48:37Z strmpnk_ joined #scheme 2015-04-12T05:48:59Z c74d3 joined #scheme 2015-04-12T05:49:07Z Neet_ joined #scheme 2015-04-12T05:52:39Z Averell- joined #scheme 2015-04-12T05:53:22Z yosafbridge` joined #scheme 2015-04-12T05:53:52Z c74d quit (*.net *.split) 2015-04-12T05:53:52Z cky quit (*.net *.split) 2015-04-12T05:53:52Z yosafbridge quit (*.net *.split) 2015-04-12T05:53:52Z averell quit (*.net *.split) 2015-04-12T05:53:53Z strmpnk quit (*.net *.split) 2015-04-12T05:53:53Z Neet quit (*.net *.split) 2015-04-12T05:54:17Z Neet_ is now known as Neet 2015-04-12T05:58:56Z s1n4 quit (Remote host closed the connection) 2015-04-12T06:01:22Z cky joined #scheme 2015-04-12T06:05:57Z uber_hulk joined #scheme 2015-04-12T06:07:40Z kongtomorrow quit 2015-04-12T06:13:43Z adu quit (Ping timeout: 245 seconds) 2015-04-12T06:17:48Z jumblerg joined #scheme 2015-04-12T06:24:06Z Averell- is now known as averell 2015-04-12T06:24:56Z averell quit (Changing host) 2015-04-12T06:24:56Z averell joined #scheme 2015-04-12T06:30:00Z aap_ is now known as aap 2015-04-12T06:33:16Z zadock joined #scheme 2015-04-12T06:35:54Z alezost joined #scheme 2015-04-12T06:36:10Z kongtomorrow joined #scheme 2015-04-12T06:43:39Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-12T06:45:41Z oleo_ quit (Ping timeout: 248 seconds) 2015-04-12T06:45:51Z oleo__ joined #scheme 2015-04-12T06:46:52Z kephra: vraid, even if Rex left - begin is a special form and not a normal function, else it would kill tail recursion 2015-04-12T06:51:04Z psy_ quit (Read error: No route to host) 2015-04-12T06:54:08Z sqwwwd joined #scheme 2015-04-12T06:54:10Z amgarching quit (Ping timeout: 264 seconds) 2015-04-12T06:57:04Z jumblerg joined #scheme 2015-04-12T07:00:53Z Shadox quit (Quit: Leaving) 2015-04-12T07:04:19Z rpaehlig quit (Read error: Connection reset by peer) 2015-04-12T07:17:11Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-12T07:21:40Z Fare joined #scheme 2015-04-12T07:24:22Z rpaehlig joined #scheme 2015-04-12T07:27:46Z zadock quit (Ping timeout: 256 seconds) 2015-04-12T07:31:10Z yasha9 quit (Ping timeout: 272 seconds) 2015-04-12T07:33:32Z daviid quit (Ping timeout: 252 seconds) 2015-04-12T07:44:02Z yasha9 joined #scheme 2015-04-12T07:55:05Z wingo joined #scheme 2015-04-12T08:14:45Z mumptai joined #scheme 2015-04-12T08:25:38Z tos-1 joined #scheme 2015-04-12T08:28:42Z alezost quit (Quit: I use GNU Guix ) 2015-04-12T08:31:28Z gravicappa joined #scheme 2015-04-12T08:32:50Z stepnem joined #scheme 2015-04-12T08:36:20Z sqwwwd is now known as mooe 2015-04-12T08:37:45Z pnkfelix quit (Quit: rcirc on GNU Emacs 24.3.92.1) 2015-04-12T08:40:33Z mooe quit (Quit: Updating details, brb) 2015-04-12T08:40:43Z mooe joined #scheme 2015-04-12T08:41:42Z ilammy joined #scheme 2015-04-12T08:42:36Z amgarching joined #scheme 2015-04-12T08:42:43Z ecraven quit (Quit: brb) 2015-04-12T08:47:20Z psy_ joined #scheme 2015-04-12T08:47:47Z ecraven joined #scheme 2015-04-12T08:55:08Z lolisa quit (Quit: Leaving) 2015-04-12T08:56:13Z yasha9 quit (Ping timeout: 264 seconds) 2015-04-12T09:01:14Z amgarching quit (Ping timeout: 265 seconds) 2015-04-12T09:01:29Z uber_hulk quit (Quit: Connection closed for inactivity) 2015-04-12T09:19:09Z lolisa joined #scheme 2015-04-12T09:19:44Z zadock joined #scheme 2015-04-12T09:25:32Z kongtomorrow quit 2015-04-12T09:25:56Z kongtomorrow joined #scheme 2015-04-12T09:33:48Z Fare quit (Ping timeout: 276 seconds) 2015-04-12T09:39:45Z kongtomorrow quit 2015-04-12T09:41:39Z oleo__ quit (Quit: Leaving) 2015-04-12T09:46:49Z oleo joined #scheme 2015-04-12T10:03:50Z lolisa quit (Quit: Leaving) 2015-04-12T10:08:16Z rpaehlig quit (Ping timeout: 252 seconds) 2015-04-12T10:09:33Z narendraj9 joined #scheme 2015-04-12T10:11:51Z kongtomorrow joined #scheme 2015-04-12T10:14:02Z kongtomorrow quit (Client Quit) 2015-04-12T10:18:26Z ziocroc joined #scheme 2015-04-12T10:19:11Z {[]}grant joined #scheme 2015-04-12T10:24:18Z rpaehlig joined #scheme 2015-04-12T10:25:36Z kuribas joined #scheme 2015-04-12T10:28:17Z {[]}grant quit (Ping timeout: 252 seconds) 2015-04-12T10:29:35Z narendraj9 quit (Quit: WeeChat 1.1.1) 2015-04-12T10:34:09Z rpaehlig quit (Ping timeout: 250 seconds) 2015-04-12T10:39:17Z yasha9 joined #scheme 2015-04-12T10:44:56Z yasha9 quit (Ping timeout: 252 seconds) 2015-04-12T10:53:14Z {[]}grant joined #scheme 2015-04-12T10:56:27Z rpaehlig joined #scheme 2015-04-12T11:01:47Z {[]}grant quit (Ping timeout: 246 seconds) 2015-04-12T11:04:19Z DerGuteMoritz quit (Ping timeout: 255 seconds) 2015-04-12T11:11:29Z alezost joined #scheme 2015-04-12T11:13:25Z psy_ quit (Ping timeout: 248 seconds) 2015-04-12T11:13:57Z psy_ joined #scheme 2015-04-12T11:14:34Z zadock quit (Ping timeout: 264 seconds) 2015-04-12T11:26:49Z {[]}grant joined #scheme 2015-04-12T11:27:22Z zadock joined #scheme 2015-04-12T11:37:14Z psy_ quit (Ping timeout: 250 seconds) 2015-04-12T11:37:50Z zadock quit (Ping timeout: 265 seconds) 2015-04-12T11:39:19Z psy_ joined #scheme 2015-04-12T11:40:48Z tos-1 quit (Quit: leaving) 2015-04-12T11:43:36Z Bahman quit (Quit: Ave atque vale) 2015-04-12T11:43:44Z turtleman_ joined #scheme 2015-04-12T11:47:09Z excelsior quit (Quit: Lost terminal) 2015-04-12T11:50:20Z zadock joined #scheme 2015-04-12T12:01:04Z zadock quit (Ping timeout: 250 seconds) 2015-04-12T12:12:18Z civodul joined #scheme 2015-04-12T12:14:10Z zadock joined #scheme 2015-04-12T12:23:43Z zadock quit (Ping timeout: 256 seconds) 2015-04-12T12:25:49Z vraid: kephra: ah, i see 2015-04-12T12:31:51Z rtra joined #scheme 2015-04-12T12:36:26Z zadock joined #scheme 2015-04-12T12:40:35Z {[]}grant quit (Remote host closed the connection) 2015-04-12T12:40:56Z {[]}grant joined #scheme 2015-04-12T12:47:59Z zadock quit (Ping timeout: 252 seconds) 2015-04-12T12:53:05Z davexunit joined #scheme 2015-04-12T12:57:24Z {[]}grant quit (Remote host closed the connection) 2015-04-12T12:57:36Z {[]}grant joined #scheme 2015-04-12T13:00:34Z zadock joined #scheme 2015-04-12T13:03:10Z sdothum joined #scheme 2015-04-12T13:12:05Z zadock quit (Ping timeout: 265 seconds) 2015-04-12T13:21:57Z vanila joined #scheme 2015-04-12T13:56:50Z s1n4 joined #scheme 2015-04-12T13:58:14Z uber_hulk joined #scheme 2015-04-12T13:59:45Z lolisa joined #scheme 2015-04-12T13:59:55Z AkashicLegend joined #scheme 2015-04-12T14:03:26Z turtleman_ quit (Ping timeout: 246 seconds) 2015-04-12T14:08:56Z lolisa quit (Quit: Leaving) 2015-04-12T14:16:42Z pjdelport quit (Quit: Connection closed for inactivity) 2015-04-12T14:16:54Z psy_ quit (Ping timeout: 245 seconds) 2015-04-12T14:24:04Z rpaehlig_ joined #scheme 2015-04-12T14:28:15Z rpaehlig quit (Ping timeout: 276 seconds) 2015-04-12T14:35:47Z monod joined #scheme 2015-04-12T14:40:22Z pjb quit (Ping timeout: 264 seconds) 2015-04-12T14:48:59Z rpaehlig_ quit (Quit: ZZZzzz…) 2015-04-12T14:50:07Z pjb joined #scheme 2015-04-12T15:10:47Z davexunit quit (Quit: Later) 2015-04-12T15:21:05Z pjdelport joined #scheme 2015-04-12T15:24:43Z SHODAN quit (Remote host closed the connection) 2015-04-12T15:27:07Z SHODAN joined #scheme 2015-04-12T15:27:30Z taylanub quit (Disconnected by services) 2015-04-12T15:27:59Z taylanub joined #scheme 2015-04-12T15:31:48Z ASau` joined #scheme 2015-04-12T15:35:03Z ASau quit (Ping timeout: 244 seconds) 2015-04-12T15:35:14Z Fare joined #scheme 2015-04-12T15:39:38Z ziocroc quit (Ping timeout: 256 seconds) 2015-04-12T15:49:54Z s1n4 quit (Quit: leaving) 2015-04-12T15:52:30Z ByronJohnson is now known as ` 2015-04-12T15:52:59Z ` is now known as Guest31872 2015-04-12T15:53:35Z Guest31872 is now known as notnufcha 2015-04-12T15:53:57Z notnufcha is now known as ByronJohnson 2015-04-12T15:55:54Z daviid joined #scheme 2015-04-12T15:56:18Z {[]}grant quit (Remote host closed the connection) 2015-04-12T15:57:58Z karswell quit (Read error: Connection reset by peer) 2015-04-12T15:58:40Z karswell joined #scheme 2015-04-12T16:00:04Z {[]}grant joined #scheme 2015-04-12T16:06:32Z turtleman_ joined #scheme 2015-04-12T16:06:46Z {[]}grant quit (Ping timeout: 250 seconds) 2015-04-12T16:07:22Z mdln quit (Read error: Connection reset by peer) 2015-04-12T16:13:10Z strmpnk_ is now known as strmpnk 2015-04-12T16:17:25Z monod quit (Ping timeout: 244 seconds) 2015-04-12T16:33:00Z ziocroc joined #scheme 2015-04-12T17:04:21Z Fare quit (Quit: Leaving) 2015-04-12T17:06:34Z ziocroc quit (Ping timeout: 255 seconds) 2015-04-12T17:18:23Z grant- joined #scheme 2015-04-12T17:18:48Z Vutral quit (Ping timeout: 256 seconds) 2015-04-12T17:20:36Z grant- is now known as {}grant 2015-04-12T17:21:02Z monod joined #scheme 2015-04-12T17:22:40Z revolve joined #scheme 2015-04-12T17:24:09Z amgarching joined #scheme 2015-04-12T17:26:57Z excelsior joined #scheme 2015-04-12T17:27:18Z ASau` is now known as ASau 2015-04-12T17:36:07Z Vutral joined #scheme 2015-04-12T17:51:55Z Fare joined #scheme 2015-04-12T18:00:42Z ziocroc joined #scheme 2015-04-12T18:01:52Z karswell quit (Ping timeout: 256 seconds) 2015-04-12T18:05:21Z amgarching quit (Ping timeout: 276 seconds) 2015-04-12T18:11:43Z pnpuff joined #scheme 2015-04-12T18:23:08Z karswell joined #scheme 2015-04-12T18:24:58Z pnpuff quit (Quit: Page closed) 2015-04-12T18:30:46Z _sjs quit (Ping timeout: 256 seconds) 2015-04-12T18:30:53Z sheilong joined #scheme 2015-04-12T18:32:35Z dmiles_afk quit (Ping timeout: 264 seconds) 2015-04-12T18:41:21Z amgarching joined #scheme 2015-04-12T18:52:15Z dmiles_afk joined #scheme 2015-04-12T18:55:19Z psy_ joined #scheme 2015-04-12T19:07:38Z Isp-sec joined #scheme 2015-04-12T19:07:59Z _sjs joined #scheme 2015-04-12T19:08:23Z hiroakip joined #scheme 2015-04-12T19:10:15Z turtleman_ quit (Ping timeout: 250 seconds) 2015-04-12T19:12:18Z gravicappa quit (Ping timeout: 276 seconds) 2015-04-12T19:17:44Z oleo is now known as Guest38755 2015-04-12T19:17:45Z oleo_ joined #scheme 2015-04-12T19:19:00Z oleo_ is now known as oleo 2015-04-12T19:20:45Z Guest38755 quit (Ping timeout: 276 seconds) 2015-04-12T19:23:18Z SHODAN quit (Ping timeout: 245 seconds) 2015-04-12T19:32:13Z Fare quit (Ping timeout: 264 seconds) 2015-04-12T19:33:04Z gravicappa joined #scheme 2015-04-12T19:40:59Z daviid quit (Ping timeout: 264 seconds) 2015-04-12T19:41:11Z hiroakip quit (Ping timeout: 256 seconds) 2015-04-12T20:07:27Z alezost quit (Quit: I use GNU Guix ) 2015-04-12T20:07:54Z turtleman_ joined #scheme 2015-04-12T20:18:37Z mtakkman joined #scheme 2015-04-12T20:20:58Z wingo quit (Ping timeout: 255 seconds) 2015-04-12T20:28:18Z Carisius joined #scheme 2015-04-12T20:28:23Z amgarching quit (Ping timeout: 264 seconds) 2015-04-12T20:41:32Z uber_hulk quit (Quit: Connection closed for inactivity) 2015-04-12T20:43:23Z Fare joined #scheme 2015-04-12T20:44:34Z amgarching joined #scheme 2015-04-12T20:49:19Z _sjs quit (Ping timeout: 265 seconds) 2015-04-12T20:57:52Z gravicappa quit (Ping timeout: 255 seconds) 2015-04-12T21:01:17Z mtakkman quit (Read error: Connection reset by peer) 2015-04-12T21:13:21Z daviid joined #scheme 2015-04-12T21:15:50Z _sjs joined #scheme 2015-04-12T21:18:18Z sheilong quit (Quit: Konversation terminated!) 2015-04-12T21:23:01Z sheilong joined #scheme 2015-04-12T21:25:35Z Tbone139 joined #scheme 2015-04-12T21:28:44Z psy_ quit (Ping timeout: 250 seconds) 2015-04-12T21:35:56Z m1dnight_: Can you recur in a lambda? 2015-04-12T21:36:18Z m1dnight_: I dont think you can. I'm trying to explain how a named let is syntactic sugar for a function 2015-04-12T21:36:27Z m1dnight_: But im not sure how you could write it in a macro, for example 2015-04-12T21:36:32Z m1dnight_: (without using define) 2015-04-12T21:37:33Z ijp: you can't, but there have been proposals like rec and named-lambda etc. that re haven't really caught on 2015-04-12T21:37:58Z ijp: m1dnight_: use letrec 2015-04-12T21:38:13Z stepnem quit (Ping timeout: 264 seconds) 2015-04-12T21:38:22Z Carisius: how is recursion done in lambda calculus? 2015-04-12T21:38:32Z ijp: fixed point combinators 2015-04-12T21:38:42Z ijp: Y is the most famous, but there are others 2015-04-12T21:38:48Z m1dnight_: oh, ther are others? 2015-04-12T21:38:52Z m1dnight_: I only know the Y combinator 2015-04-12T21:39:08Z ijp: Y isn't even the simplest 2015-04-12T21:39:16Z Carisius: i only know the SK combinators, but not sure if we are talking about the same 2015-04-12T21:40:58Z m1dnight_: (lambda (f x) (body x) (f x)) 2015-04-12T21:41:04Z m1dnight_: something like that 2015-04-12T21:41:08Z m1dnight_: and then some combinator magic :p 2015-04-12T21:42:23Z ijp: Ttfx=f(ttx), then TT is a fixed point combinator 2015-04-12T21:42:35Z ijp: er, ttfx 2015-04-12T21:43:00Z ijp: wait, no, why is that x there? 2015-04-12T21:44:30Z AkashicLegend quit (Quit: AkashicLegend) 2015-04-12T21:47:13Z ijp: m1dnight_: (let foo ((bar baz) ...) body ...) = (letrec ((foo (lambda (bar ...) body ...))) (foo baz ...)) 2015-04-12T21:49:29Z Carisius: a good introductory book on lambda calculus? long time i've been interested 2015-04-12T21:52:04Z monod quit (Quit: Sto andando via) 2015-04-12T21:54:28Z m1dnight_: I have read through the TAPL book. But that is a type system for the lambda calculus.. 2015-04-12T21:54:29Z ijp: to mock a mockingbird is about combinatory logic, not the lambda calculus, but is a damn site better than most 2015-04-12T21:55:28Z Carisius: nicee 2015-04-12T21:55:40Z ijp: if you read that, and can use a functional language competently, you'll know about as much as most who don't want to read barendregt 2015-04-12T21:55:58Z ijp: whose name I have finally started spelling correctly 2015-04-12T21:57:06Z Carisius: hahahah 2015-04-12T21:59:09Z m1dnight_: is that a good thing or a bad thing? :p 2015-04-12T22:02:15Z ziocroc quit (Quit: ziocroc) 2015-04-12T22:02:57Z excelsior quit (Quit: Lost terminal) 2015-04-12T22:03:20Z cjh`: is TAPL suitable as in introduction to type theory? 2015-04-12T22:03:24Z Tbone139 left #scheme 2015-04-12T22:03:40Z Tbone139 joined #scheme 2015-04-12T22:05:33Z civodul quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-12T22:12:23Z ByronJohnson quit (Quit: Changing server) 2015-04-12T22:12:35Z bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) 2015-04-12T22:14:11Z ByronJohnson joined #scheme 2015-04-12T22:15:32Z ByronJohnson quit (Client Quit) 2015-04-12T22:16:09Z ByronJohnson joined #scheme 2015-04-12T22:17:24Z ByronJohnson quit (Client Quit) 2015-04-12T22:17:26Z kuribas quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-12T22:20:37Z Isp-sec quit (Ping timeout: 248 seconds) 2015-04-12T22:20:43Z karswell` joined #scheme 2015-04-12T22:21:18Z ByronJohnson joined #scheme 2015-04-12T22:21:52Z ByronJohnson quit (Client Quit) 2015-04-12T22:22:13Z annodomini joined #scheme 2015-04-12T22:22:13Z annodomini quit (Changing host) 2015-04-12T22:22:13Z annodomini joined #scheme 2015-04-12T22:22:24Z jao joined #scheme 2015-04-12T22:23:09Z karswell quit (Ping timeout: 245 seconds) 2015-04-12T22:26:47Z ByronJohnson joined #scheme 2015-04-12T22:27:09Z sdothum quit (Quit: ZNC - 1.6.0 - http://znc.in) 2015-04-12T22:27:56Z jao quit (Read error: Connection reset by peer) 2015-04-12T22:28:48Z sdothum joined #scheme 2015-04-12T22:31:04Z sdothum quit (Client Quit) 2015-04-12T22:33:19Z sdothum joined #scheme 2015-04-12T22:36:04Z turtleman_ quit (Ping timeout: 245 seconds) 2015-04-12T22:47:28Z mooe: Is anyone here doing web dev with scheme? 2015-04-12T22:50:01Z ilammy quit (Ping timeout: 246 seconds) 2015-04-12T22:55:50Z Tbone139 quit (Ping timeout: 250 seconds) 2015-04-12T22:57:26Z mooe: I'm looking for something in between chickens awful and guiles web module 2015-04-12T22:59:29Z annodomini quit (Quit: annodomini) 2015-04-12T22:59:47Z vanila: http://web-artanis.com/ maybe 2015-04-12T23:02:51Z mooe: Cool, I'll take a look, thank you 2015-04-12T23:11:22Z ASau` joined #scheme 2015-04-12T23:12:36Z jao joined #scheme 2015-04-12T23:14:19Z kephra: vanila, why nearly two years till version 0.0.1 2015-04-12T23:14:49Z ASau quit (Ping timeout: 256 seconds) 2015-04-12T23:15:03Z kephra: 2013 Feb Artanis was born, ..., 2015 Jan first stable version Artanis-0.0.1 was released 2015-04-12T23:15:27Z vanila: haha, ive no idea 2015-04-12T23:15:40Z vanila: i guess they wanted totake their time 2015-04-12T23:16:15Z cjh`: perfection takes time :P 2015-04-12T23:17:34Z ASau` is now known as ASau 2015-04-12T23:35:40Z Fare quit (Ping timeout: 252 seconds) 2015-04-12T23:42:40Z Tbone139 joined #scheme 2015-04-12T23:49:23Z daviid quit (Ping timeout: 256 seconds) 2015-04-12T23:54:29Z Vutral quit (Ping timeout: 248 seconds) 2015-04-12T23:58:36Z Vutral joined #scheme 2015-04-12T23:59:43Z Tbone139 quit (Quit: Leaving)