00:00:20 -!- amgarching [~amgarchin@p4FD60AB7.dip0.t-ipconnect.de] has quit [Ping timeout: 255 seconds] 00:01:14 -!- taylanub [tub@p4FD93AF3.dip.t-dialin.net] has quit [Disconnected by services] 00:01:37 taylanub [tub@p4FD939F5.dip.t-dialin.net] has joined #scheme 00:06:38 -!- agumonkey [~agu@8.158.70.86.rev.sfr.net] has quit [Ping timeout: 255 seconds] 00:10:42 langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has joined #scheme 00:23:32 amgarching [~amgarchin@p4FD60AB7.dip0.t-ipconnect.de] has joined #scheme 00:37:57 -!- sambio [~sambio@unaffiliated/sambio] has quit [] 00:38:27 -!- langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 00:42:23 -!- lazyden [~lazyden@58.185.121.38] has quit [Quit: lazyden] 00:44:06 lazyden [~lazyden@58.185.121.38] has joined #scheme 00:44:56 Euthy [~euthy@unaffiliated/euthydemus] has joined #scheme 00:48:02 sambio [~sambio@190.57.227.109] has joined #scheme 00:48:02 -!- sambio [~sambio@190.57.227.109] has quit [Changing host] 00:48:02 sambio [~sambio@unaffiliated/sambio] has joined #scheme 00:49:07 -!- acieroid [~acieroid@wtf.awesom.eu] has quit [Ping timeout: 264 seconds] 00:51:19 acieroid [~acieroid@wtf.awesom.eu] has joined #scheme 00:55:50 -!- Euthy [~euthy@unaffiliated/euthydemus] has quit [Quit: leaving] 01:00:18 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 01:02:43 -!- sambio [~sambio@unaffiliated/sambio] has quit [] 01:02:51 micro__ [~micro@ec2-50-16-189-142.compute-1.amazonaws.com] has joined #scheme 01:02:56 -!- micro [~micro@ec2-50-16-189-142.compute-1.amazonaws.com] has quit [Read error: Operation timed out] 01:03:15 -!- micro__ is now known as Guest76703 01:03:30 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 256 seconds] 01:09:55 karswell` [~user@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 01:10:37 -!- karswell [~user@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 01:15:01 -!- amgarching [~amgarchin@p4FD60AB7.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 01:16:05 sambio [~sambio@unaffiliated/sambio] has joined #scheme 01:18:04 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 01:24:42 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 276 seconds] 01:32:53 -!- kniu [~kniu@c-67-160-8-163.hsd1.wa.comcast.net] has quit [Ping timeout: 248 seconds] 01:35:09 -!- dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has quit [Ping timeout: 252 seconds] 01:35:36 kvda [~kvda@unaffiliated/kvda] has joined #scheme 01:36:21 -!- levi [~user@c-174-52-219-147.hsd1.ut.comcast.net] has quit [Read error: Connection reset by peer] 01:39:21 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Read error: Operation timed out] 01:40:52 dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has joined #scheme 01:41:04 -!- cdidd [~cdidd@95-24-45-233.broadband.corbina.ru] has quit [Remote host closed the connection] 01:42:41 agumonkey [~agu@8.158.70.86.rev.sfr.net] has joined #scheme 01:43:14 cdidd [~cdidd@93-80-5-182.broadband.corbina.ru] has joined #scheme 01:51:36 -!- kvda [~kvda@unaffiliated/kvda] has quit [Quit: z____z] 01:54:57 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 01:55:42 akuhlens [~akuhlens@c-98-223-237-255.hsd1.in.comcast.net] has joined #scheme 01:55:45 -!- akuhlens [~akuhlens@c-98-223-237-255.hsd1.in.comcast.net] has left #scheme 02:00:33 akuhlens [~akuhlens@c-98-223-237-255.hsd1.in.comcast.net] has joined #scheme 02:00:35 -!- akuhlens [~akuhlens@c-98-223-237-255.hsd1.in.comcast.net] has left #scheme 02:16:15 -!- joneshf-laptop [~joneshf@mail.concordusapps.com] has quit [Ping timeout: 252 seconds] 02:17:22 inquiryqueue [~kepod@pool-98-111-149-62.phlapa.east.verizon.net] has joined #scheme 02:19:33 kvda [~kvda@unaffiliated/kvda] has joined #scheme 02:22:21 -!- acarrico [~acarrico@cable54-3-143.stoweaccess.com] has quit [Remote host closed the connection] 02:23:08 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Ping timeout: 258 seconds] 02:26:12 -!- dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has quit [Ping timeout: 258 seconds] 02:33:23 acarrico [~acarrico@cable54-3-143.stoweaccess.com] has joined #scheme 02:33:26 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 02:35:02 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 02:36:54 -!- walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Read error: Operation timed out] 02:53:19 joneshf-laptop [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has joined #scheme 03:00:15 -!- cdidd [~cdidd@93-80-5-182.broadband.corbina.ru] has quit [Ping timeout: 276 seconds] 03:00:44 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 246 seconds] 03:01:03 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 03:01:47 -!- preflex_ is now known as preflex 03:06:04 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Read error: Connection reset by peer] 03:06:26 tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 03:07:18 yacks [~yacks@180.151.36.168] has joined #scheme 03:11:42 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 03:15:10 cdidd [~cdidd@93-80-249-26.broadband.corbina.ru] has joined #scheme 03:16:09 -!- inquiryqueue [~kepod@pool-98-111-149-62.phlapa.east.verizon.net] has quit [Quit: Leaving] 03:17:33 -!- bjz_ [~brendanza@125.253.99.68] has quit [Quit: Leaving...] 03:18:29 -!- zacts [~user@unaffiliated/zacts] has quit [Ping timeout: 248 seconds] 03:31:56 -!- agumonkey [~agu@8.158.70.86.rev.sfr.net] has quit [Ping timeout: 240 seconds] 03:35:54 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Quit: MichaelRaskin] 03:38:59 Yeah, it was designed for a 3 button mouse, so that's another obstacle. But I am sure, that as a server or in some cases, the system might be worth looking in to. I do not think I tried Acme. Heard the name, but can't remember. 03:52:08 zacts [~zacts@unaffiliated/zacts] has joined #scheme 03:56:06 -!- Triclops256|away is now known as Triclops256 03:56:08 yours_truly [~yours@mc-193-90.IPReg.mcmaster.ca] has joined #scheme 03:56:20 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Read error: Connection reset by peer] 03:57:11 kniu [~kniu@c-67-160-8-163.hsd1.wa.comcast.net] has joined #scheme 03:58:11 -!- yours_truly [~yours@mc-193-90.IPReg.mcmaster.ca] has quit [Read error: Connection reset by peer] 03:58:51 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 04:06:42 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 04:09:32 rubenator [~rubenator@68.202.233.206] has joined #scheme 04:09:39 hello! 04:10:57 can someone please explain what "car: contract violation expected: pair? given: ()" means? 04:11:51 it means you're not allowed to call "car" on the empty list. 04:11:52 you need 2 signatures on the lease for your car 04:12:02 lol! 04:12:02 kvda: :-) 04:12:55 i have to implement grammars in Racket, and it's kicking my assssssss 04:13:42 -!- waxysubs` [hope0@world.peace.net] has quit [Ping timeout: 276 seconds] 04:14:08 i don't see what is empty (when calling car) 04:14:19 anyone willing to take a look? 04:14:20 https://gist.github.com/rubensantiago/5298395 04:18:03 -!- kvda [~kvda@unaffiliated/kvda] has quit [Quit: z____z] 04:30:31 -!- zacts [~zacts@unaffiliated/zacts] has quit [Quit: leaving] 04:31:33 *ski_* mentally renames `inString',`initString',`currentSymbol',`moveToNextSymbol',`isS2?',`isS3?',`isS4?',`isS5?' to `in-string',`init-string',`current-symbol',`move-to-next-symbol',`is-S2?',`is-S3?',`is-S4?',`is-S5?' 04:32:11 offby1` [~user@ec2-50-18-28-110.us-west-1.compute.amazonaws.com] has joined #scheme 04:32:28 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Remote host closed the connection] 04:32:31 rubenator : it appears in `S1', you don't check that `in-string' is a pair before calling `current-symbol' 04:32:33 -!- blz37 [~minsa@c-24-130-180-195.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 04:32:39 shachaf_ [~shachaf@li227-219.members.linode.com] has joined #scheme 04:32:39 lol, is that the Racket convention? 04:32:43 -!- shachaf_ [~shachaf@li227-219.members.linode.com] has quit [Changing host] 04:32:43 shachaf_ [~shachaf@unaffiliated/shachaf] has joined #scheme 04:32:58 -!- shachaf [~shachaf@unaffiliated/shachaf] has quit [Disconnected by services] 04:33:03 -!- shachaf_ is now known as shachaf 04:33:12 my professor wrote all of that. -___- 04:33:51 see the "** Names" section in 04:33:59 i just copied and modified 'D' since it's essentially the same grammar, but without the empty string 04:34:52 ah. thanks for that resource, ski_ 04:35:35 i've been looking for something like that, but i guess i wasn't searching for the right thing 04:36:50 kvda [~kvda@unaffiliated/kvda] has joined #scheme 04:37:33 might also be useful 04:40:20 (is-S1? '(a)) ; what does this respond with ? 04:40:59 with a contract violation 04:41:09 car: 04:42:22 ah. so. this isn't done right. 04:42:36 if i change it to (is-S1? '(a b)), no violation 04:45:13 yes, because then the list after eating the `a' is not empty, so the unguarded `(current-symbol)' in `is-S1?' doesn't complain 04:45:34 right 04:46:27 also, i think this is a case of (not following) DRY -- which may or may not be helpful for you to consider at this point 04:46:52 man. the professor wrote up that code. i've been beating my head for days 04:47:03 absolutely agreed 04:50:20 -!- yacks [~yacks@180.151.36.168] has quit [Read error: Operation timed out] 04:52:29 yacks [~yacks@180.151.36.168] has joined #scheme 04:54:06 thank you @ski_ 04:54:17 -!- SHODAN [~shozan@c-08b7e253.011-86-73746f30.cust.bredbandsbolaget.se] has quit [Remote host closed the connection] 04:54:24 btw, instead of `(if (null? inString) #t ...)' you could say `(or (null? inString) ...)' 04:54:25 you've restored my faith in IRC communities 04:54:26 SHODAN [~shozan@c-08b7e253.011-86-73746f30.cust.bredbandsbolaget.se] has joined #scheme 04:54:48 yeah, an or should work as well 04:55:05 (also, it's not IRC custom to refer to people by prefixing their nicknames with a `@' ;) 04:56:43 bjz [~brendanza@125.253.99.68] has joined #scheme 05:01:07 yeah, i was trying to remember how to do the callout thing.. 05:01:11 remind me? 05:02:13 rubenator : do you mean like this ? 05:02:21 exactly 05:02:26 just a colon? 05:02:40 sometimes a comma is used 05:03:34 many IRC clients highlight the channel and message line if it starts with the nickname of the user 05:03:45 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Ping timeout: 276 seconds] 05:04:03 (some highlight even if the line doesn't start with it, but merely contain it otherwise) 05:04:16 btw, i don't really like the (cond ((null? inString) #f) ((eq? (currentSymbol) 'a)(and (match 'a) (A2))) ...) stuff 05:04:58 what is the point with checking whether the current symbol is `a' by calling `current-symbol', when `match' will already do this for you ? 05:05:12 similarly, it will already do the `null?' check as well 05:08:52 you're absolutely right, i probably wouldn't have done that (and realized the repetition) if i would have coded that myself. oddly enough, my professor with 2 Ph.Ds (math and CS) didn't catch this 05:09:00 when she was coding it 05:10:11 possibly they are more of the theory person, than the coding person 05:11:58 i'm also not really happy with (if (eq? (currentSymbol) 'a) (S1) ) "leaking private information" of `S1', nor (if (null? inString) #t ...) not being compositional 05:12:14 gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has joined #scheme 05:13:21 (whether you ought to care about that atm depends on what the goal of the exercise is) 05:31:07 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 260 seconds] 05:35:11 -!- gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has quit [Ping timeout: 258 seconds] 05:37:41 zacts [~zacts@unaffiliated/zacts] has joined #scheme 05:38:22 i don't atm, but thank you 05:38:53 -!- kvda [~kvda@unaffiliated/kvda] has quit [Quit: x___x] 05:42:47 -!- yacks [~yacks@180.151.36.168] has quit [Ping timeout: 260 seconds] 05:43:01 yacks [~yacks@180.151.36.168] has joined #scheme 05:43:39 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 05:49:07 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Read error: Operation timed out] 06:12:52 gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has joined #scheme 06:13:15 answer_42 [~answer_42@ip82-139-81-70.lijbrandt.net] has joined #scheme 06:29:03 -!- zacts [~zacts@unaffiliated/zacts] has quit [Quit: leaving] 06:36:26 przl [~przlrkt@p5B298526.dip0.t-ipconnect.de] has joined #scheme 06:41:39 -!- przl [~przlrkt@p5B298526.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 06:45:07 blz37 [~minsa@c-24-130-180-195.hsd1.ca.comcast.net] has joined #scheme 06:47:58 -!- cmatei [~cmatei@95.76.25.200] has quit [Remote host closed the connection] 06:48:30 -!- gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 06:53:46 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 245 seconds] 06:59:37 hkBst [~marijn@79.170.210.172] has joined #scheme 06:59:37 -!- hkBst [~marijn@79.170.210.172] has quit [Changing host] 06:59:37 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 07:08:27 snearch [~snearch@brln-4dba59f5.pool.mediaWays.net] has joined #scheme 07:12:47 -!- ASau [~user@46.115.122.85] has quit [Ping timeout: 255 seconds] 07:14:11 -!- snearch [~snearch@brln-4dba59f5.pool.mediaWays.net] has quit [Quit: Verlassend] 07:21:29 cmatei [~cmatei@95.76.25.200] has joined #scheme 07:26:45 -!- sambio [~sambio@unaffiliated/sambio] has quit [] 07:28:35 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 07:34:09 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 252 seconds] 07:35:58 -!- toekutr [~user@50-0-51-11.dsl.static.sonic.net] has left #scheme 07:51:42 przl [~przlrkt@46.231.183.162] has joined #scheme 08:03:53 civodul [~user@reverse-83.fdn.fr] has joined #scheme 08:09:36 -!- answer_42 [~answer_42@ip82-139-81-70.lijbrandt.net] has quit [Ping timeout: 245 seconds] 08:30:32 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 08:40:23 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 08:53:21 -!- gnomon [~gnomon@CPE000e582ae076-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 245 seconds] 08:59:24 -!- cdidd [~cdidd@93-80-249-26.broadband.corbina.ru] has quit [Ping timeout: 252 seconds] 09:01:09 gnomon [~gnomon@CPE000e582ae076-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 09:01:48 agumonkey [~agu@8.158.70.86.rev.sfr.net] has joined #scheme 09:05:03 -!- Sebboh [~hobbes@fsf/member/Sebboh] has quit [Read error: Connection reset by peer] 09:06:57 Sebboh [~hobbes@164.119.77.115] has joined #scheme 09:07:53 -!- joast [~rick@76.178.135.192] has quit [Ping timeout: 240 seconds] 09:14:07 pierpa [~user@host143-217-dynamic.55-79-r.retail.telecomitalia.it] has joined #scheme 09:35:42 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 252 seconds] 09:43:27 RageOfThou [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 09:46:08 -!- yacks [~yacks@180.151.36.168] has quit [Read error: Connection reset by peer] 09:46:22 yacks [~yacks@180.151.36.168] has joined #scheme 09:49:35 przl [~przlrkt@46.231.183.162] has joined #scheme 10:01:09 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Ping timeout: 248 seconds] 10:17:17 -!- kniu [~kniu@c-67-160-8-163.hsd1.wa.comcast.net] has quit [Ping timeout: 255 seconds] 10:18:54 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 10:27:42 -!- kunsel [~kunsel@2a01:4f8:d15:6c7::2] has quit [Ping timeout: 264 seconds] 10:30:41 kunsel [~kunsel@2a01:4f8:d15:6c7::2] has joined #scheme 10:42:48 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 264 seconds] 10:48:21 amgarching [~amgarchin@theo1.theochem.tu-muenchen.de] has joined #scheme 10:59:10 przl [~przlrkt@46.231.183.162] has joined #scheme 11:04:00 -!- agumonkey [~agu@8.158.70.86.rev.sfr.net] has left #scheme 11:05:31 gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has joined #scheme 11:14:27 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 11:32:53 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 11:37:09 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 248 seconds] 11:39:53 jrajav [~jrajav@71-82-124-223.dhcp.roch.mn.charter.com] has joined #scheme 11:53:43 waxysubs` [hope4@world.peace.net] has joined #scheme 12:06:44 -!- jrajav [~jrajav@71-82-124-223.dhcp.roch.mn.charter.com] has quit [Quit: I tend to be neutral about apples] 12:10:07 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 260 seconds] 12:24:18 hopfrog [~quassel@pool-96-236-222-96.pitbpa.fios.verizon.net] has joined #scheme 12:24:46 tacey [~tacey@220.231.27.150] has joined #scheme 12:33:04 przl [~przlrkt@46.231.183.162] has joined #scheme 12:34:31 -!- tacey [~tacey@220.231.27.150] has quit [Quit: ...] 12:34:46 tacey [~tacey@220.231.27.150] has joined #scheme 12:37:12 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 12:37:56 tacey [~tacey@220.231.27.150] has joined #scheme 12:45:09 .00000000000 12:45:17 .0. 12:45:57 ................................. 12:51:35 tacey_ [~tacey@220.231.27.150] has joined #scheme 12:52:31 -!- tacey [~tacey@220.231.27.150] has quit [Ping timeout: 245 seconds] 12:55:39 tacey [~tacey@220.231.27.150] has joined #scheme 12:59:17 -!- tacey_ [~tacey@220.231.27.150] has quit [Ping timeout: 248 seconds] 12:59:56 dEPY [~dEPY@46-150-62-58.cable.teleing.net] has joined #scheme 13:02:16 pcl [~pcl@cpe-68-174-132-160.nyc.res.rr.com] has joined #scheme 13:02:36 -!- tacey [~tacey@220.231.27.150] has quit [Quit: ...] 13:03:13 tacey [~tacey@220.231.27.150] has joined #scheme 13:03:13 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 13:03:34 tacey [~tacey@220.231.27.150] has joined #scheme 13:03:37 edw_ [~edw@207.239.61.34] has joined #scheme 13:16:02 -!- tacey [~tacey@220.231.27.150] has quit [Quit: ...] 13:16:23 tacey [~tacey@220.231.27.150] has joined #scheme 13:20:52 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 13:21:14 tacey [~tacey@220.231.27.150] has joined #scheme 13:27:27 -!- tacey [~tacey@220.231.27.150] has quit [Quit: ...] 13:27:55 tacey [~tacey@220.231.27.150] has joined #scheme 13:29:00 -!- dan64 [dan64@dannyadam.com] has quit [Ping timeout: 264 seconds] 13:29:49 Euthy [~euthy@unaffiliated/euthydemus] has joined #scheme 13:30:07 dan64 [dan64@dannyadam.com] has joined #scheme 13:32:11 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 13:32:33 tacey [~tacey@220.231.27.150] has joined #scheme 13:32:44 walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 13:33:06 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Ping timeout: 264 seconds] 13:34:51 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 13:35:10 tacey [~tacey@220.231.27.150] has joined #scheme 13:35:40 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 13:36:04 tacey [~tacey@220.231.27.150] has joined #scheme 13:36:21 -!- pcl [~pcl@cpe-68-174-132-160.nyc.res.rr.com] has quit [Quit: Leaving.] 13:37:09 tupi [~user@186.205.69.180] has joined #scheme 13:37:24 -!- tacey [~tacey@220.231.27.150] has quit [Client Quit] 13:37:43 tacey [~tacey@220.231.27.150] has joined #scheme 13:38:41 langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 13:46:29 joast [~rick@76.178.135.192] has joined #scheme 13:58:34 -!- tacey [~tacey@220.231.27.150] has quit [Quit: ...] 14:04:33 -!- lazyden [~lazyden@58.185.121.38] has quit [Quit: lazyden] 14:04:51 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Read error: Connection reset by peer] 14:05:11 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 14:15:16 dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has joined #scheme 14:16:15 -!- joneshf-laptop [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has quit [Ping timeout: 246 seconds] 14:16:37 joneshf-laptop [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has joined #scheme 14:16:53 -!- hopfrog [~quassel@pool-96-236-222-96.pitbpa.fios.verizon.net] has quit [Quit: No Ping reply in 180 seconds.] 14:17:09 hopfrog [~quassel@pool-96-236-222-96.pitbpa.fios.verizon.net] has joined #scheme 14:22:56 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 245 seconds] 14:27:34 wbooze [~wbooze@xdsl-78-35-148-144.netcologne.de] has joined #scheme 14:33:09 -!- Sebboh [~hobbes@164.119.77.115] has quit [Changing host] 14:33:09 Sebboh [~hobbes@fsf/member/Sebboh] has joined #scheme 14:35:33 LAMMJohnson [~ja@user-5af43996.broadband.tesco.net] has joined #scheme 14:43:19 -!- dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has quit [Ping timeout: 258 seconds] 14:57:33 dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has joined #scheme 15:02:06 -!- bjz [~brendanza@125.253.99.68] has quit [Ping timeout: 258 seconds] 15:09:49 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 15:18:22 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 15:22:43 -!- taylanub [tub@p4FD939F5.dip.t-dialin.net] has quit [Remote host closed the connection] 15:25:21 bjz [~brendanza@125.253.99.68] has joined #scheme 15:26:55 taylanub [tub@p4FD939F5.dip.t-dialin.net] has joined #scheme 15:27:18 FunkyDrummer [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 15:28:48 levi [~user@c-174-52-219-147.hsd1.ut.comcast.net] has joined #scheme 15:30:51 -!- RageOfThou [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has quit [Ping timeout: 258 seconds] 15:31:34 -!- Triclops256 [~Triclops2@Powder/Developer/Triclops200] has quit [Quit: ZNC - http://znc.in] 15:32:34 Triclops256|away [~Triclops2@199.19.116.207] has joined #scheme 15:32:56 -!- Triclops256|away is now known as Triclops256 15:32:56 -!- Triclops256 [~Triclops2@199.19.116.207] has quit [Changing host] 15:32:56 Triclops256 [~Triclops2@Powder/Developer/Triclops200] has joined #scheme 15:35:47 Saeren_ [~saeren@mail.skepsi.net] has joined #scheme 15:35:51 -!- certainty [~david@www1.d-coded.de] has quit [Read error: Operation timed out] 15:35:51 -!- Saeren [~saeren@mail.skepsi.net] has quit [Read error: Connection reset by peer] 15:36:09 -!- cky [~cky@fsf/member/cky] has quit [Read error: Operation timed out] 15:36:36 -!- ura [~ura@unaffiliated/ura] has quit [Ping timeout: 258 seconds] 15:36:37 certainty [~david@www1.d-coded.de] has joined #scheme 15:36:48 cky [~cky@fsf/member/cky] has joined #scheme 15:44:30 -!- gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 15:44:50 gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has joined #scheme 15:49:44 ura [~ura@unaffiliated/ura] has joined #scheme 15:49:46 ijp [~user@host86-184-183-64.range86-184.btcentralplus.com] has joined #scheme 15:53:41 Hermit [~hermit@unaffiliated/grpala] has joined #scheme 15:55:43 -!- gravicappa [~gravicapp@ppp91-77-160-148.pppoe.mtu-net.ru] has quit [Read error: Operation timed out] 15:57:36 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 15:58:55 -!- ineiros_ [~itniemin@bayesianconspiracy.org] has quit [Remote host closed the connection] 15:59:50 -!- amgarching [~amgarchin@theo1.theochem.tu-muenchen.de] has quit [Ping timeout: 246 seconds] 16:00:42 -!- langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Ping timeout: 264 seconds] 16:03:02 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Quit: MichaelRaskin] 16:03:11 przl [~przlrkt@46.231.183.162] has joined #scheme 16:03:15 langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 16:04:03 ineiros [~itniemin@bayesianconspiracy.org] has joined #scheme 16:18:24 gravicappa [~gravicapp@ppp91-77-171-162.pppoe.mtu-net.ru] has joined #scheme 16:21:20 amgarching [~amgarchin@p4FD60BAE.dip0.t-ipconnect.de] has joined #scheme 16:27:55 -!- przl [~przlrkt@46.231.183.162] has quit [Quit: leaving] 16:30:05 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 16:30:39 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 16:36:28 ASau [~user@46.115.43.245] has joined #scheme 16:45:51 -!- amgarching [~amgarchin@p4FD60BAE.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 16:51:00 amgarching [~amgarchin@p4FD60BAE.dip0.t-ipconnect.de] has joined #scheme 16:52:07 -!- langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Read error: Connection reset by peer] 16:52:34 langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 17:00:42 -!- amgarching [~amgarchin@p4FD60BAE.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 17:01:58 amgarching [~amgarchin@p4FD60BAE.dip0.t-ipconnect.de] has joined #scheme 17:02:36 -!- hopfrog [~quassel@pool-96-236-222-96.pitbpa.fios.verizon.net] has quit [Remote host closed the connection] 17:04:16 -!- Triclops256 is now known as Triclops256|away 17:06:23 -!- gravicappa [~gravicapp@ppp91-77-171-162.pppoe.mtu-net.ru] has quit [Ping timeout: 245 seconds] 17:07:38 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 245 seconds] 17:08:06 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 17:09:36 -!- amgarching [~amgarchin@p4FD60BAE.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 17:12:05 amgarchIn9 [~amgarchin@p4FD607EF.dip0.t-ipconnect.de] has joined #scheme 17:34:50 toekutr [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 17:34:52 -!- toekutr [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 17:36:03 sambio [~sambio@190.57.227.109] has joined #scheme 17:36:03 -!- sambio [~sambio@190.57.227.109] has quit [Changing host] 17:36:03 sambio [~sambio@unaffiliated/sambio] has joined #scheme 17:37:16 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 17:49:02 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 17:49:31 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 17:58:19 -!- rubenator [~rubenator@68.202.233.206] has quit [Quit: rubenator] 18:02:53 hiroakip [~hiroaki@p5B04B67C.dip.t-dialin.net] has joined #scheme 18:09:56 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 18:10:13 -!- edw_ [~edw@207.239.61.34] has quit [Ping timeout: 248 seconds] 18:19:41 hiroaki [~hiroaki@p5B04B67C.dip.t-dialin.net] has joined #scheme 18:33:07 cdidd [~cdidd@95-28-11-75.broadband.corbina.ru] has joined #scheme 18:41:56 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 245 seconds] 18:46:51 gravicappa [~gravicapp@ppp91-77-187-175.pppoe.mtu-net.ru] has joined #scheme 18:52:11 MehLaptop [~MehLaptop@209.129.115.31] has joined #scheme 18:53:43 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 18:56:43 edw_ [~edw@nol-lo0.fw.nyc2.appnexus.com] has joined #scheme 18:56:43 -!- levi [~user@c-174-52-219-147.hsd1.ut.comcast.net] has quit [Read error: Connection reset by peer] 18:57:15 levi [~user@c-174-52-219-147.hsd1.ut.comcast.net] has joined #scheme 18:57:57 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 19:04:19 -!- edw_ [~edw@nol-lo0.fw.nyc2.appnexus.com] has quit [Quit: Computer has gone to sleep.] 19:12:27 answer_42 [~answer_42@ip82-139-81-70.lijbrandt.net] has joined #scheme 19:15:51 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 245 seconds] 19:16:56 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 19:17:14 civodul` [~user@reverse-83.fdn.fr] has joined #scheme 19:18:42 -!- civodul [~user@reverse-83.fdn.fr] has quit [Ping timeout: 252 seconds] 19:22:56 -!- offby1` is now known as offby1 19:22:57 -!- offby1 [~user@ec2-50-18-28-110.us-west-1.compute.amazonaws.com] has quit [Changing host] 19:22:57 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 19:27:40 cinolt [4247579e@gateway/web/freenode/ip.66.71.87.158] has joined #scheme 19:29:49 How it do yo? I'm trying to write a procedure to "decompose" a list into its elements: http://paste.lisp.org/display/136481 Can somebody provide some pointers? =) 19:32:27 cinolt: your intended output looks kind of strange 19:32:38 I'm not sure I understand the function required 19:33:02 The two (+ ...) sublists were flattened, but the (* ...) one was not? 19:33:02 snowylike: Well I haven't made a typo, it's what I'm looking for 19:33:14 LeoNerd: Yes, that's the intention 19:33:22 Can you explain this observation then? Currently we don't understand how that criteria is made 19:33:39 OK.. so.. er.. how would the function know to expand one but not the other? What's the signal to tell it? 19:33:49 LeoNerd: It would be hardcoded 19:33:57 er.. OK? 19:34:00 LeoNerd: For my purposes that's enough, anyway 19:34:03 So.. + is, * isn't. What about other things? 19:34:22 LeoNerd; Basically, it should leave everything alone except for a list that starts with + 19:34:31 I see.. so, progress 19:34:34 LeoNerd: Which it would flatten as in he example 19:35:16 Hrm.. I'd consider doing it backwards. Take the original list, putting atoms and lists that don't start with + into 1-element lists on their own, then just call a shallow flatten on the resul 19:35:17 t 19:35:44 So '(+ (+ x 1) (* x 2) (+ x 3) 4) first becomes '((+) (+ x 1) ((* x 2)) (+ x 3) (4)) 19:36:15 Then you can easily flatten that into '(+ + x 1 (* x 2) + x 3 4) 19:36:26 Oh but then all those extra +'s.. what are you doing with those, I guess removing them? 19:36:34 Yeah, the extraneous +'s should be removed 19:36:41 Is this an operator precedence parser? This isn't the right way to go about it you know :) 19:36:55 I see; well in that case you could strip them at the first stage 19:37:09 '(+ (+ x 1) (* x 2) (+ x 3) 4) => '((+) (x 1) ((* x 2)) (x 3) (4)) 19:37:14 then flatten that 19:37:26 Well it's part of an expression reduction procedure I'm writing, but yeah I see how I would go about writing it now 19:37:34 Or maybe use map/concat.. or whatever it's called. I forget offhand 19:37:52 It'd be easily implemented with map/foldr 19:39:00 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 19:41:32 gabnet [~gabnet@ACaen-652-1-350-209.w83-115.abo.wanadoo.fr] has joined #scheme 19:42:30 append-map 19:42:41 That's the one 19:42:44 http://paste.lisp.org/display/136482 Easier than I thought :D 19:43:14 cinolt: note that (list? '()) => #t 19:43:25 you probably want to check for pair? 19:43:38 Ah, thanks 19:43:47 and yeah you can get rid of the foldr by using append-map instead of map 19:44:49 Right, I had a procedure defined somewhere that does that, SICP calls it flatmap 19:45:49 -!- civodul` is now known as civodul 19:49:03 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 276 seconds] 19:49:36 I wonder if there's already a library that is able to compute lists like (deriv '((sin x) * (2 * x)) 'dx), with infix notation and everything 19:49:42 Maybe only in Common Lisp? 19:51:24 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 240 seconds] 19:55:43 -!- joneshf-laptop [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has quit [Ping timeout: 258 seconds] 20:04:18 -!- hiroakip [~hiroaki@p5B04B67C.dip.t-dialin.net] has quit [Ping timeout: 245 seconds] 20:04:21 -!- hiroaki [~hiroaki@p5B04B67C.dip.t-dialin.net] has quit [Ping timeout: 248 seconds] 20:04:43 hiroakip [~hiroaki@77-20-72-92-dynip.superkabel.de] has joined #scheme 20:05:31 -!- Saeren_ is now known as Saeren 20:06:28 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 20:09:09 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 248 seconds] 20:09:17 -!- cinolt [4247579e@gateway/web/freenode/ip.66.71.87.158] has quit [Quit: Page closed] 20:18:55 hiroaki [~hiroaki@77-20-72-92-dynip.superkabel.de] has joined #scheme 20:22:22 -!- yosafbridge [~yosafbrid@li125-242.members.linode.com] has quit [Read error: Operation timed out] 20:24:29 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 20:26:38 yosafbridge [~yosafbrid@li125-242.members.linode.com] has joined #scheme 20:29:17 -!- MehLaptop [~MehLaptop@209.129.115.31] has quit [Remote host closed the connection] 20:32:35 -!- wbooze [~wbooze@xdsl-78-35-148-144.netcologne.de] has quit [Read error: Operation timed out] 20:33:09 -!- dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has quit [Ping timeout: 248 seconds] 20:34:18 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 264 seconds] 20:36:21 wbooze [~wbooze@xdsl-78-35-170-53.netcologne.de] has joined #scheme 20:36:32 joneshf-laptop [~joneshf@mail.concordusapps.com] has joined #scheme 20:39:08 -!- answer_42 [~answer_42@ip82-139-81-70.lijbrandt.net] has quit [Ping timeout: 246 seconds] 20:46:28 -!- Triclops256|away [~Triclops2@Powder/Developer/Triclops200] has quit [Quit: ZNC - http://znc.in] 20:47:10 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 20:47:37 Triclops256 [~Triclops2@Powder/Developer/Triclops200] has joined #scheme 20:48:46 -!- Triclops256 is now known as Triclops256|away 20:57:54 edw_ [~edw@207.239.61.34] has joined #scheme 21:03:13 -!- taylanub [tub@p4FD939F5.dip.t-dialin.net] has quit [Remote host closed the connection] 21:03:18 -!- gravicappa [~gravicapp@ppp91-77-187-175.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:06:40 snearch [~snearch@brln-4dba59f5.pool.mediaWays.net] has joined #scheme 21:11:39 dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has joined #scheme 21:16:37 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Quit: Konversation terminated!] 21:18:33 -!- langmartin [~user@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Ping timeout: 240 seconds] 21:20:43 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 21:25:16 -!- edw_ [~edw@207.239.61.34] has quit [Quit: Computer has gone to sleep.] 21:38:19 -!- pothos [~pothos@114-25-199-37.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 21:38:35 -!- dEPY [~dEPY@46-150-62-58.cable.teleing.net] has quit [] 21:38:56 BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has joined #scheme 21:41:43 pothos [~pothos@114-36-240-13.dynamic.hinet.net] has joined #scheme 21:42:51 -!- gabnet [~gabnet@ACaen-652-1-350-209.w83-115.abo.wanadoo.fr] has quit [Quit: Ex-Chat] 21:48:18 -!- amgarchIn9 [~amgarchin@p4FD607EF.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 21:48:59 jao [~jao@100.pool85-59-1.dynamic.orange.es] has joined #scheme 21:49:02 -!- jao [~jao@100.pool85-59-1.dynamic.orange.es] has quit [Changing host] 21:49:02 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 21:50:09 amgarchIn9 [~amgarchin@p4FD607EF.dip0.t-ipconnect.de] has joined #scheme 22:17:20 -!- snearch [~snearch@brln-4dba59f5.pool.mediaWays.net] has quit [Read error: Connection reset by peer] 22:25:58 -!- civodul [~user@reverse-83.fdn.fr] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:27:34 taylanub [tub@p4FD939F5.dip.t-dialin.net] has joined #scheme 22:29:35 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 22:31:51 gleag [~gleag@71.175.broadband2.iol.cz] has joined #scheme 22:32:31 -!- gleag [~gleag@71.175.broadband2.iol.cz] has quit [Client Quit] 22:32:52 gleag [~gleag@71.175.broadband2.iol.cz] has joined #scheme 22:50:30 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [] 22:50:49 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 22:51:48 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 245 seconds] 23:03:32 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 23:11:26 -!- BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has quit [Quit: Leaving.] 23:15:12 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Ping timeout: 252 seconds] 23:23:36 adiii [~adityavit@c-68-45-153-184.hsd1.nj.comcast.net] has joined #scheme 23:28:53 -!- gleag [~gleag@71.175.broadband2.iol.cz] has quit [Ping timeout: 240 seconds] 23:48:03 -!- ijp [~user@host86-184-183-64.range86-184.btcentralplus.com] has quit [Quit: me need sleep good now] 23:49:54 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 264 seconds] 23:56:11 lazyden [~lazyden@58.185.121.38] has joined #scheme