00:00 asumu: (it's not really predicate dispatch based though) 00:00 (quit) sindoc1: Quit: Leaving. 00:01 (join) sindoc 00:01 veer: asumu: right , I will think about posting it to list. 00:03 (quit) jonrafkind: Ping timeout: 245 seconds 00:03 veer: I did glanced over unstable/generics , I will look into it again , I wrote mine out of curiosity , too see how it works 00:04 veer: too -> to 00:05 eli: veer: If you're interested in an on-line course about plai, see pl.barzilay.org 00:06 eli: An idea that I played with would be to run it throughout a semester on-line too -- which would require some volunteer to do the grading. 00:06 eli: (My course is completely paperless, and I can even do the tests remotely.) 00:07 eli: But I didn't see anyone who would actually commit to going through such a thing (and manages to persist a whole semester) without the sword of an academic grade hanging above them. 00:10 (join) dnolen 00:11 (quit) stchang: Read error: Operation timed out 00:12 jamessan probably would have, if not for taking the class in person 00:15 (join) stchang 00:16 veer: wow syllabus looks cools , this is what I want , I guess I can do the catch up , might as well start now :) 00:21 eli: veer: You can try, but we're relatively deep into the semester by now... 00:23 eli: And the grader thing is a requirement for having something that works because you'll need feedback, and if the univeristy finds that I'm spending time with people outside (or worse, make the grader do that) without a corresponding cash return, it won't be too happy about it... 00:23 eli: Maybe jamessan could do that... (He certainly would qualify as a good grader, based on how he did...) 00:23 veer: oh ok , I don't need grades , I'll just follow the syllabus 00:25 jamessan: I have a feeling my day job and compilers course will be keeping me busy :) maybe another term 00:26 eli: jeapostrophe: Heh... 00:27 jeapostrophe: hm? 00:27 veer: just want to be sure : Can I do the HW and view the lectures or it's against the policy 00:27 eli: veer: That's possible to but then you don't get much more than reading a book -- perhas some homeworks with solutions (which I can happily send you). 00:27 eli: jeapostrophe: Bad completion -- it was supposed to be for jamessan. 00:28 veer: right , what I want to do is follow the timeline which is important 00:28 jeapostrophe: Ow, np 00:28 eli: veer: You can certainly do that -- it's there so I can't stop you from doing so. 00:28 eli: As for the solutions, sending them out is not doing real work so that's fine too. 00:28 jeapostrophe: asumu: i wrote that :) 00:28 jeapostrophe: asumu: i think...? maybe it was eli? 00:29 eli: veer: So you can start from the beginning, and email me whenever you finish a homework and I'll send you the solution to compare with. 00:29 eli: If you've tried going through PLAI a few times then it might be possible for you to catch up. 00:30 veer: eli: thanks a lot , I will catch up np 00:30 eli: jeapostrophe: Yeah, I looked at my own code recently (since asumu/samth were talking about it), and the code in unstable/generics is pretty much the same. But I'm not the one who put it there... so that was probably you. 00:31 jeapostrophe: eli: i think maybe i took what you did and wrote some tests and docs and a few changes or something... i remember us talking about it once 00:31 eli: That sounds likely. 00:32 eli: I remember considering it a hack, with some problems that I wasn't happy with, so you probably got fed up waiting for me and just put it in with the rest. 00:32 eli: veer: eli@barzilay.org if you have any questions etc. Also, we're using piazza for the course, maybe you'll want to get on it if only to see the questions that students have asked. (Mail me if so.) 00:37 veer: eli: thanks , I'll do that , created the repo in github for now. 00:37 (nick) offby1` -> offby1 00:38 eli: veer: A repo for solutions? 00:38 veer: yes 00:39 eli: Oh -- please don't make them public... 00:39 eli: I have a very limited pool of homeworks, and my language names are unique enough that your solutions would be easily googleable. 00:39 veer: eli: ok, I'll make it private , sorry I didn't realize 00:40 eli: Thanks... (I should have clarified that: this is why the solutions are the only thing that I don't post publicly.) 00:43 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/lwvYyA 00:43 RacketCommitBot: [racket/master] Fix a bug where retrieving a submission would get appended to the default #lang line. - Eli Barzilay 00:45 eli: bremner: Fixed, finally: http://git.racket-lang.org/plt/commit/fc0fd4b 00:45 eli: bremner: I also have a proper redefinition of `number?', but you're probably not interested in that... 00:46 (quit) dnolen: Remote host closed the connection 00:52 (quit) realitygrill: Quit: realitygrill 01:03 ozzloy: i am not a fan of the new logo 01:03 ozzloy: i'm a fan of the lambda character 01:04 ozzloy: i guess the fancy coloring is ok 01:04 ozzloy: kinda cool and hip and 2.0-y 01:09 (quit) jeapostrophe: Ping timeout: 240 seconds 01:09 gf3: does anyone have any information building a simple parser with read/peek? 01:10 gf3: browsing some planet examples, but they aren't helping 01:10 mithos28: gf3: it is a little different but there is a parser library with racket 01:10 mithos28: rudybot: doc parser-tools 01:10 rudybot: mithos28: your sandbox is ready 01:10 rudybot: mithos28: not found in any library's documentation: parser-tools 01:11 mithos28: rudybot: doc parser 01:11 rudybot: mithos28: no docs for a current binding, but provided by: parser-tools/yacc 01:11 gf3: mithos28: I saw those but I don't think I need anything that complex yet 01:11 mithos28: are you just building a LL1 parser? 01:11 mithos28: recursive decent style? 01:12 gf3: yes eventually, but I just wanted to get the basics down first 01:13 mithos28: I cannot think of any documentation 01:13 mithos28: But my approach would be to write a tokenizer first 01:14 mithos28: and then work on a recursive decent parser 01:14 mithos28: I'm not sure what you mean by basics though, as I think of a recursive decent parser as one of the most simple ones 01:50 (join) _p4bl0` 01:50 (nick) LeNsTR|off -> LeNsTR 01:50 (join) Jasinai_ 01:50 (join) mithos28_ 01:50 (quit) Jasinai: Write error: Connection reset by peer 01:50 (quit) _p4bl0: Write error: Connection reset by peer 01:51 (join) joseph_ 01:52 (quit) joseph_: *.net *.split 01:52 (join) joseph_ 01:52 (quit) duomo: Ping timeout: 258 seconds 01:54 (quit) mithos28: Ping timeout: 245 seconds 01:54 (nick) mithos28_ -> mithos28 01:56 (quit) tonyg: Ping timeout: 244 seconds 01:56 (join) tonyg 01:56 (quit) bmp: Ping timeout: 240 seconds 01:57 (quit) cataska: Ping timeout: 240 seconds 01:57 (quit) chandler: Ping timeout: 240 seconds 01:57 (join) chandler 01:57 (join) cataska 01:58 (nick) chandler -> Guest71020 02:02 (quit) sindoc: *.net *.split 02:02 (quit) elliottcable: *.net *.split 02:02 (quit) Enoria: *.net *.split 02:02 (quit) jaimef: *.net *.split 02:03 (join) sindoc 02:05 (quit) cdidd: Ping timeout: 244 seconds 02:07 (join) jaimef 02:07 (join) Enoria 02:08 (quit) Enoria: Max SendQ exceeded 02:08 (join) elliottcable 02:08 (join) Enoria 02:09 (join) cdidd 02:15 (join) zerokarm1left 02:15 (quit) sindoc: Ping timeout: 416 seconds 02:15 (quit) Fulax_: Ping timeout: 378 seconds 02:15 (quit) chaozzbubi: Ping timeout: 416 seconds 02:15 (quit) eMBee: Ping timeout: 340 seconds 02:15 (join) Fulax 02:15 (join) cipher 02:16 (join) sindoc1 02:16 (quit) zerokarmaleft: Ping timeout: 260 seconds 02:16 (quit) Guest48032: Read error: Connection reset by peer 02:16 (quit) acarrico: Ping timeout: 260 seconds 02:16 (nick) cipher -> Guest89900 02:16 (join) chaozzbubi 02:17 (join) acarrico 02:19 (join) eMBee 02:20 (join) _p4bl0`` 02:21 (join) rsimoes2 02:23 (join) cataska_ 02:23 (join) zerokarmaleft 02:24 (quit) shaatar: Excess Flood 02:24 (quit) abbe: Excess Flood 02:24 (quit) cataska: Write error: Broken pipe 02:24 (quit) _p4bl0`: Write error: Connection reset by peer 02:24 (quit) zerokarm1left: Write error: Broken pipe 02:24 (join) shaatar 02:26 (quit) rsimoes: Ping timeout: 252 seconds 02:26 (quit) snorble_: Ping timeout: 252 seconds 02:27 (join) [1]angusiguess 02:28 (join) abbe 02:31 (join) ozzloy_ 02:31 (join) karswell_ 02:32 (join) cataska 02:32 (join) em_ 02:33 (join) scyrmion_ 02:33 (join) jamessan` 02:33 (join) swartzcr_ 02:33 (join) bremner_ 02:33 (quit) jamessan: Ping timeout: 248 seconds 02:33 (quit) angusiguess: Ping timeout: 248 seconds 02:33 (quit) ozzloy: Ping timeout: 248 seconds 02:33 (quit) karswell: Ping timeout: 248 seconds 02:33 (quit) cataska_: Ping timeout: 248 seconds 02:33 (quit) scyrmion: Ping timeout: 248 seconds 02:33 (quit) Mathieu: Ping timeout: 248 seconds 02:33 (quit) swartzcr: Ping timeout: 248 seconds 02:33 (quit) eli: Ping timeout: 248 seconds 02:33 (quit) jschuster_away: Ping timeout: 248 seconds 02:33 (quit) kvda: Ping timeout: 248 seconds 02:33 (quit) em: Ping timeout: 248 seconds 02:33 (quit) bremner: Remote host closed the connection 02:34 (join) jschuster_away 02:34 (nick) [1]angusiguess -> angusiguess 02:34 (join) Mathieu 02:34 (quit) jaimef: Ping timeout: 245 seconds 02:34 (join) jaimef 02:37 (join) eli 02:41 (join) cataska_ 02:49 (quit) bremner_: Read error: Connection reset by peer 02:49 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/E1F8CQ 02:49 RacketCommitBot: [racket/master] Typos in turtles (code and docs). - Rodolfo Henrique Carvalho 02:49 RacketCommitBot: [racket/master] Guide typos - daniel watson 02:49 (quit) tonyg: Write error: Connection reset by peer 02:49 (quit) cataska: Read error: Connection reset by peer 02:49 (quit) jrslepak: Quit: Leaving 02:49 (join) bremner 02:49 (join) tonyg_ 02:50 (quit) sid0: Ping timeout: 276 seconds 02:50 (quit) ale`: Ping timeout: 276 seconds 02:51 (quit) danking: Ping timeout: 276 seconds 02:51 (join) danking 02:52 (join) sid0 02:56 (quit) Mathieu: Ping timeout: 240 seconds 02:57 (quit) swartzcr_: Ping timeout: 244 seconds 02:57 (join) swartzcr 02:58 (join) Mathieu 03:05 (quit) tonyg_: Ping timeout: 240 seconds 03:05 (join) tonyg 03:06 (quit) em_: Ping timeout: 244 seconds 03:07 (join) em 03:14 (join) [1]angusiguess 03:15 (join) tfb 03:17 (quit) angusiguess: Ping timeout: 276 seconds 03:17 (nick) [1]angusiguess -> angusiguess 03:19 (join) bluezenix 03:21 (quit) sindoc1: Ping timeout: 260 seconds 03:23 (join) robot-beethoven` 03:29 (quit) mithos28: *.net *.split 03:29 (quit) dous_: *.net *.split 03:29 (quit) Shviller: *.net *.split 03:29 (quit) dsantiago: *.net *.split 03:29 (quit) offby1: *.net *.split 03:33 (quit) robot-beethoven`: Quit: ERC Version 5.3 (IRC client for Emacs) 03:35 (join) dous_ 03:35 (join) Shviller 03:35 (join) dsantiago 03:35 (join) offby1 03:36 (join) Patterngazer_ 03:40 (join) Blkt 03:42 (quit) dous_: *.net *.split 03:42 (quit) Shviller: *.net *.split 03:42 (quit) dsantiago: *.net *.split 03:42 (quit) offby1: *.net *.split 03:43 (join) Shviller 03:45 (join) offby1 03:45 (join) dous 03:45 (quit) abbe: Excess Flood 03:46 (quit) offby1: Changing host 03:46 (join) offby1 03:51 (quit) swartzcr: *.net *.split 03:51 (quit) aidy: *.net *.split 03:51 (quit) Blkt: Read error: Connection reset by peer 03:52 (join) Blkt 03:54 (join) abbe 03:54 (quit) JohnnyL: Ping timeout: 461 seconds 03:54 (quit) eMBee: Write error: Connection reset by peer 03:54 (join) JohnnyL 03:55 (join) swartzcr 03:55 (join) aidy 03:55 (join) eMBee 03:57 (join) noelw_ 03:57 (join) vkz 03:58 (quit) Shvillr: Ping timeout: 276 seconds 03:59 (join) Shvillr 04:02 (quit) noelw: Ping timeout: 252 seconds 04:02 (quit) ivan\: Ping timeout: 252 seconds 04:02 (nick) noelw_ -> noelw 04:05 (quit) vkz: Quit: vkz 04:08 (quit) angusiguess: Read error: Connection reset by peer 04:09 (join) karswell__ 04:09 (join) angusiguess 04:11 (join) dsantiago 04:12 (quit) eli: Ping timeout: 245 seconds 04:12 (quit) karswell_: Remote host closed the connection 04:12 (quit) scyrmion_: Remote host closed the connection 04:12 (join) ivan\ 04:12 (quit) ivan\: Excess Flood 04:16 (join) scyrmion 04:18 (nick) LeNsTR -> LeNsTR|off 04:21 (quit) jrslepak_: Ping timeout: 248 seconds 04:23 (join) jrslepak_ 04:38 jaimef: so racket has readline support. seems like would be more common in other repl's 04:38 (quit) veer: Quit: Leaving 04:38 (join) scyrmion_ 04:38 (join) eli 04:41 (quit) scyrmion: Ping timeout: 245 seconds 04:42 (join) sindoc 04:43 (quit) dous: Ping timeout: 240 seconds 04:43 (join) karswell 04:44 (quit) karswell__: Ping timeout: 240 seconds 04:45 (quit) dsantiago: Ping timeout: 244 seconds 04:46 (join) dous 04:57 (join) ivan\ 05:07 (quit) Patterngazer_: Ping timeout: 260 seconds 05:21 (quit) ivan\: Read error: Operation timed out 05:31 (nick) jamessan` -> jamessan 05:37 (join) ahinki 05:52 (join) ivan\ 06:07 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/qxzj3g 06:07 RacketCommitBot: [racket/master] Allow `get-conf' to be used with any key. - Eli Barzilay 06:08 (join) MayDaniel 06:11 (join) snorble_ 06:30 (join) tim-brown 06:42 (quit) Mathieu: Ping timeout: 240 seconds 06:47 (join) Mathieu 06:59 (join) asdfhjkl 07:26 (join) mceier 07:32 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/tAYvmg 07:32 RacketCommitBot: [racket/master] syntax/parse: added experimental template form - Ryan Culpepper 07:40 (join) bluezenix1 07:40 (quit) bluezenix: Ping timeout: 240 seconds 07:45 (nick) Jasinai_ -> jasinai 08:19 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/erjpAA 08:19 RacketCommitBot: [racket/master] adjust some libraries to avoid converting paths to strings too early - Matthew Flatt 08:19 RacketCommitBot: [racket/master] change `current-write-relative-directory' to support more path conversions - Matthew Flatt 08:19 RacketCommitBot: [racket/master] fix error-message formatting - Matthew Flatt 08:19 (nick) chaozzbubi -> ChaozZBubi 08:22 (quit) MayDaniel: Read error: Connection reset by peer 08:49 (join) jeapostrophe 08:55 (quit) joseph_: Quit: Linkinus - http://linkinus.com 08:59 (join) veer 09:01 (join) gciolli 09:11 (join) Patterngazer_ 09:16 (quit) veer: Ping timeout: 244 seconds 09:16 (join) veer 09:19 (nick) ChaozZBubi -> chaozzbubi 09:19 (quit) mceier: Remote host closed the connection 09:19 (join) mceier 09:27 (join) realitygrill 09:30 (join) francisl 09:33 (quit) Guest71020: Changing host 09:33 (join) Guest71020 09:35 (nick) Guest71020 -> chandler 09:42 (nick) samth_away -> samth 09:48 (join) GeneralMaximus 09:50 (part) francisl 09:59 (quit) veer: Quit: Leaving 10:01 (join) MayDaniel 10:32 (join) jrslepak 10:34 (join) dnolen 10:35 (nick) ianj_away -> ianjneu 10:41 (quit) GeneralMaximus: Quit: See you in another life. 10:43 (quit) jrslepak: Ping timeout: 276 seconds 10:44 (join) jrslepak 10:47 (quit) MayDaniel: Read error: Connection reset by peer 10:51 (quit) ahinki: Quit: ChatZilla 0.9.88 [Firefox 11.0/20120201153158] 10:55 (join) jonrafkind 10:57 (join) dme 11:05 (join) dblack__ 11:17 (quit) jrslepak: Quit: This computer has gone to sleep 11:30 (join) anRch 11:32 jonrafkind: if I have an arbitrary pattern in syntax/parse how can I get all the matched syntax? well really I'm using a syntax-class 11:34 (nick) jschuster_away -> jschuster 11:36 (quit) bluezenix1: Quit: Leaving. 11:36 (nick) LeNsTR|off -> LeNsTR 11:39 (quit) ivan\: Quit: ERC Version 5.3 (IRC client for Emacs) 11:40 (nick) chaozzbubi -> ChaozZBubi 11:44 (join) MayDaniel 11:46 (nick) ChaozZBubi -> chaozzbubi 11:48 (join) samth_ 11:49 (quit) MayDaniel: Read error: Connection reset by peer 11:54 (join) ivan\ 11:58 (quit) anRch: Quit: anRch 12:04 (quit) sindoc: Quit: Leaving. 12:05 (join) anRch 12:05 (join) vkz 12:10 (part) noelw 12:22 (quit) tim-brown: Remote host closed the connection 12:22 (join) MayDaniel 12:22 JohnnyL: can you overload functions in Racket? 12:25 (nick) LeNsTR -> LeNsTR|off 12:26 samth_: JohnnyL, that depends on the function 12:26 samth_: some function, like `dict-ref' are set up to support overriding 12:26 samth_: but by default, functions are just functions 12:27 (join) bluezenix 12:28 (quit) Patterngazer_: Ping timeout: 245 seconds 12:29 (join) MarkSoric 12:29 JohnnyL: samth: how about user defined functions 12:29 JohnnyL: ? 12:29 JohnnyL: and keyword should I look forward to read about this? 12:29 JohnnyL: and *what* keyword should I look forward to read about this? 12:30 JohnnyL: my goal is to not waste alot of time in function reuse. I would like to inherit essentially, preferably with the same name function. 12:31 MarkSoric: Just wondering if some kind people might take a look at this - http://codepad.org/D9vmyGf2 It was an assignment question where we had to implement linked lists in Racket without the use of any built-in list functions. The solution I submitted made use of structures and it worked very nicely. This was my first attempt that used pure lambda representation of abstract lists. 12:32 MarkSoric: I submitted this to the testing server and it failed, I think due to the iappend function taking too long. My question is this: is it possible to create a "back cons" type of function that will consume two lists and do the following: 12:32 (quit) MayDaniel: Read error: Connection timed out 12:32 (quit) samth_: Ping timeout: 240 seconds 12:32 MarkSoric: Take the first element of list1 and cons it to list2. Then, take the second element of list2 and put it in between the first element of the mutated list2 and the rest of list2. 12:32 (join) MayDaniel 12:33 MarkSoric: Reversing and consign gets me there in O(2n) where n is the length of the first list, I'm wondering if I can do it in O(n). 12:38 (quit) anRch: Quit: anRch 12:39 (quit) vkz: Ping timeout: 240 seconds 12:43 (join) EmmanuelOga 12:44 samth: JohnnyL: see http://docs.racket-lang.org/unstable/Generics.html 12:45 (quit) realitygrill: Quit: realitygrill 12:49 (quit) gciolli: Quit: Leaving. 12:50 JohnnyL: samth: wow, thats pretty hard to read for a newbie. 12:51 (quit) Blkt: Remote host closed the connection 12:51 samth: JohnnyL: defining overloaded functions is probably not the right thing for a newbie 12:51 JohnnyL: I suppose my goal is to accept different types of function parameters using the same name. or reusing inherited. 12:51 samth: JohnnyL: do you have something specific in mind? 12:52 MarkSoric: Can anyone suggest a method for reversing a list without using append? 12:57 JohnnyL: samth: yes, for instance take a equal operator, make it a functoin in Racket then make a functoin that accepts parameters which are structures. the overloaded functions that check the equivalences of all the parts of the structure. I want to make this for many different types of structures, but the structures are different in many respects, mostly in structure and depth (think hierarchical). 12:57 JohnnyL: I hope I am explaining this correctly. 12:59 samth: JohnnyL: `equal?' is already overloaded in the way you're describing 12:59 MarkSoric: ? 12:59 MarkSoric: ? 12:59 samth: MarkSoric: is this for homework? 13:00 (join) realitygrill 13:00 MarkSoric: No. Well, that's not true. It was for homework and it was submitted using structures, I'm trying to see for my own curiosity if I can represent lists on my own with pure lambda as opposed to using structs like I did in the submitted assigment. Deadline for submission was 11:59 this morning, I can provide link if needed. 13:01 samth: MarkSoric: using just lambda is pretty different than "not using append" 13:01 MarkSoric: The method with structures worked for me and I passed all required tests but I'd like to see if I can Lambda the whole thing. So far, everything works except for append 13:01 samth: to avoid using append, try an accumulator 13:02 MarkSoric: Hmm… not sure what you mean. Like use an acc in the append function I'm trying to write, or use it to reverse a list? 13:02 samth: well, either 13:02 MarkSoric: My dilemma is that methods that I know to reverse a list rely on append and methods to append rely on reverse, so I can't figure out how to get them both working together 13:03 samth: MarkSoric: accumulators are the solution in both cases 13:03 MarkSoric: Ok, now what about a back-cons type of function, is that even possible? 13:04 samth: easy to define using either `append' or `reverse'. :) 13:04 MarkSoric: But then how do I keep track of my position within the list? The ultimate goal is for append to run in exactly O(n), not O(2n) (which I know, is not a big deal, just wondering if it's possible) 13:05 samth: any of these functions can be written in O(n) time 13:05 MarkSoric: I reverse isn't my problem, actually. It's append. I can't figure out for the write an append function for the way I'm representing my list types 13:06 samth: append is easy if you follow the structure of your data 13:07 JohnnyL: samth: equal as it is defined now can handle equivalences between complex and real numbers, embedded in structures. 13:07 samth: right 13:08 JohnnyL: samth: can you please direct me to a page? 13:09 samth: JohnnyL: http://pre.racket-lang.org/docs/html/reference/booleans.html?q=equal%3F#%28def._%28%28quote._~23~25kernel%29._equal~3f%29%29 13:09 rudybot: http://tinyurl.com/7qz29gu 13:09 samth: see also: http://pre.racket-lang.org/docs/html/reference/booleans.html?q=equal%3F#%28def._%28%28quote._~23~25kernel%29._prop~3aequal+hash%29%29 13:09 rudybot: http://tinyurl.com/7wffluk 13:09 MarkSoric: samth: Can't see how unfortunately :( Bummer. As an aside, is it possible to use pointers in racket? 13:09 (join) Patterngazer_ 13:10 bremner: maybe you want boxes 13:10 MarkSoric: boxes? Tell me of these :P 13:11 bremner: http://docs.racket-lang.org/guide/boxes.html?q=boxes 13:11 samth: MarkSoric: see this discussion in htdp: http://htdp.org/2003-09-26/Book/curriculum-Z-H-1.html#node_toc_node_sec_17.1 13:11 rudybot: http://tinyurl.com/73je7vr 13:12 MarkSoric: bremner: Not sure that really helps me though. The whole idea is to implement all the functions and data structures myself. 13:12 samth: MarkSoric: in terms of what? 13:13 MarkSoric: lambdas 13:13 JohnnyL: samth: yes I have been reading those pages. 13:14 JohnnyL: Unfortunately you have to define new symbols to represent 13:14 MarkSoric: I've defined a list as a function that consumes another function that takes as its arguments the elements of the list. I'm trying to do everything as abstractly as I can. 13:14 JohnnyL: the comparisons. 13:14 samth: JohnnyL: I don't understand what you're saying 13:14 samth: MarkSoric: what do pointers have to do with this? 13:15 MarkSoric: Because ideally, I would like to point the end of the first list to the start of the second. 13:15 MarkSoric: and return the list created by doing so. 13:15 (nick) chaozzbubi -> ChaozZBubi 13:16 samth: MarkSoric: you really really don't want to confuse mutable lists and implementing lists in terms of functions 13:16 MarkSoric: samth: But aren't lists implemented in scheme at the lowest levels as functions? 13:16 samth: MarkSoric: no 13:16 MarkSoric: So how are they represented then? 13:17 samth: they're implemented as data structures with two fields 13:17 samth: which are accessed by `first'/`rest' 13:18 MarkSoric: I was under the impression that all data structures in scheme were fundamentally equivalent to functions 13:18 samth: MarkSoric: that's not true at all, except in the trivial sense that you can compute anything with just functions 13:18 MarkSoric: samth: So what I'm trying to do is not possible then? 13:19 samth: MarkSoric: no, it's perfectly possible 13:19 samth: well, implementing lists with `append', `reverse', etc as functions 13:19 MarkSoric: I'm just going about it the wrong way then? 13:19 samth: is entirely possible 13:19 samth: MarkSoric: look up "church encoding" 13:20 MarkSoric: okie dokie 13:20 JohnnyL: samth: nevermind I wanted to define an equals that didn't have to have so many temporary symbols/stages from a programmer's perspective. 13:21 (nick) ChaozZBubi -> chaozzbubi 13:21 samth: JohnnyL: the reason it's complex is so that it can support overloading 13:21 samth: you can implement something simpler, but less general 13:22 (quit) tfb: Quit: sleeping 13:23 (part) MarkSoric 13:28 JohnnyL: samth: agreed it's not at all amicable. 13:35 (join) dsantiago 13:39 (quit) jeapostrophe: Ping timeout: 245 seconds 13:54 (join) anRch 14:01 (quit) realitygrill: Quit: realitygrill 14:08 (nick) chaozzbubi -> ChaozZBubi 14:17 (join) realitygrill 14:22 RacketCommitBot: [racket] plt pushed 8 new commits to master: http://git.io/WogOkA 14:22 RacketCommitBot: [racket/master] Fix typo. - Vincent St-Amour 14:22 RacketCommitBot: [racket/master] Use trusted sandbox for Performance Report. - Vincent St-Amour 14:22 RacketCommitBot: [racket/master] Simplify TR log processing and move part of it to Performance Report. - Vincent St-Amour 14:25 (join) jrslepak 14:29 (quit) jrslepak: Client Quit 14:43 (join) bmp 14:46 (quit) realitygrill: Quit: realitygrill 14:48 (nick) LeNsTR|off -> LeNsTR 14:56 (quit) anRch: Quit: anRch 15:06 (part) JohnnyL 15:14 (nick) ozzloy_ -> ozzloy 15:17 (join) realitygrill 15:19 (quit) shaatar: Ping timeout: 240 seconds 15:19 (quit) SeanTAllen: Max SendQ exceeded 15:20 (join) SeanTAllen 15:22 (quit) Patterngazer_: Quit: Life without danger is a waste of oxygen 15:30 (quit) realitygrill: Ping timeout: 260 seconds 15:41 (quit) SeanTAllen: Ping timeout: 260 seconds 15:41 (quit) sid0: Ping timeout: 240 seconds 15:42 (quit) mceier: Read error: Operation timed out 15:46 (join) mceier 16:03 (join) Sicp 16:07 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/Df_79w 16:07 RacketCommitBot: [racket/master] make a sandbox test much less likely to fail - Matthew Flatt 16:07 RacketCommitBot: [racket/master] fix race condition in subprocess handling (when places enabled) - Matthew Flatt 16:07 RacketCommitBot: [racket/master] change `raco demod' test to write to temporary drectory - Matthew Flatt 16:24 (quit) MayDaniel: Read error: Connection reset by peer 16:36 (quit) cdidd: Remote host closed the connection 17:16 (quit) shadgregory: Quit: ERC Version 5.3 (IRC client for Emacs) 17:22 (part) bmp 17:23 (join) masm 17:26 (join) ticking 17:43 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/vsrbAw 17:43 RacketCommitBot: [racket/master] Make inference understand the relationship between `Vector' and `Vectorof'. - Sam Tobin-Hochstadt 17:45 (nick) samth -> samth_away 17:57 (quit) asumu: Read error: Operation timed out 17:59 (join) asumu 18:11 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/6H3ZJQ 18:11 RacketCommitBot: [racket/master] add two links to redex docs - Robby Findler 18:11 RacketCommitBot: [racket/master] adjust test suite to match new lack-of-absolute-paths feature - Robby Findler 18:11 RacketCommitBot: [racket/master] adjust runtime errortraces in redex to manipulate namespaces a little more carefully - Robby Findler 18:22 (quit) dnolen: Quit: Page closed 18:23 (join) jeapostrophe 18:27 (quit) jonrafkind: Read error: Operation timed out 18:32 (quit) dblack__: Quit: dblack__ 18:36 (quit) Sicp: Remote host closed the connection 18:39 (nick) LeNsTR -> LeNsTR|off 18:41 (quit) jeapostrophe: Ping timeout: 260 seconds 18:42 (join) DanBurton 18:45 (join) jeapostrophe 18:47 (quit) ticking: Quit: Linkinus - http://linkinus.com 18:48 (join) ticking 18:50 (join) jonrafkind 18:55 (quit) bluezenix: Quit: Leaving. 18:59 (quit) masm: Quit: Leaving. 19:13 (nick) jschuster -> jschuster_away 19:18 (quit) angusiguess: Read error: Connection reset by peer 19:19 (join) angusiguess 19:27 (quit) DanBurton: Quit: Leaving 19:29 (quit) mceier: Quit: leaving 19:34 (quit) ticking: Quit: Linkinus - http://linkinus.com 19:41 (quit) jonrafkind: Ping timeout: 252 seconds 20:00 (part) offby1: "ERC Version 5.3 (IRC client for Emacs)" 20:01 (nick) ChaozZBubi -> chaozzbubi 20:02 (quit) asdfhjkl: Quit: Leaving 20:03 (join) jrslepak 20:14 (quit) jeapostrophe: Ping timeout: 244 seconds 20:17 (join) dspt 20:34 (quit) dous: Remote host closed the connection 20:40 (join) karswell_ 20:40 (quit) karswell: Ping timeout: 265 seconds 21:13 (join) duomo 21:21 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/z3Qehg 21:21 RacketCommitBot: [racket/master] Added would-be-future - James Swaine 21:50 (join) jonrafkind 21:51 (join) dous 21:58 (quit) duomo: Quit: Linkinus - http://linkinus.com 22:07 (join) dblack 22:23 flying_rhino: how namespaces work in racket and typed racket? 22:30 (quit) dsantiago: Ping timeout: 265 seconds 22:33 (quit) angusiguess: Read error: Connection reset by peer 22:34 bremner: flying_rhino: do you maybe mean http://docs.racket-lang.org/guide/modules.html?q=module 22:34 (join) angusiguess 23:51 (join) veer 23:51 (join) kvda 23:51 (quit) Mathieu: Ping timeout: 240 seconds