2014-12-27T00:01:32Z oldskirt joined #scheme 2014-12-27T00:04:27Z oldskirt_ quit (Ping timeout: 245 seconds) 2014-12-27T00:05:58Z oldskirt quit (Ping timeout: 255 seconds) 2014-12-27T00:06:48Z oldskirt joined #scheme 2014-12-27T00:09:45Z oleo quit (Quit: Verlassend) 2014-12-27T00:11:58Z suppi quit (Quit: Leaving) 2014-12-27T00:17:18Z oldskirt_ joined #scheme 2014-12-27T00:17:32Z oleo joined #scheme 2014-12-27T00:17:50Z kongtomorrow quit 2014-12-27T00:18:12Z oleo quit (Read error: Connection reset by peer) 2014-12-27T00:20:23Z oldskirt quit (Ping timeout: 272 seconds) 2014-12-27T00:20:37Z Riastradh quit (Ping timeout: 250 seconds) 2014-12-27T00:22:10Z oldskirt_ quit (Ping timeout: 264 seconds) 2014-12-27T00:23:52Z oleo joined #scheme 2014-12-27T00:24:18Z Rodya_ joined #scheme 2014-12-27T00:30:50Z zacts joined #scheme 2014-12-27T00:50:52Z zajn quit (Read error: Connection reset by peer) 2014-12-27T00:51:22Z zajn joined #scheme 2014-12-27T00:52:07Z cky: leppie: About the string mismatch typo? I know right. 2014-12-27T00:55:13Z zacts quit (Read error: Connection reset by peer) 2014-12-27T00:59:33Z tadni quit (Ping timeout: 258 seconds) 2014-12-27T01:04:46Z bjz quit (Ping timeout: 264 seconds) 2014-12-27T01:05:54Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T01:06:44Z bjz joined #scheme 2014-12-27T01:10:07Z jumblerg joined #scheme 2014-12-27T01:10:44Z hiyosi joined #scheme 2014-12-27T01:11:09Z fantazo joined #scheme 2014-12-27T01:11:32Z bjz quit (Ping timeout: 245 seconds) 2014-12-27T01:16:11Z bjz joined #scheme 2014-12-27T01:26:34Z bjz quit (Ping timeout: 250 seconds) 2014-12-27T01:28:32Z tadni joined #scheme 2014-12-27T01:51:17Z bjz joined #scheme 2014-12-27T01:52:19Z jeapostrophe quit (Ping timeout: 245 seconds) 2014-12-27T01:58:15Z xyh joined #scheme 2014-12-27T01:58:15Z fantazo quit (Quit: Verlassend) 2014-12-27T02:03:35Z AkashicLegend joined #scheme 2014-12-27T02:16:47Z wzsk quit (Remote host closed the connection) 2014-12-27T02:18:12Z mumptai quit (Ping timeout: 272 seconds) 2014-12-27T02:18:30Z slucx joined #scheme 2014-12-27T02:21:53Z abdsd joined #scheme 2014-12-27T02:24:53Z xyh quit (Ping timeout: 240 seconds) 2014-12-27T02:27:44Z bjz quit (Ping timeout: 245 seconds) 2014-12-27T02:30:47Z fsckd quit (Ping timeout: 258 seconds) 2014-12-27T02:31:15Z bjz joined #scheme 2014-12-27T02:32:56Z VacationGuy234 joined #scheme 2014-12-27T02:34:32Z AkashicLegend quit (Quit: AkashicLegend) 2014-12-27T02:35:30Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T02:39:39Z enitiz quit (Remote host closed the connection) 2014-12-27T02:41:38Z uris77 joined #scheme 2014-12-27T02:42:44Z kongtomorrow joined #scheme 2014-12-27T02:48:23Z jeapostrophe joined #scheme 2014-12-27T02:48:23Z jeapostrophe quit (Changing host) 2014-12-27T02:48:23Z jeapostrophe joined #scheme 2014-12-27T02:48:59Z tobik quit (Ping timeout: 245 seconds) 2014-12-27T02:49:10Z Riastradh joined #scheme 2014-12-27T02:49:42Z VacationGuy234 left #scheme 2014-12-27T02:49:51Z tobik joined #scheme 2014-12-27T02:53:26Z jeapostrophe quit (Ping timeout: 244 seconds) 2014-12-27T02:53:30Z enitiz joined #scheme 2014-12-27T02:54:37Z VacationGuy234 joined #scheme 2014-12-27T02:54:45Z VacationGuy234 left #scheme 2014-12-27T03:11:52Z fsckd joined #scheme 2014-12-27T03:14:08Z Rodya_ quit (Remote host closed the connection) 2014-12-27T03:25:33Z yiati joined #scheme 2014-12-27T03:31:04Z _5kg quit (Ping timeout: 265 seconds) 2014-12-27T03:31:40Z technomancy left #scheme 2014-12-27T03:32:27Z _5kg joined #scheme 2014-12-27T03:34:03Z Vutral quit (Ping timeout: 244 seconds) 2014-12-27T03:46:53Z Vutral joined #scheme 2014-12-27T03:50:31Z Riastradh quit (Remote host closed the connection) 2014-12-27T03:50:42Z Riastradh joined #scheme 2014-12-27T03:54:31Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T04:01:02Z bjz quit (Ping timeout: 265 seconds) 2014-12-27T04:12:40Z kongtomorrow quit 2014-12-27T04:17:33Z fsckd quit (Ping timeout: 252 seconds) 2014-12-27T04:18:20Z alexei___ joined #scheme 2014-12-27T04:19:09Z jeapostrophe joined #scheme 2014-12-27T04:19:28Z jeapostrophe quit (Changing host) 2014-12-27T04:19:28Z jeapostrophe joined #scheme 2014-12-27T04:19:49Z yiati quit (Remote host closed the connection) 2014-12-27T04:21:54Z alexei_ quit (Ping timeout: 245 seconds) 2014-12-27T04:24:16Z jeapostrophe quit (Ping timeout: 255 seconds) 2014-12-27T04:24:49Z rx_ joined #scheme 2014-12-27T04:27:14Z hilquias` joined #scheme 2014-12-27T04:27:49Z yiati joined #scheme 2014-12-27T04:28:37Z hilquias quit (Ping timeout: 240 seconds) 2014-12-27T04:29:41Z yiati quit (Client Quit) 2014-12-27T04:32:56Z BitPuffin quit (Ping timeout: 265 seconds) 2014-12-27T04:35:04Z gf3 quit (Ping timeout: 250 seconds) 2014-12-27T04:36:06Z zacts joined #scheme 2014-12-27T04:37:38Z gf3 joined #scheme 2014-12-27T04:38:27Z Riastradh quit (Ping timeout: 250 seconds) 2014-12-27T04:38:36Z kongtomorrow joined #scheme 2014-12-27T04:40:07Z Riastradh joined #scheme 2014-12-27T04:44:07Z hiyosi joined #scheme 2014-12-27T04:50:44Z jusss joined #scheme 2014-12-27T04:53:03Z excelsior joined #scheme 2014-12-27T05:02:51Z adu joined #scheme 2014-12-27T05:03:08Z kongtomorrow quit 2014-12-27T05:07:02Z bjz joined #scheme 2014-12-27T05:10:24Z vinleod joined #scheme 2014-12-27T05:28:06Z uris77 quit (Quit: leaving) 2014-12-27T05:41:33Z gansteed joined #scheme 2014-12-27T05:45:30Z jusss quit (Ping timeout: 276 seconds) 2014-12-27T06:07:55Z jeapostrophe joined #scheme 2014-12-27T06:07:55Z jeapostrophe quit (Changing host) 2014-12-27T06:07:55Z jeapostrophe joined #scheme 2014-12-27T06:09:52Z bjz quit (Ping timeout: 256 seconds) 2014-12-27T06:10:48Z rx_ quit (Ping timeout: 244 seconds) 2014-12-27T06:12:17Z rx_ joined #scheme 2014-12-27T06:13:10Z jeapostrophe quit (Ping timeout: 264 seconds) 2014-12-27T06:18:07Z enitiz quit (Ping timeout: 255 seconds) 2014-12-27T06:18:16Z systemovich joined #scheme 2014-12-27T06:21:52Z vinleod quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2014-12-27T06:26:07Z daviid joined #scheme 2014-12-27T06:29:54Z vinleod joined #scheme 2014-12-27T06:41:19Z theseb joined #scheme 2014-12-27T06:41:46Z theseb: scheme has a different command for defining and changing variables right? 2014-12-27T06:41:50Z theseb: can you use set! for both? 2014-12-27T06:44:14Z jusss joined #scheme 2014-12-27T06:45:47Z Riastradh: There are languages that fail to distinguish creating variables from modifying existing ones. Programs in these languages are error-prone and hard to read, because you can never be sure whether you're creating a local variable for a local purpose or accidentally modifying some other variable. 2014-12-27T06:46:58Z Riastradh: If you are intentionally modifying a variable you expect to exist already, and it doesn't, then conflating the two operations leads to masking a legitimate error which is likely to return to bite you later on. 2014-12-27T06:47:50Z theseb: Riastradh: yea in python there is not difference between initialization and mutation 2014-12-27T06:48:14Z Riastradh: I've been bitten many times by that idiocy in Python. 2014-12-27T06:48:39Z theseb: Riastradh: i was actually thinking of how to possibly "compile" a python program down to lisp......this was tripping me up 2014-12-27T06:49:03Z theseb: Riastradh: somehow i'd have to "detect" in python code whether it was an initialization or mutation...that may be possible..just never considered it :) 2014-12-27T06:49:13Z Riastradh: Someone did that for Racket a while ago, back when it was still called PLT. 2014-12-27T06:49:34Z theseb: Riastradh: yup...some guy named Silva et al... I've been reading up on that :) 2014-12-27T06:49:34Z jusss quit (Remote host closed the connection) 2014-12-27T06:49:39Z theseb: Riastradh: you are well informed :) 2014-12-27T06:49:46Z Riastradh: Note that a simple-minded transliteration won't help, because internal definitions are lexically scoped in Scheme, unlike in Python where they are idiotly scoped. 2014-12-27T06:50:01Z theseb: lol 2014-12-27T06:50:21Z theseb: Riastradh: i'm impressed you knew that 2014-12-27T06:50:42Z theseb: Riastradh: this was partly a little personal research to see exactly what the impedance mismatches such as what you mentioned there were 2014-12-27T06:51:16Z Riastradh: Probably what you want to do, to match Python's semantics, is to just create a hash table for every procedure body, and convert variable reference to lookup and variable assignment to insert-or-replace. 2014-12-27T06:51:23Z theseb: Riastradh: it all started when i heard some comments from somehow about how python was "lisp w/o the parentheses"..that got the curiosity burning in my head 2014-12-27T06:51:48Z kazimir42 joined #scheme 2014-12-27T06:53:01Z theseb: Riastradh: that hash table sounds a lot like lisp's notion of an "environment" 2014-12-27T06:53:07Z Riastradh: Not at all. 2014-12-27T06:53:36Z Riastradh: (OK, that's an exaggeration -- there is a correspondence.) 2014-12-27T06:54:15Z Riastradh: An environment is a map from names to meanings, and is a data structure that a program-analyzing program uses. 2014-12-27T06:55:12Z theseb: Riastradh: well to convert python to scheme i'm guessing the only stuff that would need to go in the "environment" would be the module level (global) variables...fortunately it is obvious what those are in python 2014-12-27T06:55:15Z Riastradh: A sensible compiler will generate code that is independent of the names that were in the environment, and store the values of variables in, e.g., contiguous arrays in memory or in registers. 2014-12-27T06:55:48Z theseb: Riastradh: err...wait...if you nested functions in python i guess you'd have a hierarchy of environment like in scheme..so see there is some similarity 2014-12-27T06:55:53Z Riastradh: A trivial example of this is a compiler from Scheme with named variables to Scheme with numbered variables and de Bruijn indices. 2014-12-27T06:57:06Z theseb: yea...that's just optimization......i'm way to early at this stage to think of speed 2014-12-27T06:57:20Z Riastradh: Of course, you could do something similar for Python too: for each procedure body, collect all the variables that are ever created in that body, and generate code that fills an array of values (and an array of flags saying whether or not the variable has been created yet). 2014-12-27T06:58:21Z Riastradh: There's more than just an optimization here: the important part is that the program's semantics be independent of the names you chose to write it. (That's why the optimization is allowed.) 2014-12-27T06:59:08Z theseb: Riastradh: right..the names of parameters aren't crucial 2014-12-27T07:01:48Z theseb: Riastradh: superficially a lot of stuff *seems* similar....both scheme and python have an "if"....both have recursion..both have variable assignment.... 2014-12-27T07:02:06Z theseb: Riastradh: i even implemented for and while loops in scheme using recursion in preparation 2014-12-27T07:02:17Z theseb: Riastradh: somehow someway they both will come together 2014-12-27T07:02:38Z theseb: python *will* be a little skin on top of lisp as the "Let Over Lambda" guy used that phrase 2014-12-27T07:03:31Z jusss joined #scheme 2014-12-27T07:06:27Z narendraj9 joined #scheme 2014-12-27T07:07:35Z jusss quit (Remote host closed the connection) 2014-12-27T07:09:07Z jusss joined #scheme 2014-12-27T07:10:38Z jusss quit (Remote host closed the connection) 2014-12-27T07:11:37Z jusss joined #scheme 2014-12-27T07:14:22Z alexei___ quit (Ping timeout: 264 seconds) 2014-12-27T07:18:27Z jusss quit (Ping timeout: 276 seconds) 2014-12-27T07:19:03Z _5kg quit (Ping timeout: 252 seconds) 2014-12-27T07:19:44Z theseb quit (Quit: Leaving) 2014-12-27T07:22:58Z Tiristor joined #scheme 2014-12-27T07:34:05Z daviid quit (Ping timeout: 252 seconds) 2014-12-27T07:47:26Z vinleod quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2014-12-27T07:47:26Z Tiristor quit (Quit: Miranda IM! Smaller, Faster, Easier. http://miranda-im.org) 2014-12-27T07:52:47Z Tirisler joined #scheme 2014-12-27T07:56:39Z jeapostrophe joined #scheme 2014-12-27T07:56:39Z jeapostrophe quit (Changing host) 2014-12-27T07:56:39Z jeapostrophe joined #scheme 2014-12-27T07:56:45Z gansteed quit (Read error: Connection timed out) 2014-12-27T07:57:25Z gansteed joined #scheme 2014-12-27T07:57:52Z tadni quit (Ping timeout: 265 seconds) 2014-12-27T08:01:36Z jeapostrophe quit (Ping timeout: 258 seconds) 2014-12-27T08:03:17Z _5kg joined #scheme 2014-12-27T08:04:02Z Vutral quit (Ping timeout: 245 seconds) 2014-12-27T08:07:27Z gf3_ joined #scheme 2014-12-27T08:09:06Z gf3 quit (Ping timeout: 264 seconds) 2014-12-27T08:09:06Z slucx quit (Ping timeout: 264 seconds) 2014-12-27T08:14:27Z gansteed quit (Quit: Leaving) 2014-12-27T08:18:46Z Vutral joined #scheme 2014-12-27T08:21:05Z adu quit (Quit: adu) 2014-12-27T08:22:58Z zajn quit (Remote host closed the connection) 2014-12-27T08:27:21Z rx_ quit (Quit: ircN 9.00 for mIRC (20100824-DEV) - www.ircN.org) 2014-12-27T08:27:57Z tadni joined #scheme 2014-12-27T08:32:14Z vinleod joined #scheme 2014-12-27T08:33:01Z suppi joined #scheme 2014-12-27T08:40:18Z kongtomorrow joined #scheme 2014-12-27T08:42:55Z kongtomorrow quit (Client Quit) 2014-12-27T08:45:43Z adu joined #scheme 2014-12-27T09:01:51Z lrs joined #scheme 2014-12-27T09:02:16Z lrs: Im trying to make a scheme program that checks if the process is a int or boolean 2014-12-27T09:02:31Z lrs: For example > (check '(+ int int)) 2014-12-27T09:02:31Z lrs: int 2014-12-27T09:02:52Z lrs: > (check '(= (< (+ int int) (quotient int int)) (> int int))) 2014-12-27T09:02:57Z lrs: bool 2014-12-27T09:03:03Z lrs: Anyone have a tip? 2014-12-27T09:15:19Z sonstwo joined #scheme 2014-12-27T09:16:11Z ffs quit (Ping timeout: 272 seconds) 2014-12-27T09:17:56Z narendraj9 quit (Quit: WeeChat 1.0.1) 2014-12-27T09:23:25Z araujo quit (Ping timeout: 265 seconds) 2014-12-27T09:25:23Z araujo joined #scheme 2014-12-27T09:33:04Z jusss joined #scheme 2014-12-27T09:34:40Z vinleod quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2014-12-27T09:36:32Z narendraj9 joined #scheme 2014-12-27T09:36:38Z jusss quit (Remote host closed the connection) 2014-12-27T09:38:02Z Bahman joined #scheme 2014-12-27T09:42:22Z jusss joined #scheme 2014-12-27T09:50:21Z cojy: lrs: shouldn't that return an error 2014-12-27T09:51:27Z cojy: = should take numbers, not bools, unless this is a different language 2014-12-27T09:54:23Z C-Keen: there should be boolean? and some schemes have exact? 2014-12-27T09:56:13Z adu quit (Quit: adu) 2014-12-27T09:56:15Z cojy: lrs it sounds like you want to look up hindley-milner type checking/inference. though if what you have said is all you need, it will be very simple 2014-12-27T09:56:45Z lrs: cojy Yes 2014-12-27T09:58:34Z alexei___ joined #scheme 2014-12-27T10:00:03Z cojy: the easiest way to do it in scheme if you can use existing code is via minikanren, otherwise you should learn about unification 2014-12-27T10:00:41Z cojy: you can easily find examples of type inferencers in minikanren 2014-12-27T10:04:29Z cojy: actually probably not a good idea for learning how it works, should just do your own 2014-12-27T10:06:39Z frkout_ joined #scheme 2014-12-27T10:09:02Z oleo is now known as Guest94202 2014-12-27T10:10:10Z frkout quit (Ping timeout: 264 seconds) 2014-12-27T10:10:41Z oleo__ joined #scheme 2014-12-27T10:11:55Z frkout_ quit (Ping timeout: 272 seconds) 2014-12-27T10:11:57Z Guest94202 quit (Ping timeout: 245 seconds) 2014-12-27T10:19:04Z lrs: cojy, Minkanren? 2014-12-27T10:19:48Z Tirisler quit (Quit: Miranda IM! Smaller, Faster, Easier. http://miranda-im.org) 2014-12-27T10:20:34Z cojy: don't worry about, it's something else, just learn how to do unification 2014-12-27T10:32:29Z lrs: cojy, Unification? 2014-12-27T10:43:30Z lrs: cojy, http://www.scheme.com/tspl3/examples.html#./examples:h10 2014-12-27T10:43:39Z lrs: cojy, Is this a good place to start? 2014-12-27T10:46:29Z lrs: cojy, Look at "defining abstract objects" 2014-12-27T10:48:26Z jusss quit (Remote host closed the connection) 2014-12-27T10:50:13Z jusss joined #scheme 2014-12-27T10:53:17Z jusss quit (Remote host closed the connection) 2014-12-27T10:54:06Z jusss joined #scheme 2014-12-27T10:57:48Z bjz joined #scheme 2014-12-27T10:59:14Z mumptai joined #scheme 2014-12-27T11:02:18Z narendraj9 quit (Quit: WeeChat 1.0.1) 2014-12-27T11:04:00Z jusss quit (Ping timeout: 276 seconds) 2014-12-27T11:05:00Z jusss` joined #scheme 2014-12-27T11:06:34Z jusss` quit (Remote host closed the connection) 2014-12-27T11:07:16Z jusss` joined #scheme 2014-12-27T11:09:20Z jusss` quit (Remote host closed the connection) 2014-12-27T11:12:15Z alexei___ quit (Ping timeout: 252 seconds) 2014-12-27T11:18:35Z araujo quit (Quit: Leaving) 2014-12-27T11:19:06Z bjz_ joined #scheme 2014-12-27T11:21:17Z Tirisler joined #scheme 2014-12-27T11:21:32Z bjz quit (Ping timeout: 256 seconds) 2014-12-27T11:22:00Z alexei___ joined #scheme 2014-12-27T11:34:49Z psy quit (Ping timeout: 245 seconds) 2014-12-27T11:39:20Z systemovich_ joined #scheme 2014-12-27T11:39:44Z systemovich quit (Ping timeout: 250 seconds) 2014-12-27T11:43:37Z bjz_ quit (Read error: Connection reset by peer) 2014-12-27T11:43:53Z bjz joined #scheme 2014-12-27T11:50:35Z lrs: Why isnt there a set-car! functioN? 2014-12-27T11:50:43Z lrs: And what do I use if I don want to use set-car 2014-12-27T11:51:45Z lrs: http://paste.pound-python.org/show/bnfmGhFOJO9e8P7ofgK6/ 2014-12-27T11:51:51Z lrs: I need to convert that one 2014-12-27T11:52:32Z wasamasa: csi has set-car! 2014-12-27T11:53:18Z wasamasa: so has guile 2014-12-27T11:53:32Z wasamasa: racket however doesn't, hum 2014-12-27T11:53:38Z lrs: Right 2014-12-27T11:54:47Z wasamasa: inb4 it has rplaca instead :P 2014-12-27T11:55:15Z lrs: wasamasa rplaca? 2014-12-27T11:55:34Z wasamasa: lrs: the CL equivalent of set-car! 2014-12-27T11:55:40Z lrs: CL? 2014-12-27T11:55:43Z lrs: Im using racket 2014-12-27T11:56:20Z wasamasa: I was making a joke about a certain other dialect of lisp than scheme 2014-12-27T11:57:06Z wasamasa: http://stackoverflow.com/questions/9475366/set-car-set-cdr-unbound-in-racket 2014-12-27T11:57:06Z rudybot: http://tinyurl.com/mqkm3va 2014-12-27T11:57:23Z wasamasa: so, racket got rid of them 2014-12-27T11:57:23Z wasamasa: yay 2014-12-27T11:58:53Z wasamasa: I can sort of understand the motivation 2014-12-27T11:59:01Z lrs: wasamasa, Yeah I saw that one 2014-12-27T11:59:11Z lrs: But the require thing doesnt work 2014-12-27T11:59:14Z lrs: Cant improt it either 2014-12-27T12:03:03Z kazimir42 quit (Ping timeout: 250 seconds) 2014-12-27T12:09:13Z abdsd quit (Quit: leaving) 2014-12-27T12:23:02Z narendraj9 joined #scheme 2014-12-27T12:25:42Z lrs quit (Ping timeout: 245 seconds) 2014-12-27T12:30:15Z nogart joined #scheme 2014-12-27T12:31:05Z BitPuffin joined #scheme 2014-12-27T12:33:02Z systemovich_ quit (Ping timeout: 250 seconds) 2014-12-27T12:33:44Z systemovich_ joined #scheme 2014-12-27T12:34:01Z alexei___ quit (Ping timeout: 252 seconds) 2014-12-27T12:40:50Z systemovich_ quit (Ping timeout: 250 seconds) 2014-12-27T12:43:16Z lrs joined #scheme 2014-12-27T12:43:47Z narendraj9 quit (Quit: WeeChat 1.0.1) 2014-12-27T13:01:31Z jusss joined #scheme 2014-12-27T13:25:36Z jusss quit (Remote host closed the connection) 2014-12-27T13:26:29Z jusss joined #scheme 2014-12-27T13:27:25Z Tirisler quit (Quit: Miranda IM! Smaller, Faster, Easier. http://miranda-im.org) 2014-12-27T13:31:03Z slucx joined #scheme 2014-12-27T13:33:12Z slucx left #scheme 2014-12-27T13:38:59Z Bahman quit (Quit: Leaving.) 2014-12-27T13:44:13Z enitiz joined #scheme 2014-12-27T13:46:38Z wzsk joined #scheme 2014-12-27T13:47:33Z jusss quit (Remote host closed the connection) 2014-12-27T13:48:17Z jusss joined #scheme 2014-12-27T13:53:37Z b4283 joined #scheme 2014-12-27T13:53:59Z fsckd joined #scheme 2014-12-27T14:00:01Z pzula joined #scheme 2014-12-27T14:00:29Z pzula left #scheme 2014-12-27T14:16:14Z jusss quit (Remote host closed the connection) 2014-12-27T14:17:02Z fantazo joined #scheme 2014-12-27T14:23:31Z lrs quit (Quit: Leaving) 2014-12-27T14:26:38Z zadock joined #scheme 2014-12-27T14:26:48Z oleo__ quit (Quit: Verlassend) 2014-12-27T14:29:25Z oleo joined #scheme 2014-12-27T14:36:31Z psy joined #scheme 2014-12-27T14:51:23Z oleo quit (Quit: Verlassend) 2014-12-27T14:52:51Z oleo joined #scheme 2014-12-27T15:02:05Z alezost joined #scheme 2014-12-27T15:09:37Z bjz_ joined #scheme 2014-12-27T15:10:41Z bjz quit (Read error: Connection reset by peer) 2014-12-27T15:11:26Z hilquias` quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2014-12-27T15:11:51Z hilquias joined #scheme 2014-12-27T15:21:42Z pzula joined #scheme 2014-12-27T15:22:11Z AkashicLegend joined #scheme 2014-12-27T15:22:12Z pzula left #scheme 2014-12-27T15:29:18Z suppi quit (Ping timeout: 265 seconds) 2014-12-27T15:45:32Z daviid joined #scheme 2014-12-27T15:51:54Z daowee_ joined #scheme 2014-12-27T15:54:37Z daowee quit (Ping timeout: 240 seconds) 2014-12-27T16:09:17Z enitiz quit (Ping timeout: 240 seconds) 2014-12-27T16:12:37Z nitrix quit (Ping timeout: 240 seconds) 2014-12-27T16:12:39Z AkashicLegend_ joined #scheme 2014-12-27T16:13:25Z AkashicLegend quit (Ping timeout: 258 seconds) 2014-12-27T16:13:59Z nitrix joined #scheme 2014-12-27T16:14:01Z nitrix is now known as Guest52757 2014-12-27T16:16:32Z AkashicLegend joined #scheme 2014-12-27T16:17:22Z AkashicLegend_ quit (Ping timeout: 264 seconds) 2014-12-27T16:19:11Z suppi joined #scheme 2014-12-27T16:19:28Z suppi quit (Changing host) 2014-12-27T16:19:28Z suppi joined #scheme 2014-12-27T16:21:43Z AkashicLegend quit (Ping timeout: 252 seconds) 2014-12-27T16:25:42Z sigjuice quit (Ping timeout: 245 seconds) 2014-12-27T16:25:50Z Kooda joined #scheme 2014-12-27T16:26:36Z sigjuice joined #scheme 2014-12-27T16:31:58Z sethalves: http://paste.call-cc.org/paste?id=309ad9f49a5e5ee02e3eca266ff225a41f5850a7 2014-12-27T16:32:15Z sethalves: should that print abc or abbbbbb.... ? 2014-12-27T16:34:51Z Riastradh: Wrap it in a LET; then it will print abbbbb. Type it into the REPL; then it will print abc. (What's the continuation that CWCC captures at the REPL? Not (display "b\n") and then go on; rather, read another input, evaluate it, print it, and then go on.) 2014-12-27T16:37:20Z sethalves: chibi and chicken and guache print abc. guile and foment print abbbb. kawa crashes 2014-12-27T16:37:25Z sigjuice quit (Ping timeout: 256 seconds) 2014-12-27T16:37:41Z sethalves: in programs, I haven't tried it in a repl 2014-12-27T16:38:09Z sigjuice joined #scheme 2014-12-27T16:39:51Z sethalves: I understand why it prints abc in a repl. I'm not sure I understand why there is disagreement about this code in program form 2014-12-27T16:40:15Z Riastradh: What's the continuation that you're invoking? What does it do? 2014-12-27T16:41:06Z sethalves: oh is the disagreement just because it's at the top level? 2014-12-27T16:41:40Z Riastradh: No, top level is a red herring; I suggested the LET just to make sure that nothing would try to interpret the whole program as a sort of `REPL script'. 2014-12-27T16:42:10Z Riastradh: Although this might be helpful. Consider the difference between the following two ways to run a program: 2014-12-27T16:42:35Z Riastradh: (let loop () (let ((form (read))) (if (not (eof-object? form)) (begin (print (eval form env)) (loop] 2014-12-27T16:43:11Z Riastradh: (let loop ((forms '())) (let ((form (read))) (if (eof-object? form) (for-each (lambda (form) (print (eval form env))) (reverse! forms)) (loop (cons form forms] 2014-12-27T16:44:08Z sethalves: sec, formatting in another buffer 2014-12-27T16:45:39Z sethalves: hm... yeah, I think I see what you mean 2014-12-27T16:45:52Z sethalves: with this one: http://paste.call-cc.org/paste?id=309ad9f49a5e5ee02e3eca266ff225a41f5850a7#a1 2014-12-27T16:45:54Z rudybot: http://tinyurl.com/muwh56m 2014-12-27T16:46:03Z sethalves: they all print abbbbb.... (except kawa still crashes) 2014-12-27T16:47:36Z Riastradh: Yes, Kawa is broken. 2014-12-27T16:47:48Z sethalves: so I will go pesk Mr Bothner. thanks for the help, Riastradh 2014-12-27T16:49:16Z Riastradh: Not likely to help. It's been fundamentally broken forever, by intent. 2014-12-27T16:49:33Z Riastradh: CWCC doesn't work in general in Kawa. 2014-12-27T16:51:15Z sethalves: ah... "Also, call-with-current-continuation is only "upwards" (?). I.e. once a continuation has been exited, it cannot be invoked." 2014-12-27T16:51:48Z jumblerg joined #scheme 2014-12-27T16:59:20Z hilquias quit (Remote host closed the connection) 2014-12-27T17:01:11Z Riastradh quit (Ping timeout: 250 seconds) 2014-12-27T17:03:06Z Riastradh joined #scheme 2014-12-27T17:17:00Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T17:20:26Z oleo quit (Quit: Verlassend) 2014-12-27T17:22:57Z jumblerg joined #scheme 2014-12-27T17:24:28Z jumblerg quit (Client Quit) 2014-12-27T17:24:43Z oleo joined #scheme 2014-12-27T17:37:17Z alezost quit (Ping timeout: 240 seconds) 2014-12-27T17:46:28Z oleo quit (Remote host closed the connection) 2014-12-27T17:47:01Z oleo joined #scheme 2014-12-27T17:47:39Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:48:24Z oleo joined #scheme 2014-12-27T17:49:01Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:49:38Z oleo joined #scheme 2014-12-27T17:50:04Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:51:27Z oleo joined #scheme 2014-12-27T17:51:36Z alezost joined #scheme 2014-12-27T17:52:08Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:53:55Z oleo joined #scheme 2014-12-27T17:54:31Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:55:54Z oleo joined #scheme 2014-12-27T17:56:56Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:57:25Z oleo joined #scheme 2014-12-27T17:58:56Z oleo quit (Read error: Connection reset by peer) 2014-12-27T17:59:55Z oleo joined #scheme 2014-12-27T18:02:17Z oleo quit (Read error: Connection reset by peer) 2014-12-27T18:08:17Z oleo joined #scheme 2014-12-27T18:12:12Z oleo quit (Remote host closed the connection) 2014-12-27T18:18:44Z b4283 quit (Quit: Konversation terminated!) 2014-12-27T18:20:03Z enitiz joined #scheme 2014-12-27T18:20:24Z oleo joined #scheme 2014-12-27T18:39:02Z jumblerg joined #scheme 2014-12-27T18:39:49Z nowhere_man_ quit (Ping timeout: 245 seconds) 2014-12-27T18:39:52Z nowhereman_ joined #scheme 2014-12-27T18:41:39Z gravicappa joined #scheme 2014-12-27T18:43:40Z zajn joined #scheme 2014-12-27T18:45:52Z oleo quit (Quit: Verlassend) 2014-12-27T18:46:19Z oleo joined #scheme 2014-12-27T19:12:15Z oleo quit (Changing host) 2014-12-27T19:12:15Z oleo joined #scheme 2014-12-27T19:20:55Z kazimir42 joined #scheme 2014-12-27T19:25:05Z zacts quit (Ping timeout: 258 seconds) 2014-12-27T19:29:49Z boycottg00gle joined #scheme 2014-12-27T19:39:11Z psy quit (Quit: Leaving) 2014-12-27T19:42:02Z tadni quit (Ping timeout: 250 seconds) 2014-12-27T19:46:24Z kazimir42 quit (Remote host closed the connection) 2014-12-27T19:47:05Z kazimir42 joined #scheme 2014-12-27T19:47:32Z hilquias joined #scheme 2014-12-27T19:49:51Z Averell- joined #scheme 2014-12-27T19:51:36Z Averell- left #scheme 2014-12-27T19:54:46Z hiyosi quit (Read error: Connection reset by peer) 2014-12-27T19:55:04Z hiyosi joined #scheme 2014-12-27T20:05:59Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T20:10:07Z jumblerg joined #scheme 2014-12-27T20:10:30Z Sgeo quit (Read error: Connection reset by peer) 2014-12-27T20:20:05Z Riastradh quit (Ping timeout: 250 seconds) 2014-12-27T20:21:07Z wzsk left #scheme 2014-12-27T20:24:13Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T20:29:14Z jumblerg joined #scheme 2014-12-27T20:29:40Z Sgeo joined #scheme 2014-12-27T20:41:45Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T20:55:11Z suppi quit (Quit: Leaving) 2014-12-27T20:56:54Z Riastradh joined #scheme 2014-12-27T20:59:11Z vinleod joined #scheme 2014-12-27T21:22:10Z zadock quit (Quit: Leaving) 2014-12-27T21:39:49Z alezost quit (Quit: I use GNU Guix ) 2014-12-27T21:44:13Z systemovich_ joined #scheme 2014-12-27T21:49:58Z kongtomorrow joined #scheme 2014-12-27T21:54:34Z kongtomorrow quit (Ping timeout: 255 seconds) 2014-12-27T21:56:53Z AkashicLegend joined #scheme 2014-12-27T22:06:47Z kongtomorrow joined #scheme 2014-12-27T22:12:14Z gravicappa quit (Remote host closed the connection) 2014-12-27T22:14:36Z vinleod quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2014-12-27T22:14:47Z vanila joined #scheme 2014-12-27T22:20:51Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2014-12-27T22:33:11Z zajn quit (Remote host closed the connection) 2014-12-27T22:38:45Z zajn joined #scheme 2014-12-27T22:43:31Z kazimir42 quit (Ping timeout: 250 seconds) 2014-12-27T22:48:43Z jumblerg joined #scheme 2014-12-27T22:50:27Z hilquias quit (Remote host closed the connection) 2014-12-27T22:50:31Z hiroakip joined #scheme 2014-12-27T22:52:25Z hilquias joined #scheme 2014-12-27T23:03:47Z mumptai quit (Quit: Verlassend) 2014-12-27T23:04:28Z Guest52757 quit (Changing host) 2014-12-27T23:04:28Z Guest52757 joined #scheme 2014-12-27T23:06:38Z oleo is now known as Guest66245 2014-12-27T23:08:15Z oleo__ joined #scheme 2014-12-27T23:09:23Z Guest66245 quit (Ping timeout: 240 seconds) 2014-12-27T23:13:18Z daviid quit (Ping timeout: 265 seconds) 2014-12-27T23:28:05Z boycottg00gle quit (Remote host closed the connection) 2014-12-27T23:31:12Z tadni joined #scheme 2014-12-27T23:36:23Z zajn quit (Read error: Connection reset by peer) 2014-12-27T23:36:52Z zajn joined #scheme 2014-12-27T23:40:49Z alexei___ joined #scheme 2014-12-27T23:43:45Z oleo__ quit (Quit: Verlassend) 2014-12-27T23:44:23Z excelsior quit (Quit: Lost terminal) 2014-12-27T23:45:32Z jeapostrophe joined #scheme 2014-12-27T23:45:32Z jeapostrophe quit (Changing host) 2014-12-27T23:45:32Z jeapostrophe joined #scheme 2014-12-27T23:48:13Z systemovich_ quit (Quit: See you on the flip-side.) 2014-12-27T23:48:32Z systemovich_ joined #scheme 2014-12-27T23:51:38Z oleo__ joined #scheme 2014-12-27T23:51:53Z oleo__ is now known as oleo