00:07:33 copumpkin [~copumpkin@unaffiliated/pumpkingod] has joined #scheme 00:09:04 -!- mmc [~michal@178-85-131-65.dynamic.upc.nl] has quit [Ping timeout: 240 seconds] 00:14:01 -!- peddie [~peddie@repl.esden.net] has left #scheme 00:19:45 -!- hypnocat [~hypnocat@unaffiliated/hypnocat] has quit [Ping timeout: 244 seconds] 00:23:33 hypnocat [~hypnocat@unaffiliated/hypnocat] has joined #scheme 00:26:36 -!- metasyntax [~taylor@c-98-214-251-184.hsd1.in.comcast.net] has quit [Quit: WeeChat [quit]] 00:35:15 -!- hypnocat [~hypnocat@unaffiliated/hypnocat] has quit [Ping timeout: 244 seconds] 00:39:31 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Remote host closed the connection] 00:46:02 teurastaja [~chatzilla@modemcable168.103-58-74.mc.videotron.ca] has joined #scheme 00:47:35 -!- thing2 [~Thing2@MYWANG.MIT.EDU] has left #scheme 00:48:14 -!- seamus-android [~seamus-an@cpc20-brig17-2-0-cust233.3-3.cable.virginmedia.com] has quit [Quit: Leaving] 01:04:47 -!- rostayob [~rostayob@host86-137-12-40.range86-137.btcentralplus.com] has quit [Quit: WeeChat 0.3.5] 01:11:39 replore [~replore@203.152.213.161.static.zoot.jp] has joined #scheme 01:16:04 albert-sicp [~albert-si@24-205-81-111.dhcp.psdn.ca.charter.com] has joined #scheme 01:20:44 -!- teurastaja [~chatzilla@modemcable168.103-58-74.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 01:31:30 -!- TashBear [~da_tash@unaffiliated/el-tash/x-7763973] has left #scheme 01:32:04 jcowan: using several files allows you to access more directly certain groups of definitions. To the limit, you could have one file per function (this was often done in early unix programs). But this also has little importance: this could be done by the editor automatically. You could write an emacs extension that would present you with a unified and structured view of the sources, and that would take in its own hand the matter of 01:32:04 storing the sources into files. 01:32:12 -!- albert-sicp [~albert-si@24-205-81-111.dhcp.psdn.ca.charter.com] has quit [Remote host closed the connection] 01:33:54 pjb: Thanks. Unfortunately, I'm stuck with the IDE I'm stuck with in this case. The irritating part about it is that while it displays a unified view, when you want to make changes you have to switch to a disunified view. 01:34:14 You have to navigate in the hierarchy :-) 01:34:39 And again, the point is that this may give you a more direct access. But then, you can also skip to what you want with the search command. 01:36:00 Sort of. Search lets me search for objects, but it does not tell me which file the object is defined in. 01:36:18 CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has joined #scheme 01:36:25 There is no hierarchy: rather, the files are unified (in the Prolog sense) 01:36:43 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 260 seconds] 01:37:07 When you split sources into different files you're creating a hierarchy. You may even put files in subdirectories to deeppen it. 01:37:13 -!- wbooze [~wbooze@xdsl-87-79-197-80.netcologne.de] has quit [Quit: no reason] 01:38:54 how do I print things 01:39:09 Hit Print 01:39:18 mikecsh [~mikecsh@n219079215236.netvigator.com] has joined #scheme 01:39:26 qu1j0t3: is that next to any key? 01:39:26 -!- brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has quit [Ping timeout: 252 seconds] 01:39:30 mister_m: you want (display ...) or, if available, (print ...) 01:39:46 mister_m: what implementation are you using? 01:39:55 qu1j0t3: chicken - display works 01:40:07 mister_m: then so does print. also, Chicken has a pretty good manual online. 01:40:07 as does rpint 01:40:21 you won't get far without the manual. 01:40:37 a fair point, thank you 01:42:29 mister_m: http://wiki.call-cc.org/man/4/The%20User%27s%20Manual 01:44:43 stunsg [~dous@210.24.42.190] has joined #scheme 01:48:32 airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has joined #scheme 01:48:35 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 01:50:03 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 01:51:16 kvda [~kvda@124-169-134-221.dyn.iinet.net.au] has joined #scheme 01:51:18 brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has joined #scheme 01:52:29 -!- mister_m [~mattosaur@2620:0:2250:2104:223:5aff:fe7e:cc97] has quit [Remote host closed the connection] 01:59:59 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 244 seconds] 02:02:04 -!- stunsg [~dous@210.24.42.190] has quit [Remote host closed the connection] 02:08:02 stunsg [~dous@210.24.42.190] has joined #scheme 02:18:20 64MAAKKLQ [~Prael@dialup-4.245.68.235.Dial1.StLouis1.Level3.net] has joined #scheme 02:18:20 -!- 64MAAKKLQ [~Prael@dialup-4.245.68.235.Dial1.StLouis1.Level3.net] has quit [Client Quit] 02:19:24 mister_m [~mattosaur@216-80-123-91.c3-0.drb-ubr1.chi-drb.il.cable.rcn.com] has joined #scheme 02:20:23 -!- bytbox [~s@129.2.129.231] has quit [Ping timeout: 255 seconds] 02:20:37 -!- mikecsh [~mikecsh@n219079215236.netvigator.com] has quit [Quit: mikecsh] 02:20:57 mikecsh [~mikecsh@n219079215236.netvigator.com] has joined #scheme 02:23:10 -!- githogori [~githogori@216.207.36.222] has quit [Ping timeout: 276 seconds] 02:25:51 -!- GoKhlaYeh [~GoKhlaYeh@135.51.68.86.rev.sfr.net] has quit [Ping timeout: 245 seconds] 02:27:23 mikecsh_ [~mikecsh@n219079215236.netvigator.com] has joined #scheme 02:29:14 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 02:31:08 -!- mikecsh [~mikecsh@n219079215236.netvigator.com] has quit [Ping timeout: 240 seconds] 02:31:08 -!- mikecsh_ is now known as mikecsh 02:48:48 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 02:51:21 adu [~ajr@pool-173-66-11-4.washdc.fios.verizon.net] has joined #scheme 02:54:57 homie` [~levgue@xdsl-78-35-128-93.netcologne.de] has joined #scheme 02:56:18 -!- homie [~levgue@xdsl-87-79-197-80.netcologne.de] has quit [Ping timeout: 244 seconds] 02:57:30 -!- jrapdx [~jra@74-95-41-205-Oregon.hfc.comcastbusiness.net] has quit [Remote host closed the connection] 03:00:38 -!- airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has quit [] 03:04:36 powderfurdayz [~powderfur@c-76-104-206-192.hsd1.wa.comcast.net] has joined #scheme 03:04:53 Anyone here able to help me for a minute or two? 03:05:06 powderfurdayz: Maybe, what do you need? 03:06:30 Implement function called evaluate-formula. The function should take as input a list representing a fully parenthesized logical formula of the propositional calculus whose constituent propositions are the values #t and #f 03:07:08 and I'll be inputting this into.. 03:07:14 ( (#t or (#f implies #f)) and (#t and ((#f implies (not (#f or #t))) )) 03:08:22 Any tips or suggestions of how to set it up would be much appreciated 03:08:38 I sorta have an idea.. as this is what my code looks like so far(not finished) 03:10:26 Use the lisppaste bot 03:10:35 http://pastebin.com/7P2tZAQB 03:11:01 that works too 03:16:36 powderfurdayz: 1- transform the expression into prefix. 2- evaluate the prefix form. 03:17:33 powderfurdayz: what about (#t and #t and #t and #f) ? Is this a valid form? 03:17:44 0- define the input format. 03:19:19 And yes, even while lisppaste is currently disconnected from irc, it's much nicer for lisp (and scheme) pastes. 03:21:03 hypnocat [~hypnocat@unaffiliated/hypnocat] has joined #scheme 03:21:16 hmm let me check first and alright ill use it in the future 03:22:06 Mind explaining me how you got that? 03:22:31 sousousou [~bcarmer@host-72-174-54-175.msl-mt.client.bresnan.net] has joined #scheme 03:22:49 not(#f or #t) = (not #f and not #t) 03:23:08 but #f implies (not #f and not #t)... 03:24:49 -!- masm [~masm@bl16-198-254.dsl.telepac.pt] has quit [Quit: Leaving.] 03:24:51 #f => #f is true. 03:26:58 -!- em [~em@unaffiliated/emma] has quit [Ping timeout: 252 seconds] 03:27:20 wow i feel stupid.. 03:27:38 because a false proposition implies anything :) 03:27:54 eheh 03:28:35 that's wrong 03:28:45 it does not imply anything 03:29:15 the truth table for 'imply' is TTFT 03:29:34 homie`: http://en.wikipedia.org/wiki/Truth_table#Logical_implication 03:30:11 yes yes.... 03:32:14 em [~em@unaffiliated/emma] has joined #scheme 03:32:51 -!- homie` [~levgue@xdsl-78-35-128-93.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:34:10 bytbox [~s@129.2.129.231] has joined #scheme 03:34:17 wbooze [~wbooze@xdsl-78-35-128-93.netcologne.de] has joined #scheme 03:34:32 haha im right... 03:35:07 Think about it with a context, makes more sense 03:37:05 false does imply anything 03:37:11 that is the canonical false elimination rule 03:38:30 #t => #f is #f 03:39:11 yes false does imply anything but the proposition itself did not 03:39:27 it was t not ? 03:39:44 #f => #f is #t you said not ? 03:39:46 homie [~levgue@xdsl-78-35-128-93.netcologne.de] has joined #scheme 03:40:15 in the context of a truth table a false propistion will always return true 03:40:25 Thats what I meant to say... 03:40:41 I realize that #t implies #f is #f 03:41:01 everything else is true 03:44:07 hey soo pjb...regarding what you said, if its logically possible to do that I could write the code to solve it 03:44:32 thats where Im getting stuck 03:53:05 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Ping timeout: 252 seconds] 03:57:24 powderfurdayz: first answer question 0. 03:57:27 0- define the input format. 04:04:25 It's easy, why the delay? form := #t | #f | ( form { or form } ) | ( form { and form } ) | ( form { imply form } ) . or use [ ] if there's no repeatition. Or perhaps use several non-terminals if you may have input such as ( #f and #t or #f and #f ) meaning ( (#f and #t) or (#f and #f) ), etc. 04:06:56 -!- CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has quit [Quit: leaving] 04:06:59 sorry was afk 04:07:09 give me sec to catch up 04:07:13 -!- bytbox [~s@129.2.129.231] has quit [Ping timeout: 260 seconds] 04:07:47 shurane [~mortimer@pool-71-246-112-82.nycmny.east.verizon.net] has joined #scheme 04:10:33 hmm 04:10:38 -!- turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 04:11:00 bytbox [~s@129.2.129.231] has joined #scheme 04:11:53 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 04:15:18 alright so with what you said 04:15:49 would i substitute #t|#f into the form? I havent seen this type of context/syntax before..sorry.. 04:16:12 powderfurdayz: thats BNF, Backus Naur Form. as old as CS. 04:16:24 http://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form 04:16:46 It's how we describe syntax. 04:16:52 file formats, programming languages, etc. 04:23:46 -!- bytbox [~s@129.2.129.231] has quit [Ping timeout: 245 seconds] 04:25:09 -!- replore [~replore@203.152.213.161.static.zoot.jp] has quit [Ping timeout: 252 seconds] 04:26:28 githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has joined #scheme 04:33:04 -!- MrFahrenheit [~RageOfTho@users-38-111.vinet.ba] has quit [Ping timeout: 245 seconds] 04:41:15 powderfurdayz: problems with BNF? 04:53:41 -!- clog [~nef@bespin.org] has quit [Ping timeout: 248 seconds] 04:56:21 -!- Nisstyre [~yours@c-208-90-102-250.netflash.net] has quit [Quit: Leaving] 04:59:53 leo2007 [~leo@124.72.163.37] has joined #scheme 05:01:19 -!- langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 05:08:42 teurastaja [~chatzilla@modemcable168.103-58-74.mc.videotron.ca] has joined #scheme 05:17:49 -!- teurastaja [~chatzilla@modemcable168.103-58-74.mc.videotron.ca] has quit [Quit: ChatZilla 0.9.88 [SeaMonkey 2.6.1/20111221001913]] 05:18:44 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 05:18:56 jrapdx [~jra@c-76-105-198-230.hsd1.or.comcast.net] has joined #scheme 05:22:30 attila_lendvai [~attila_le@87.247.39.197] has joined #scheme 05:22:35 -!- attila_lendvai [~attila_le@87.247.39.197] has quit [Changing host] 05:22:35 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 05:23:17 gravicappa [~gravicapp@ppp91-77-180-59.pppoe.mtu-net.ru] has joined #scheme 05:40:33 clog [~nef@bespin.org] has joined #scheme 05:48:59 turbofail [~user@99-121-57-65.lightspeed.sntcca.sbcglobal.net] has joined #scheme 05:53:06 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 05:53:24 confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 06:08:04 -!- shurane [~mortimer@pool-71-246-112-82.nycmny.east.verizon.net] has quit [Ping timeout: 240 seconds] 06:14:14 SaintAlex [~saintalex@119.152.95.207] has joined #scheme 06:14:26 hey guys 06:14:28 aaa 06:14:34 can one of u help me 06:14:39 \\\ 06:14:42 helloo 06:15:08 Yes, I can help you: you is spelled Y O U, "you", not "u". 06:15:24 yeah 06:15:27 thanks for that 06:15:36 aaru in switzerland 06:15:51 What does "aaru" mean? 06:15:55 jeez 06:15:55 are you? 06:15:57 are you 06:16:08 No, I'm noot in Switzerland. 06:16:11 in switzerland 06:16:16 damn 06:16:17 whats the question.. 06:16:35 I don't know, I assume about spelling and whether we are in Switzerland. 06:16:54 ineed to make a neteller account 06:17:17 haha obviously, btw the shit about BNF was too confusing for my impaired brain atm 06:17:17 What is a neteller account, and how is it related to the scheme programming language? 06:17:25 albert-sicp [~albert-si@adsl-71-156-44-252.dsl.irvnca.sbcglobal.net] has joined #scheme 06:17:38 powderfurdayz: simply the question is whether (X or Y or Z) is allowed or not? 06:17:45 I havent even heard of a neteller.. 06:17:50 and whether (X and Y or W and Z) is too? 06:17:55 well isearched switzerland irc on google 06:18:53 I live in washington state in the US 06:19:14 Thats not how I found this location... 06:19:33 location being this chat service 06:19:57 yeah igot that 06:19:59 powderfurdayz: in any case, it's up to you. My suggestion in point 1- being that you take the input infix expression and turn it into a normalized prefix expression. (to-prefix '(#t or (#f and #t))) --> (or #t (and #f #t)) ; then in point 2- you can process this prefix moro easily. 06:20:16 SaintAlex: What is a neteller account, and how is it related to the scheme programming language? 06:20:26 its not 06:20:33 and im off 06:20:37 Good bye. 06:20:45 -!- SaintAlex [~saintalex@119.152.95.207] has left #scheme 06:23:21 alrighty then.. 06:23:26 and Ok I get that now 06:23:36 I dont know why I didnt understand that earlier 06:23:41 makes more sense now 06:23:53 wait 06:24:02 is to-prefix already defined? 06:24:10 or is that a function i need to write 06:24:16 If you want to process expressions such as ($t and $f imply #t or #f), you need a grammar, to know how to parse them. 06:24:34 to-prefix is whatyou have to write to fulfill point 1-. 06:24:43 ahh 06:24:53 Thought it mightve been predefined 06:25:06 in point 2- you write logic-eval and the solution is (logic-eval (to-prefix expr)). 06:26:14 But to implement logic-eval you could just use eval, if you define the missing operators such as imply as scheme functions. 06:26:15 hba [~hba@189.130.157.210] has joined #scheme 06:26:19 ok cool 06:30:09 -!- brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has quit [Ping timeout: 252 seconds] 06:30:42 brendyn [~brendyn@123-2-73-61.static.dsl.dodo.com.au] has joined #scheme 06:30:55 -!- erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has quit [Ping timeout: 240 seconds] 06:36:06 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 06:36:24 zmyrgel [~user@193.64.112.22] has joined #scheme 06:41:55 -!- hba [~hba@189.130.157.210] has quit [Quit: leaving] 06:47:23 -!- dnolen [~user@ppp-70-249-145-33.dsl.rcsntx.swbell.net] has quit [Remote host closed the connection] 06:47:27 -!- wbooze [~wbooze@xdsl-78-35-128-93.netcologne.de] has quit [Read error: Connection reset by peer] 07:00:34 wbooze [~wbooze@xdsl-78-35-128-93.netcologne.de] has joined #scheme 07:07:48 -!- albert-sicp [~albert-si@adsl-71-156-44-252.dsl.irvnca.sbcglobal.net] has quit [Remote host closed the connection] 07:10:44 -!- gravicappa [~gravicapp@ppp91-77-180-59.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 07:10:59 -!- Khisanth [~Khisanth@50.14.244.111] has quit [Ping timeout: 245 seconds] 07:22:04 gravicappa [~gravicapp@ppp91-77-179-81.pppoe.mtu-net.ru] has joined #scheme 07:22:05 nwr [52d1a364@gateway/web/freenode/ip.82.209.163.100] has joined #scheme 07:22:11 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 07:24:50 Khisanth [~Khisanth@50.14.244.111] has joined #scheme 07:31:18 -!- zmyrgel [~user@193.64.112.22] has quit [Read error: Connection reset by peer] 07:33:42 -!- adu [~ajr@pool-173-66-11-4.washdc.fios.verizon.net] has quit [Quit: adu] 07:36:55 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 248 seconds] 07:37:06 djcb [djcb@nat/nokia/x-ifqpsmqalokwkawv] has joined #scheme 07:40:29 powderfurdayz: so, how does it come out? 07:43:47 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 245 seconds] 07:46:07 powderfurdayz: solution: http://paste.lisp.org/display/127294 07:47:29 -!- stunsg [~dous@210.24.42.190] has quit [Remote host closed the connection] 07:47:45 dous_ [~dous@210.24.42.190] has joined #scheme 07:55:21 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 07:55:34 realitygrill [~realitygr@76.226.139.138] has joined #scheme 08:02:08 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 08:02:34 realitygrill [~realitygr@76.226.139.138] has joined #scheme 08:03:12 attila_lendvai1 [~attila_le@87.247.60.111] has joined #scheme 08:03:12 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 08:03:12 -!- attila_lendvai1 is now known as attila_lendvai 08:03:13 -!- attila_lendvai [~attila_le@87.247.60.111] has quit [Changing host] 08:03:13 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 08:15:18 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 08:21:54 -!- powderfurdayz [~powderfur@c-76-104-206-192.hsd1.wa.comcast.net] has quit [Quit: IRC webchat at http://irc2go.com/] 08:23:11 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 08:23:34 realitygrill [~realitygr@76.226.139.138] has joined #scheme 08:25:47 Ragnaroek [~chatzilla@p5081C204.dip.t-dialin.net] has joined #scheme 08:26:59 -!- mister_m [~mattosaur@216-80-123-91.c3-0.drb-ubr1.chi-drb.il.cable.rcn.com] has quit [Remote host closed the connection] 08:40:13 tom_i [~thomasing@cmc.beaming.biz] has joined #scheme 08:43:33 ahinki [~chatzilla@212.99.10.150] has joined #scheme 08:46:38 -!- nwr [52d1a364@gateway/web/freenode/ip.82.209.163.100] has quit [Quit: Page closed] 08:47:55 wingo [~wingo@90.164.198.39] has joined #scheme 08:50:12 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 08:50:29 realitygrill [~realitygr@76.226.139.138] has joined #scheme 08:56:03 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 08:56:30 realitygrill [~realitygr@76.226.139.138] has joined #scheme 08:56:38 -!- leo2007 [~leo@124.72.163.37] has quit [Ping timeout: 240 seconds] 08:58:59 -!- turbofail [~user@99-121-57-65.lightspeed.sntcca.sbcglobal.net] has quit [Remote host closed the connection] 09:01:51 -!- Ragnaroek [~chatzilla@p5081C204.dip.t-dialin.net] has quit [Remote host closed the connection] 09:07:14 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 09:07:33 realitygrill [~realitygr@76.226.139.138] has joined #scheme 09:08:46 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 09:08:47 realitygrill_ [~realitygr@76.226.139.138] has joined #scheme 09:14:09 -!- realitygrill_ [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 09:14:12 realitygrill [~realitygr@76.226.139.138] has joined #scheme 09:18:45 zlszk [~user@116.114.208.98] has joined #scheme 09:21:11 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 09:21:37 realitygrill [~realitygr@76.226.139.138] has joined #scheme 09:22:56 -!- finnrobi_ [~robb@xvm-20-190.ghst.net] has quit [Ping timeout: 255 seconds] 09:29:29 -!- ahinki [~chatzilla@212.99.10.150] has quit [Read error: Connection reset by peer] 09:29:36 ahinki [~chatzilla@212.99.10.150] has joined #scheme 09:30:47 -!- kvda [~kvda@124-169-134-221.dyn.iinet.net.au] has quit [Quit: x___x] 09:34:04 -!- incubot [incubot@72.51.35.14] has quit [Remote host closed the connection] 09:35:13 incubot [incubot@klutometis.wikitex.org] has joined #scheme 09:35:46 -!- realitygrill [~realitygr@76.226.139.138] has quit [Read error: Connection reset by peer] 09:35:48 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Remote host closed the connection] 09:35:50 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 09:36:08 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 09:36:26 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 09:36:46 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 09:36:49 -!- ahinki [~chatzilla@212.99.10.150] has quit [Ping timeout: 245 seconds] 09:36:58 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Excess Flood] 09:37:14 -!- ecraven [~nex@www.nexoid.at] has quit [Ping timeout: 245 seconds] 09:37:14 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 09:37:14 -!- tessier [~treed@kernel-panic/copilotco] has quit [Ping timeout: 245 seconds] 09:37:39 -!- ve [~a@vortis.xen.tardis.ed.ac.uk] has quit [Ping timeout: 245 seconds] 09:38:03 ecraven [~nex@www.nexoid.at] has joined #scheme 09:38:11 tessier [~treed@mail.copilotco.com] has joined #scheme 09:44:08 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 09:44:32 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 09:44:41 ahinki [~chatzilla@212.99.10.150] has joined #scheme 09:45:16 finnrobi [~robb@xvm-20-190.ghst.net] has joined #scheme 09:48:26 -!- zlszk [~user@116.114.208.98] has quit [Remote host closed the connection] 09:48:49 ahinki_ [~chatzilla@212.99.10.150] has joined #scheme 09:48:55 -!- ahinki_ [~chatzilla@212.99.10.150] has quit [Client Quit] 09:51:49 -!- ahinki [~chatzilla@212.99.10.150] has quit [Ping timeout: 245 seconds] 09:58:39 -!- twem2_ [~tristan@puma-mxisp.mxtelecom.com] has quit [Remote host closed the connection] 10:02:11 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:02:26 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 10:09:38 -!- mikecsh [~mikecsh@n219079215236.netvigator.com] has quit [Ping timeout: 240 seconds] 10:10:05 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:10:29 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 10:12:05 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:12:08 realitygrill_ [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 10:19:09 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 10:25:11 twem2 [~tristan@puma-mxisp.mxtelecom.com] has joined #scheme 10:25:13 -!- realitygrill_ [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:25:30 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 10:26:46 -!- twem2 [~tristan@puma-mxisp.mxtelecom.com] has quit [Client Quit] 10:26:54 twem2 [~tristan@puma-mxisp.mxtelecom.com] has joined #scheme 10:26:54 -!- twem2 [~tristan@puma-mxisp.mxtelecom.com] has quit [Client Quit] 10:29:11 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:29:15 realitygrill_ [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 10:31:16 Vinnipeg [~zaytsev_k@PPPoE-78-29-112-248.san.ru] has joined #scheme 10:32:03 twem2 [~tristan@puma-mxisp.mxtelecom.com] has joined #scheme 10:32:08 -!- Vinnipeg [~zaytsev_k@PPPoE-78-29-112-248.san.ru] has quit [Client Quit] 10:36:49 -!- pygospa [~Pygosceli@kiel-4dbed29e.pool.mediaWays.net] has quit [Ping timeout: 245 seconds] 10:39:15 pygospa [~Pygosceli@kiel-4dbed29e.pool.mediaWays.net] has joined #scheme 10:41:47 ijp [~user@host86-169-103-51.range86-169.btcentralplus.com] has joined #scheme 10:44:45 -!- realitygrill_ [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Read error: Connection reset by peer] 10:45:06 realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has joined #scheme 10:48:40 -!- fgudin [~fgudin@odin.sdf-eu.org] has quit [Quit: Lost terminal] 10:56:38 -!- pygospa is now known as mr16hrs 10:57:33 masm [~masm@bl16-198-254.dsl.telepac.pt] has joined #scheme 10:57:44 -!- mr16hrs is now known as mr16hrsStraight 10:58:02 GoKhlaYeh [~GoKhlaYeh@135.51.68.86.rev.sfr.net] has joined #scheme 11:35:11 snizzo [~quassel@iglu.cc.uniud.it] has joined #scheme 11:38:14 ve [~a@vortis.xen.tardis.ed.ac.uk] has joined #scheme 12:05:55 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 12:17:33 -!- realitygrill [~realitygr@adsl-76-226-139-138.dsl.sfldmi.sbcglobal.net] has quit [Quit: realitygrill] 12:18:20 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 12:19:01 woonie [~woonie@nusnet-228-5.dynip.nus.edu.sg] has joined #scheme 12:20:18 bytbox [~s@129.2.129.231] has joined #scheme 12:22:17 Can anyone explain to me, in practical terms, what actually is the difference between let/letrec, and let-syntax/letrec-syntax? It's rapidly looking like I'd implement both in exactly the same way... 12:22:34 (to the point that I think (define let-syntax let) will work 12:25:58 tupi [~david@139.82.89.24] has joined #scheme 12:26:06 And now that I've split 'syntax-rules' out as its own special form, define and define-syntax are almost the same too 12:41:23 well, let-syntax causes it to be bound as syntax, let causes it to be bound as a regular value. i.e. in the first it is caused to be run on the body of the form, before any of the forms are evaluated 12:41:37 rudybot: eval (let ((foo (make-variable-transformer (lambda (stx) #'10)))) foo) 12:41:38 ijp: your sandbox is ready 12:41:38 ijp: error: reference to an identifier before its definition: make-variable-transformer in module: 'program 12:42:31 rudybot: eval (require rnrs/syntax-case-6) 12:42:32 ijp: Done. 12:42:35 rudybot: eval (let ((foo (make-variable-transformer (lambda (stx) #'10)))) foo) 12:42:35 ijp: ; Value: # 12:42:36 -!- yamanu [~yamanu@cpe-212-18-40-64.static.amis.net] has quit [Ping timeout: 240 seconds] 12:42:43 rudybot: eval (let-syntax ((foo (make-variable-transformer (lambda (stx) #'10)))) foo) 12:42:43 ijp: error: reference to an identifier before its definition: make-variable-transformer in module: 'program phase: 1 12:46:29 rudybot: eval (require (for-syntax rnrs/syntax-case-6)) 12:46:30 ijp: Done. 12:46:34 rudybot: eval (let-syntax ((foo (make-variable-transformer (lambda (stx) #'10)))) foo) 12:46:34 ijp: ; Value: 10 12:47:25 LeoNerd: if your let can bind forms as syntax, then the syntax of your program will change depending on run-time values 12:50:50 Ahrighty... 12:50:55 LeoNerd: see srfi 72 which explains the concept of the reflective tower. Basically the idea is that you can have (or must) different bindings at different (phase) levels of the tower. define establishes a binding at level 0 and define-syntax at level 1. 12:51:05 So should syntax be a separate assign-once namespace, then? 12:51:37 Currently I just throw transformers into the same env. with everything else 12:52:22 Which leads me question what the difference is between (begin-for-syntax (define x 2)) and (define-syntax x 2) . 12:52:28 +to 12:53:21 the latter binds x as a macro to be expanded (and which will error when/if that happens) 12:53:38 the former binds x to 2 at syntax-time, but not as a macro 12:54:00 Hrmmm 12:54:14 "syntax-time"..? there are multiple time steps involved? 12:55:59 yes, at the very least, expansion happens before evaluation 12:56:38 Hmmm.. So I have macro expansion at define/lambda time... 12:56:48 consider (define foo (lambda (x) (x #t 'a 'b))) 12:57:06 err, bad example 12:57:39 Examples are good though.. they can be turned into unit tests :) 13:08:40 LeoNerd: not wrong/bad examples :) 13:09:34 Hehe.. yah.. 13:12:53 -!- ski [~slj@c80-216-142-165.bredband.comhem.se] has quit [Ping timeout: 255 seconds] 13:18:29 Ugh.. why must I have work to do today :( Scheme is so much more interesting.... 13:20:37 ski [~slj@c80-216-142-165.bredband.comhem.se] has joined #scheme 13:25:59 leo2007 [~leo@124.72.163.37] has joined #scheme 13:29:37 -!- snizzo [~quassel@iglu.cc.uniud.it] has quit [Remote host closed the connection] 13:31:47 -!- ski [~slj@c80-216-142-165.bredband.comhem.se] has quit [Ping timeout: 255 seconds] 13:33:57 ski [~slj@c80-216-142-165.bredband.comhem.se] has joined #scheme 13:40:05 -!- bytbox [~s@129.2.129.231] has quit [Ping timeout: 248 seconds] 13:42:08 -!- ski [~slj@c80-216-142-165.bredband.comhem.se] has quit [Ping timeout: 255 seconds] 13:48:47 ski [~slj@c80-216-142-165.bredband.comhem.se] has joined #scheme 13:58:12 bytbox [~s@129.2.129.231] has joined #scheme 14:01:55 lusory [~bart@bb115-66-195-54.singnet.com.sg] has joined #scheme 14:05:01 dlila [~dlila@72.53.74.234] has joined #scheme 14:13:44 langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 14:31:23 -!- jcowan [620eacd4@gateway/web/freenode/ip.98.14.172.212] has quit [Quit: Page closed] 14:32:08 mikecsh [~mikecsh@203.145.92.114] has joined #scheme 14:33:10 MrFahrenheit [~RageOfTho@users-38-111.vinet.ba] has joined #scheme 14:47:43 -!- wbooze [~wbooze@xdsl-78-35-128-93.netcologne.de] has quit [Read error: Connection reset by peer] 15:00:04 -!- langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Ping timeout: 248 seconds] 15:00:11 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [] 15:13:05 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 15:13:52 -!- copumpkin [~copumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 15:19:19 langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 15:27:56 -!- mikecsh [~mikecsh@203.145.92.114] has quit [Quit: mikecsh] 15:28:22 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Ping timeout: 248 seconds] 15:28:33 -!- hypnocat [~hypnocat@unaffiliated/hypnocat] has quit [Quit: ZNC - http://znc.sourceforge.net] 15:29:31 hypnocat_ [~hypnocat@unaffiliated/hypnocat] has joined #scheme 15:30:09 -!- djcb [djcb@nat/nokia/x-ifqpsmqalokwkawv] has quit [Remote host closed the connection] 15:31:17 -!- homie [~levgue@xdsl-78-35-128-93.netcologne.de] has quit [Read error: Operation timed out] 15:31:40 -!- ozzloy [~ozzloy@unaffiliated/ozzloy] has quit [Ping timeout: 244 seconds] 15:31:40 -!- PreciousMetals [~Heart@unaffiliated/colours] has quit [Ping timeout: 244 seconds] 15:32:08 -!- bytbox [~s@129.2.129.231] has quit [Ping timeout: 240 seconds] 15:32:14 -!- tauntaun [~user@li327-197.members.linode.com] has quit [Remote host closed the connection] 15:32:24 Precious1etals [~Heart@pool-173-79-236-7.washdc.fios.verizon.net] has joined #scheme 15:32:28 ozzloy_ [~ozzloy@ozzloy.lifeafterking.org] has joined #scheme 15:32:38 -!- amoe [~amoe@host-78-147-157-212.as13285.net] has quit [Ping timeout: 240 seconds] 15:32:38 -!- pranq [pranq@unaffiliated/contempt] has quit [Ping timeout: 240 seconds] 15:32:53 tauntaun` [~user@li327-197.members.linode.com] has joined #scheme 15:32:56 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 15:33:17 bytbox_ [~s@129.2.129.231] has joined #scheme 15:33:38 -!- gsathya [~gsathya@unaffiliated/gsathya] has quit [Ping timeout: 240 seconds] 15:33:44 karswell_ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 15:33:45 pranq_ [pranq@bbis.us] has joined #scheme 15:33:53 amoe_ [~amoe@host-78-147-157-212.as13285.net] has joined #scheme 15:33:54 -!- langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [*.net *.split] 15:33:54 -!- tupi [~david@139.82.89.24] has quit [*.net *.split] 15:33:54 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [*.net *.split]