00:03:29 -!- taylanub [tub@p4FD93574.dip0.t-ipconnect.de] has quit [Disconnected by services] 00:03:55 taylanub [tub@p4FD91857.dip0.t-ipconnect.de] has joined #scheme 00:05:23 -!- langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has quit [Ping timeout: 252 seconds] 00:11:56 -!- amgarchIn9 [~amgarchin@p4FD6003D.dip0.t-ipconnect.de] has quit [Ping timeout: 256 seconds] 00:12:35 przl [~przlrkt@p4FE647B0.dip0.t-ipconnect.de] has joined #scheme 00:14:46 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 00:16:58 -!- przl [~przlrkt@p4FE647B0.dip0.t-ipconnect.de] has quit [Ping timeout: 246 seconds] 00:25:50 BossKonaSegwaY1 [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has joined #scheme 00:26:13 -!- BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has quit [Ping timeout: 240 seconds] 00:39:33 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 248 seconds] 00:44:22 dnolen` [~user@rrcs-208-105-4-254.nyc.biz.rr.com] has joined #scheme 00:45:34 langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has joined #scheme 00:45:42 -!- walter|rtn [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 00:46:01 -!- langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has quit [Client Quit] 00:46:54 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 00:47:44 dessos [~dessos@c-174-60-176-249.hsd1.pa.comcast.net] has joined #scheme 00:56:54 billymaverick [~letalvis@222-152-142-161.jetstream.xtra.co.nz] has joined #scheme 00:57:28 How would I go about simplifying this? (lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) x))) f) x))) 00:58:09 I guess some of the f's and lambda f's cancel each other out? 00:58:20 Take every ((lambda (f) ...) g) and substitute g for f in the ellipsis. 00:59:30 Ahhh 01:00:33 So you're applying the lambda func to that arg, so you can put the arg in the def instead... 01:00:49 just got confused with all the brackets lol 01:00:51 ty 01:04:07 -!- ChanServ has set mode +o copumpkin 01:04:18 -!- copumpkin has set mode +b *!~letalvis@222-152-142-161.jetstream.xtra.co.nz 01:04:19 -!- billymaverick [~copumpkin@unaffiliated/copumpkin] has been kicked from #scheme by copumpkin (no private abuse, please) 01:04:36 for reference, View is Loading 01:04:36 [21:03:55] you gay bitch 01:04:38 [21:04:09] forcing your homosexual agenda 01:04:38 -!- zacts [~blueberry@unaffiliated/zacts] has quit [Ping timeout: 256 seconds] 01:04:42 -!- copumpkin has set mode -o copumpkin 01:04:54 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 01:05:26 -!- ChanServ has set mode +o copumpkin 01:05:37 -!- copumpkin has set mode -b *!~letalvis@222-152-142-161.jetstream.xtra.co.nz 01:05:39 -!- copumpkin has set mode -o copumpkin 01:05:58 zacts [~blueberry@75-161-40-67.albq.qwest.net] has joined #scheme 01:10:58 -!- zacts [~blueberry@75-161-40-67.albq.qwest.net] has quit [Changing host] 01:10:58 zacts [~blueberry@unaffiliated/zacts] has joined #scheme 01:15:25 -!- GOMADWarrior [~Regis@189.34.44.144] has quit [Ping timeout: 245 seconds] 01:17:42 xwl [~user@119.161.133.104] has joined #scheme 01:26:47 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 01:27:36 -!- joneshf-laptop [~joneshf@mail.concordusapps.com] has quit [Ping timeout: 256 seconds] 01:33:17 That was weird... 01:34:09 he made similar remarks in #haskell, I banned him, then he started PMing me so I figured it was coming soon in here 01:34:17 perhaps a little premature 01:36:06 I wonder why one would go to the trouble of formulating a coherent question only to switch to brainless abuse like that. 01:36:41 -!- xwl [~user@119.161.133.104] has quit [Remote host closed the connection] 01:36:59 maybe is no relation between question and abuse, :) 01:37:21 perhaps he didn't intend to do that in here and I overreacted! 01:37:52 maybe he just wanted to shit in one channel and eat in another. Doesn't seem too implausible 01:37:57 maybe will learn to control 01:38:34 If he was an arse in #haskell, he's an arse; doesn't matter that it was #haskell... 01:39:07 he's still keeping it up in PM, for what it's worth :) 01:39:50 Unsurprising. 01:40:08 Riastradh: where are you these days? 01:40:30 Nowhere near the excitement, fortunately. 01:40:40 oh, but still in the area? 01:40:49 -!- Triclops256|away is now known as Triclops256 01:40:53 I've moved away 01:40:56 No, nor am I anywhere in the police-paralyzed metropolitan area at all. 01:42:38 (This week struck me as a good time to donate to the ACLU.) 02:08:46 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 02:17:29 -!- dnolen` [~user@rrcs-208-105-4-254.nyc.biz.rr.com] has quit [Ping timeout: 257 seconds] 02:21:12 -!- MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has quit [Ping timeout: 264 seconds] 02:21:29 -!- m4burns [m4burns@taurine.csclub.uwaterloo.ca] has quit [Quit: leaving] 02:23:39 tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 02:27:55 m4burns [m4burns@taurine.csclub.uwaterloo.ca] has joined #scheme 02:32:20 cdidd [~cdidd@95-27-238-165.broadband.corbina.ru] has joined #scheme 02:38:53 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 240 seconds] 02:42:40 groovy2shoes [~cory@unaffiliated/groovebot] has joined #scheme 02:48:21 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 02:54:08 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 02:54:56 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 272 seconds] 02:55:11 -!- preflex_ is now known as preflex 02:56:36 -!- groovy2shoes [~cory@unaffiliated/groovebot] has quit [Quit: It is now safe to turn off your groovebot.] 03:02:05 -!- dnolen [~user@cpe-72-225-195-95.nyc.res.rr.com] has quit [Ping timeout: 245 seconds] 03:03:46 -!- zacts [~blueberry@unaffiliated/zacts] has quit [Ping timeout: 245 seconds] 03:05:07 dothxs [~hxs@cpe-66-108-184-201.nyc.res.rr.com] has joined #scheme 03:05:32 zacts [~blueberry@75-161-66-57.albq.qwest.net] has joined #scheme 03:05:56 -!- zacts [~blueberry@75-161-66-57.albq.qwest.net] has quit [Changing host] 03:05:56 zacts [~blueberry@unaffiliated/zacts] has joined #scheme 03:06:17 -!- dothxs [~hxs@cpe-66-108-184-201.nyc.res.rr.com] has left #scheme 03:07:13 amgarchIn9 [~amgarchin@p4FD6003D.dip0.t-ipconnect.de] has joined #scheme 03:08:52 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 03:15:12 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [*.net *.split] 03:15:12 -!- yacks [~py@180.151.36.168] has quit [*.net *.split] 03:15:12 -!- SeySayux [SeySayux@libsylph/developer/seysayux] has quit [*.net *.split] 03:15:13 -!- tessier_ [~treed@kernel-panic/copilotco] has quit [*.net *.split] 03:15:24 yacks [~py@180.151.36.168] has joined #scheme 03:16:23 SeySayux [SeySayux@libsylph/developer/seysayux] has joined #scheme 03:18:00 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 03:20:11 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 03:20:11 tessier_ [~treed@kernel-panic/copilotco] has joined #scheme 03:26:07 -!- zacts [~blueberry@unaffiliated/zacts] has quit [Remote host closed the connection] 03:41:18 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 03:45:12 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 03:47:38 alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 03:47:56 tenkyuu [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 03:50:55 -!- amgarchIn9 [~amgarchin@p4FD6003D.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 03:51:15 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Ping timeout: 276 seconds] 03:59:01 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Read error: Operation timed out] 04:04:15 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 04:05:02 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 04:08:24 zacts [~blueberry@unaffiliated/zacts] has joined #scheme 04:30:20 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 256 seconds] 04:33:20 joneshf-laptop [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has joined #scheme 04:45:45 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 258 seconds] 04:51:28 rrradical [~rrradical@209-6-197-118.c3-0.smr-ubr2.sbo-smr.ma.cable.rcn.com] has joined #scheme 04:54:54 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 05:05:47 -!- zzing [~zzing@198-91-217-153.cpe.distributel.net] has quit [Quit: Computer has gone to sleep.] 05:10:51 billymaverick [~letalvis@222-152-142-161.jetstream.xtra.co.nz] has joined #scheme 05:11:07 does anyone know of an encryption library for shcme 05:17:46 ASau`` [~user@p4FF97E4B.dip0.t-ipconnect.de] has joined #scheme 05:18:50 -!- taylanub [tub@p4FD91857.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 05:18:56 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Remote host closed the connection] 05:19:08 taylanub [tub@p4FD91857.dip0.t-ipconnect.de] has joined #scheme 05:20:31 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 05:20:35 crypto_ [~z0d@q.notresp.com] has joined #scheme 05:20:39 DerGuteM1ritz [~syn@85.88.17.198] has joined #scheme 05:20:54 arbn_ [~arbn@auriga.kiwilight.com] has joined #scheme 05:22:01 -!- arbn_ [~arbn@auriga.kiwilight.com] has quit [Client Quit] 05:22:21 arbn_ [~arbn@auriga.kiwilight.com] has joined #scheme 05:23:25 -!- arbn_ [~arbn@auriga.kiwilight.com] has quit [Client Quit] 05:23:45 arbn_ [~arbn@auriga.kiwilight.com] has joined #scheme 05:25:28 -!- ASau` [~user@p4FF97E4B.dip0.t-ipconnect.de] has quit [*.net *.split] 05:25:29 -!- z0d [~z0d@unaffiliated/z0d] has quit [*.net *.split] 05:25:29 -!- mmc [~michal@sams-office-nat.tomtomgroup.com] has quit [*.net *.split] 05:25:29 -!- ^self [~fn@headache.hungry.com] has quit [*.net *.split] 05:25:29 -!- DerGuteMoritz [~syn@85.88.17.198] has quit [*.net *.split] 05:25:30 -!- arbn [~arbn@auriga.kiwilight.com] has quit [*.net *.split] 05:25:30 -!- arbn_ is now known as epistemic 05:26:38 -!- epistemic is now known as arbn 05:32:55 billymaverick, guile but is not strong encryptation and probably not pure scheme 05:56:35 -!- rrradical [~rrradical@209-6-197-118.c3-0.smr-ubr2.sbo-smr.ma.cable.rcn.com] has quit [Remote host closed the connection] 06:02:30 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Read error: Connection reset by peer] 06:04:04 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 06:30:02 tacey [~tacey@220.231.27.150] has joined #scheme 06:40:01 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 245 seconds] 06:52:15 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 07:03:04 -!- sambio [~sambio@unaffiliated/sambio] has quit [] 07:07:06 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 245 seconds] 07:09:55 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Read error: Connection reset by peer] 07:27:00 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 07:30:48 jerryzhou [~slackerui@58.245.253.218] has joined #scheme 07:35:08 -!- dessos [~dessos@c-174-60-176-249.hsd1.pa.comcast.net] has left #scheme 07:36:14 -!- BossKonaSegwaY1 [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has quit [Read error: Connection reset by peer] 07:36:25 BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has joined #scheme 07:38:30 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 264 seconds] 07:40:12 -!- billymaverick [~letalvis@222-152-142-161.jetstream.xtra.co.nz] has quit [Quit: Leaving] 07:41:53 leftlimit_ [2a4803b3@gateway/web/freenode/ip.42.72.3.179] has joined #scheme 07:42:26 -!- jerryzhou [~slackerui@58.245.253.218] has quit [Quit: Leaving] 07:42:52 araujo [~araujo@190.73.45.171] has joined #scheme 07:42:53 -!- araujo [~araujo@190.73.45.171] has quit [Changing host] 07:42:53 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 07:44:30 pierpa` [~user@host76-53-dynamic.50-79-r.retail.telecomitalia.it] has joined #scheme 07:45:55 yacks [~py@180.151.36.168] has joined #scheme 07:46:18 -!- pierpa [~user@host28-20-dynamic.53-79-r.retail.telecomitalia.it] has quit [Ping timeout: 258 seconds] 07:48:59 Strigoides [~owen@60-234-213-126.bitstream.orcon.net.nz] has joined #scheme 07:51:18 -!- leftlimit_ [2a4803b3@gateway/web/freenode/ip.42.72.3.179] has quit [Ping timeout: 245 seconds] 08:04:24 trusktr [~trusktr@c-71-193-54-200.hsd1.ca.comcast.net] has joined #scheme 08:04:57 gravicappa [~gravicapp@ppp91-77-168-70.pppoe.mtu-net.ru] has joined #scheme 08:22:19 przl [~przlrkt@p5DCA3281.dip0.t-ipconnect.de] has joined #scheme 08:33:54 civodul [~user@reverse-83.fdn.fr] has joined #scheme 08:53:30 -!- przl [~przlrkt@p5DCA3281.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 09:00:07 ijp [~user@host81-155-27-94.range81-155.btcentralplus.com] has joined #scheme 09:04:30 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 09:17:23 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 09:25:07 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 264 seconds] 09:29:06 aoh [~aki@adsl-99-115.netplaza.fi] has joined #scheme 09:50:38 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Quit: Leaving] 09:55:49 -!- trusktr [~trusktr@c-71-193-54-200.hsd1.ca.comcast.net] has quit [Ping timeout: 248 seconds] 09:58:37 -!- permagreen [~donovan@204-195-27-175.wavecable.com] has quit [Read error: Connection timed out] 09:59:07 permagreen [~donovan@204-195-27-175.wavecable.com] has joined #scheme 10:35:00 -!- peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has quit [Ping timeout: 264 seconds] 10:42:17 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #scheme 10:47:52 -!- DerGuteM1ritz is now known as DerGuteMoritz 10:57:31 -!- LAMMJohn1on [~ja@user-5af437e5.broadband.tesco.net] has quit [Ping timeout: 245 seconds] 11:01:26 -!- alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 11:01:27 peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has joined #scheme 11:15:10 agumonkey [~agu@147.217.72.86.rev.sfr.net] has joined #scheme 11:22:29 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 11:26:52 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 246 seconds] 11:28:53 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 11:56:01 -!- crypto_ is now known as z0d 11:56:14 -!- z0d [~z0d@q.notresp.com] has quit [Changing host] 11:56:14 z0d [~z0d@unaffiliated/z0d] has joined #scheme 11:57:12 -!- peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 11:59:04 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 12:11:40 MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 12:12:15 peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has joined #scheme 12:26:21 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Remote host closed the connection] 12:37:41 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #scheme 12:41:17 -!- peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has quit [Ping timeout: 255 seconds] 12:43:13 peterhil [~peterhil@91-157-48-51.elisa-laajakaista.fi] has joined #scheme 12:44:10 peterhil` [~peterhil@91-157-48-77.elisa-laajakaista.fi] has joined #scheme 12:45:15 -!- ASau`` is now known as ASau 12:54:11 -!- tali713 [~tali713@2001:0:53aa:64c:20fb:61b6:b3ee:137e] has quit [Ping timeout: 245 seconds] 12:55:23 tali713 [~tali713@2001:0:53aa:64c:20fb:61b6:b3ee:137e] has joined #scheme 12:58:03 peterhil- [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 12:58:50 -!- peterhil [~peterhil@91-157-48-51.elisa-laajakaista.fi] has quit [Ping timeout: 255 seconds] 13:13:28 -!- Tanami [~carnage@9ch.in] has quit [Read error: Connection reset by peer] 13:14:07 Tanami [~carnage@9ch.in] has joined #scheme 13:14:19 leftlimit [dc85c34a@gateway/web/freenode/ip.220.133.195.74] has joined #scheme 13:18:14 peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 13:18:18 -!- peterhil- [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 13:25:01 -!- tali713 [~tali713@2001:0:53aa:64c:20fb:61b6:b3ee:137e] has quit [Ping timeout: 245 seconds] 13:27:08 -!- leftlimit [dc85c34a@gateway/web/freenode/ip.220.133.195.74] has quit [Ping timeout: 245 seconds] 13:28:42 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #scheme 13:29:24 -!- peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Ping timeout: 260 seconds] 13:30:24 -!- peterhil` [~peterhil@91-157-48-77.elisa-laajakaista.fi] has quit [Ping timeout: 276 seconds] 13:30:29 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 252 seconds] 13:31:23 tali713 [~tali713@2001:0:53aa:64c:20fb:61b6:b3ee:137e] has joined #scheme 13:32:19 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 13:33:48 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 13:34:22 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 13:36:56 peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 13:37:08 peterhil` [~peterhil@91-157-48-77.elisa-laajakaista.fi] has joined #scheme 13:54:46 -!- tacey [~tacey@220.231.27.150] has quit [Quit: Lost terminal] 14:00:37 -!- Triclops256 is now known as Triclops256|away 14:12:11 xwl [~user@119.161.133.104] has joined #scheme 14:14:05 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 14:14:38 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Remote host closed the connection] 14:18:03 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 258 seconds] 14:19:53 peterhil- [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 14:19:55 -!- peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 14:25:02 -!- bjz [~brendanza@125.253.99.68] has quit [Read error: Connection reset by peer] 14:27:04 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #scheme 14:31:05 -!- peterhil- [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 14:31:27 peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 14:33:45 Flame_Alchemist [~Flame_Alc@host77-99-dynamic.6-79-r.retail.telecomitalia.it] has joined #scheme 14:34:06 -!- tenkyuu [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Ping timeout: 276 seconds] 14:38:52 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 14:39:35 -!- peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 14:39:47 peterhil- [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 14:41:10 alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 14:57:04 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Quit: leaving] 15:04:50 -!- peterhil- [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 15:07:40 peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has joined #scheme 15:15:42 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 15:27:45 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 15:27:50 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 15:29:19 walter [~walter@ip-64-134-101-130.public.wayport.net] has joined #scheme 15:35:51 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 15:48:19 zzing [~zzing@198-91-217-153.cpe.distributel.net] has joined #scheme 15:50:13 -!- peterhil [~peterhil@91-157-48-85.elisa-laajakaista.fi] has quit [Quit: Must not waste too much time here...] 15:52:43 bjz [~brendanza@125.253.99.68] has joined #scheme 15:54:28 -!- alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 15:58:37 alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 15:59:48 -!- alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 15:59:52 alexei_ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:05:58 -!- zzing [~zzing@198-91-217-153.cpe.distributel.net] has quit [Quit: Computer has gone to sleep.] 16:10:15 -!- alexei_ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:10:22 alexei___ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:12:17 amgarchIn9 [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:12:25 -!- alexei___ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:13:28 GOMADWarrior [~Regis@189.34.44.144] has joined #scheme 16:14:17 -!- ijp [~user@host81-155-27-94.range81-155.btcentralplus.com] has quit [Quit: gone babysittin] 16:18:26 honkfestival [~honkfesti@198-84-183-94.cpe.teksavvy.com] has joined #scheme 16:20:55 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 16:24:56 dnolen [~user@cpe-72-225-195-95.nyc.res.rr.com] has joined #scheme 16:31:50 zzing [~zzing@wlan.cspc1.uwindsor.ca] has joined #scheme 16:32:22 -!- amgarchIn9 [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:32:27 alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:33:28 -!- alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:33:36 alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:35:01 alexei_ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:35:24 -!- alexei [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:37:20 alexei___ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has joined #scheme 16:37:32 -!- alexei_ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 16:41:18 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 16:42:42 -!- alexei___ [~amgarchin@pD9E16C04.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 16:43:39 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 16:43:39 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 16:43:40 leftlimit [dc85c34a@gateway/web/freenode/ip.220.133.195.74] has joined #scheme 16:45:38 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 16:46:02 -!- leftlimit [dc85c34a@gateway/web/freenode/ip.220.133.195.74] has quit [Client Quit] 16:53:36 -!- walter [~walter@ip-64-134-101-130.public.wayport.net] has quit [Quit: This computer has gone to sleep] 16:56:08 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Ping timeout: 260 seconds] 16:56:51 billymaverick was in #emacs too .. weird. 17:05:29 perhaps he's just a homophobic emacs/scheme user who happens to think haskell is a "sodomite" language and wants to make sure everyone knows his thoughts on that 17:07:59 LOL 17:08:33 Life's too short for such foolishness. 17:09:17 howlandlr [~mlb@cpe-075-181-039-236.carolina.res.rr.com] has joined #scheme 17:12:05 I do like the warm safety of a strict typing system, but hate the required boilerplate. If I got it right, type-inference goes quite far and lifts pretty much all need for boilerplate. Then I wonder why we don't use static type-checkers even for dynamically-typed languages, and treat the errors they emit as notices/warnings ... 17:13:25 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 17:16:16 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 17:16:23 walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 17:18:56 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Ping timeout: 255 seconds] 17:26:29 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.4.0] 17:26:53 taylanub: hence Typed Racket 17:27:16 although it treats errors as errors. 17:42:01 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Remote host closed the connection] 17:58:09 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 18:06:56 -!- fgudin [fgudin@odin.sdf-eu.org] has quit [Ping timeout: 256 seconds] 18:08:40 -!- adu [~ajr@pool-173-66-11-197.washdc.fios.verizon.net] has quit [Quit: adu] 18:08:41 fgudin [fgudin@odin.sdf-eu.org] has joined #scheme 18:15:57 gabnet [~gabnet@ACaen-652-1-194-14.w83-115.abo.wanadoo.fr] has joined #scheme 18:19:18 -!- GOMADWarrior [~Regis@189.34.44.144] has quit [Ping timeout: 264 seconds] 18:20:12 GOMADWarrior [~Regis@189.34.44.144] has joined #scheme 18:24:35 -!- howlandlr [~mlb@cpe-075-181-039-236.carolina.res.rr.com] has quit [Quit: WeeChat 0.3.8] 18:29:33 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Quit: Leaving] 18:30:36 rndnick04837 [~user@stgt-5f71a1fb.pool.mediaWays.net] has joined #scheme 18:32:33 leftlimit [~leftlimit@220-133-195-74.HINET-IP.hinet.net] has joined #scheme 18:34:11 -!- leftlimit [~leftlimit@220-133-195-74.HINET-IP.hinet.net] has quit [Client Quit] 18:34:40 wanham [~wanham@220-133-195-74.HINET-IP.hinet.net] has joined #scheme 18:35:19 -!- wanham [~wanham@220-133-195-74.HINET-IP.hinet.net] has quit [Remote host closed the connection] 18:37:09 -!- gabnet [~gabnet@ACaen-652-1-194-14.w83-115.abo.wanadoo.fr] has quit [Quit: Ex-Chat] 18:37:22 groovy2shoes [~guv@unaffiliated/groovebot] has joined #scheme 18:40:34 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #scheme 18:47:46 -!- Flame_Alchemist [~Flame_Alc@host77-99-dynamic.6-79-r.retail.telecomitalia.it] has quit [Read error: Connection reset by peer] 18:47:53 -!- hiroaki [~hiroaki@ip-5-147-122-136.unitymediagroup.de] has quit [Ping timeout: 240 seconds] 18:47:59 -!- hiroakip [~hiroaki@ip-5-147-122-136.unitymediagroup.de] has quit [Ping timeout: 256 seconds] 18:57:33 Bigloo also uses type inference, though its type system is simpler than that of Typed Racket AIUI 19:00:49 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 19:03:09 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 19:03:51 -!- Strigoides [~owen@60-234-213-126.bitstream.orcon.net.nz] has quit [Quit: leaving] 19:05:07 hiroaki [~hiroaki@ip-5-147-122-136.unitymediagroup.de] has joined #scheme 19:05:09 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 19:05:10 hiroakip [~hiroaki@ip-5-147-122-136.unitymediagroup.de] has joined #scheme 19:05:29 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 19:05:35 alexei [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 19:06:12 yacks [~py@180.151.36.168] has joined #scheme 19:12:58 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 19:20:15 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 19:23:51 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 19:24:51 walter|rtn [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 19:25:01 -!- walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Read error: Operation timed out] 19:36:28 -!- rndnick04837 [~user@stgt-5f71a1fb.pool.mediaWays.net] has quit [Remote host closed the connection] 19:37:33 -!- rszeno [~rszeno@79.114.103.246] has quit [Quit: Leaving.] 19:50:57 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 19:59:55 -!- honkfestival [~honkfesti@198-84-183-94.cpe.teksavvy.com] has quit [Quit: Computer has gone to sleep.] 20:01:06 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 20:12:00 -!- dnolen [~user@cpe-72-225-195-95.nyc.res.rr.com] has quit [Remote host closed the connection] 20:19:13 -!- walter|rtn [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 20:20:38 walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 20:26:04 walter|rtn [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 20:26:11 Regis__ [~Regis@189.34.44.144] has joined #scheme 20:26:18 -!- walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 20:28:23 -!- GOMADWarrior [~Regis@189.34.44.144] has quit [Ping timeout: 255 seconds] 20:30:39 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Remote host closed the connection] 20:35:14 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 20:35:56 C-Keen [cckeen@pestilenz.org] has joined #scheme 20:36:09 re 20:36:10 jao [~jao@48.Red-88-17-131.dynamicIP.rima-tde.net] has joined #scheme 20:36:13 -!- jao [~jao@48.Red-88-17-131.dynamicIP.rima-tde.net] has quit [Changing host] 20:36:14 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 20:37:24 r.e.s.p.e.c.t 20:37:38 ;) 20:41:47 GOMADWarrior [~Regis@189.34.44.144] has joined #scheme 20:42:16 -!- GOMADWarrior [~Regis@189.34.44.144] has quit [Max SendQ exceeded] 20:42:47 GOMADWarrior [~Regis@189.34.44.144] has joined #scheme 20:43:40 -!- GOMADWarrior [~Regis@189.34.44.144] has quit [Max SendQ exceeded] 20:44:13 -!- Regis__ [~Regis@189.34.44.144] has quit [Ping timeout: 252 seconds] 20:46:12 GOMADWarrior [~Regis@189.34.44.144] has joined #scheme 20:49:44 alexei_ [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 20:50:01 -!- alexei [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 20:57:36 -!- civodul [~user@reverse-83.fdn.fr] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:04:06 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 21:07:05 dnolen [~user@cpe-72-225-195-95.nyc.res.rr.com] has joined #scheme 21:07:19 -!- alexei_ [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 21:08:36 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 264 seconds] 21:11:39 taylanub: a type system that only gives warnings can be less useful than one that actually errors. For example, it may not be safe to do type-based optimizations with such a type system. 21:12:23 alexei_ [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:12:31 taylanub: also, dynamically typed languages can require more expressive type systems than languages designed from the start with types. 21:14:55 alexei___ [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:15:00 mange [~mange@pc-241-220-86-200.cm.vtr.net] has joined #scheme 21:15:14 -!- alexei_ [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 21:15:40 asumu: My assumption was that a type-inferrer could validate, say, half of common Scheme code, and that it's only a specific property or set of properties of the language which, when used in code, make a type-checker error. "The line between valid statically-typed programs, and statically invalid but dynamically valid programs," so to say. But perhaps my thinking is overly simplistic, and no such line exists. 21:17:25 taylanub: maybe you'd be interested in work on "progressive typing": http://blog.brownplt.org/2012/09/01/progressive-types.html 21:18:51 -!- alexei___ [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 21:18:56 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:22:04 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Client Quit] 21:22:15 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:22:56 -!- tali713 [~tali713@2001:0:53aa:64c:20fb:61b6:b3ee:137e] has quit [Ping timeout: 245 seconds] 21:24:17 Thanks for the link, that seems to have some very simple examples of the over-restricting behavior of static type-systems. 21:28:18 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 21:28:22 tali713 [~tali713@2001:0:53aa:64c:3476:5453:b3ee:137e] has joined #scheme 21:28:33 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:34:01 -!- gravicappa [~gravicapp@ppp91-77-168-70.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:34:10 pothos_ [~pothos@114-36-250-138.dynamic.hinet.net] has joined #scheme 21:34:52 -!- pothos [~pothos@1-164-211-51.dynamic.hinet.net] has quit [Ping timeout: 256 seconds] 21:35:05 -!- pothos_ is now known as pothos 21:48:17 Hrm, given the "plus" example on that page, shouldn't it be trivial for the type-inferrer to know that for arguments Integer Integer, plus returns an Integer, so the result of (plus 3 4) can be passed to greater-than without there being a possibility of plus returning a Number that greater-than cannot handle (e.g. complex) ? 21:51:57 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 21:52:56 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:53:28 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Client Quit] 21:53:38 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:54:14 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Client Quit] 21:54:24 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 21:58:05 taylanub: That turns out of be tricky. Typed Racket uses intersection types to encode that. 21:58:15 For more details: http://www.ccs.neu.edu/home/stamourv/papers/numeric-tower.pdf 21:58:31 adu [~ajr@pool-173-66-11-197.washdc.fios.verizon.net] has joined #scheme 22:02:43 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 22:04:56 Regis__ [~Regis@189.34.44.144] has joined #scheme 22:07:24 -!- GOMADWarrior [~Regis@189.34.44.144] has quit [Ping timeout: 264 seconds] 22:08:46 -!- tali713 [~tali713@2001:0:53aa:64c:3476:5453:b3ee:137e] has quit [Ping timeout: 245 seconds] 22:14:23 tali713 [~tali713@2001:0:53aa:64c:1896:64db:b3ee:137e] has joined #scheme 22:16:48 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Ping timeout: 258 seconds] 22:21:24 -!- Euthy [~euthy@unaffiliated/euthydemus] has quit [Quit: leaving] 22:24:10 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Ping timeout: 256 seconds] 22:24:15 -!- zzing [~zzing@wlan.cspc1.uwindsor.ca] has quit [Quit: Computer has gone to sleep.] 22:24:15 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 22:28:46 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 22:28:53 wbooze [~wbooze@xdsl-78-35-148-233.netcologne.de] has joined #scheme 22:33:31 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 22:44:29 -!- cdidd [~cdidd@95-27-238-165.broadband.corbina.ru] has quit [Remote host closed the connection] 22:46:07 amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has joined #scheme 22:48:32 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Ping timeout: 256 seconds] 22:49:24 -!- dnolen [~user@cpe-72-225-195-95.nyc.res.rr.com] has quit [Ping timeout: 260 seconds] 22:55:33 -!- amgarchIn9 [~amgarchin@pD9E170A7.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 23:05:19 -!- Tanami [~carnage@9ch.in] has quit [Ping timeout: 264 seconds] 23:12:23 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 23:18:07 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 23:23:57 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 23:27:50 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 23:31:19 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 23:36:15 -!- mange [~mange@pc-241-220-86-200.cm.vtr.net] has quit [Remote host closed the connection] 23:48:05 ASau` [~user@p4FF97886.dip0.t-ipconnect.de] has joined #scheme 23:51:07 jerryzhou [~slackerui@58.245.253.218] has joined #scheme 23:51:34 -!- ASau [~user@p4FF97E4B.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 23:52:44 -!- jerryzhou [~slackerui@58.245.253.218] has quit [Max SendQ exceeded] 23:53:04 jerryzhou [~slackerui@58.245.253.218] has joined #scheme