00:01:04 -!- taylanub [tub@p4FD93BCF.dip.t-dialin.net] has quit [Ping timeout: 256 seconds] 00:03:16 -!- bjz [~brendanza@125.253.99.68] has quit [Quit: Leaving...] 00:03:42 juxovec [~juxovec@88.103.13.78] has joined #scheme 00:08:06 -!- juxovec [~juxovec@88.103.13.78] has quit [Ping timeout: 244 seconds] 00:09:38 taylanub [tub@p4FD93BCF.dip.t-dialin.net] has joined #scheme 00:10:21 -!- groovy2shoes [~cory@unaffiliated/groovebot] has quit [Quit: Computer has gone to sleep] 00:14:41 bjz [~brendanza@125.253.99.68] has joined #scheme 00:15:30 -!- dnolen [~user@cpe-74-64-61-245.nyc.res.rr.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 00:24:14 robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has joined #scheme 00:34:32 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 00:37:45 -!- mmc2 [~michal@178-85-64-28.dynamic.upc.nl] has quit [Ping timeout: 240 seconds] 00:38:35 tali713 [~user@c-76-17-236-129.hsd1.mn.comcast.net] has joined #scheme 00:40:47 -!- cdidd [~cdidd@95-28-81-99.broadband.corbina.ru] has quit [Remote host closed the connection] 00:41:38 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 255 seconds] 00:42:34 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 01:02:57 dnolen [~user@cpe-74-64-61-245.nyc.res.rr.com] has joined #scheme 01:04:14 juxovec [~juxovec@88.103.13.78] has joined #scheme 01:07:41 -!- alexei [~amgarchin@p4FD619A0.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 01:08:45 -!- juxovec [~juxovec@88.103.13.78] has quit [Ping timeout: 240 seconds] 01:09:08 -!- Triclops256 is now known as Triclops256|away 01:09:32 howl` [~user@59.174.167.161] has joined #scheme 01:14:17 -!- howl` is now known as heachcliff 01:14:24 -!- heachcliff is now known as hitchcliff 01:14:28 -!- hitchcliff is now known as heachcliff 01:23:45 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Ping timeout: 252 seconds] 01:27:52 -!- Triclops256|away is now known as Triclops256 01:27:57 zacts [~user@unaffiliated/zacts] has joined #scheme 01:31:19 b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has joined #scheme 01:34:03 -!- Triclops256 is now known as Triclops256|away 01:37:42 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 01:42:27 -!- silkwood [~silkwood@dhcp-196-104.resnet.uab.edu] has quit [Ping timeout: 252 seconds] 01:43:51 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 01:57:55 -!- Triclops256|away is now known as Triclops256 02:04:40 juxovec [~juxovec@88.103.13.78] has joined #scheme 02:06:43 -!- Triclops256 is now known as Triclops256|away 02:08:58 -!- Triclops256|away is now known as Triclops256 02:09:00 -!- juxovec [~juxovec@88.103.13.78] has quit [Ping timeout: 244 seconds] 02:17:00 -!- peterhil [~peterhil@91-157-48-10.elisa-laajakaista.fi] has quit [Ping timeout: 260 seconds] 02:29:32 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 02:30:33 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 02:30:38 https://github.com/nasser/--- 02:31:20 this is pretty: https://github.com/nasser/---/blob/master/public/lib/amthila/konway.qlb 02:32:04 hard to read though, the indentation doesn't work the way you'd expect 02:32:05 -!- Nisstyre_ [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 252 seconds] 02:35:35 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 255 seconds] 02:36:47 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 02:39:38 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:41:59 odd -- it seems _every_ character apart from parens and whitespare are Arabic. I'd have expected a digit (ha, they're Arabic too, I know) or something else familiar mixed in there. 02:42:58 ah, I see now: that's the entire point. 02:44:24 they use roman-numerals for numbers ;) 02:48:07 peterhil [~peterhil@91-157-48-10.elisa-laajakaista.fi] has joined #scheme 02:48:18 Nisstyre_ [~yours@oftn/member/Nisstyre] has joined #scheme 02:48:46 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 245 seconds] 02:49:16 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 02:49:24 but of course. 02:49:27 more seriously, I assume they use the arabic-indic digits which are hard for us to recognize: http://en.wikipedia.org/wiki/Eastern_Arabic_numerals 02:49:54 oho 02:51:24 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 252 seconds] 02:53:14 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 252 seconds] 02:56:09 jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 03:05:13 juxovec [~juxovec@88.103.13.78] has joined #scheme 03:06:59 Onionnion|Eee [~ryan@adsl-68-254-167-191.dsl.milwwi.ameritech.net] has joined #scheme 03:09:44 -!- juxovec [~juxovec@88.103.13.78] has quit [Ping timeout: 240 seconds] 03:25:38 -!- pjb [~t@AMontsouris-651-1-253-121.w92-163.abo.wanadoo.fr] has quit [Ping timeout: 256 seconds] 03:28:26 -!- dnolen [~user@cpe-74-64-61-245.nyc.res.rr.com] has quit [Ping timeout: 252 seconds] 03:36:44 -!- MiningMarsh is now known as Mining|away 03:38:34 cataska [~user@210.64.6.233] has joined #scheme 03:40:45 -!- Triclops256 is now known as Triclops256|away 03:41:11 -!- Nisstyre_ [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 255 seconds] 03:42:29 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 03:50:54 -!- heachcliff [~user@59.174.167.161] has left #scheme 03:54:49 -!- rmathews [~roshan@122.164.166.87] has quit [Quit: ...] 03:57:41 ManAmongHippos [~ManAmongH@68-113-107-107.static.leds.al.charter.com] has joined #scheme 04:01:24 yacks [~yacks@180.151.36.169] has joined #scheme 04:03:36 -!- MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has quit [Ping timeout: 256 seconds] 04:05:44 juxovec [~juxovec@88.103.13.78] has joined #scheme 04:10:48 -!- juxovec [~juxovec@88.103.13.78] has quit [Ping timeout: 276 seconds] 04:13:12 -!- Triclops256|away is now known as Triclops256 04:13:23 -!- Triclops256 is now known as Triclops256|away 04:14:20 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 04:16:04 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 256 seconds] 04:16:22 -!- preflex_ is now known as preflex 04:17:50 silkwood [~silkwood@71-8-84-26.dhcp.leds.al.charter.com] has joined #scheme 04:18:24 groovy2shoes [~cory@unaffiliated/groovebot] has joined #scheme 04:18:46 -!- b1rkh0ff [~b1rkh0ff@109.163.163.189] has quit [Ping timeout: 245 seconds] 04:19:05 b1rkh0ff [~b1rkh0ff@31.176.186.83] has joined #scheme 04:22:49 dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has joined #scheme 04:23:56 -!- wbooze [~wbooze@xdsl-78-35-174-41.netcologne.de] has quit [Remote host closed the connection] 04:24:23 toekutr [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 04:24:45 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 260 seconds] 04:26:48 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 04:34:20 -!- dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has quit [Remote host closed the connection] 04:41:01 Nisstyre_ [~yours@oftn/member/Nisstyre] has joined #scheme 04:41:53 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Disconnected by services] 04:42:01 -!- Nisstyre_ is now known as Nisstyre 04:42:30 -!- robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 04:45:59 -!- ManAmongHippos [~ManAmongH@68-113-107-107.static.leds.al.charter.com] has quit [Ping timeout: 255 seconds] 04:46:32 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 252 seconds] 04:46:36 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 04:46:51 amoe [~amoe@host-78-147-172-55.as13285.net] has joined #scheme 04:49:26 -!- Onionnion|Eee [~ryan@adsl-68-254-167-191.dsl.milwwi.ameritech.net] has quit [Remote host closed the connection] 04:50:08 -!- amoe_ [~amoe@host-78-147-110-186.as13285.net] has quit [Ping timeout: 255 seconds] 04:58:27 juxovec [~juxovec@88.103.13.78] has joined #scheme 04:59:02 -!- Tanami [~carnage@9ch.in] has quit [Ping timeout: 255 seconds] 05:00:53 -!- groovy2shoes [~cory@unaffiliated/groovebot] has quit [Quit: Computer has gone to sleep] 05:01:31 -!- juxovec [~juxovec@88.103.13.78] has quit [Remote host closed the connection] 05:05:35 William [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has joined #scheme 05:06:00 -!- William is now known as Guest96727 05:14:33 -!- sirdancealot7 [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 276 seconds] 05:15:54 rmathews [~roshan@122.165.89.11] has joined #scheme 05:25:42 juxovec [~juxovec@88.103.13.78] has joined #scheme 05:27:03 sirdancealot7 [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 05:28:56 enoch_r [~textual@cpe-76-175-17-110.socal.res.rr.com] has joined #scheme 05:47:53 -!- enoch_r [~textual@cpe-76-175-17-110.socal.res.rr.com] has quit [Quit: ["Textual IRC Client: www.textualapp.com"]] 05:58:12 mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 06:00:46 -!- grettke [~grettke@cpe-65-30-29-70.wi.res.rr.com] has quit [Remote host closed the connection] 06:03:28 -!- yacks [~yacks@180.151.36.169] has quit [Quit: Leaving] 06:04:09 -!- juxovec [~juxovec@88.103.13.78] has quit [Read error: Connection reset by peer] 06:05:36 -!- Guest96727 is now known as t3rt3l 06:05:46 juxovec [~juxovec@88.103.13.78] has joined #scheme 06:07:39 hi 06:17:03 -!- mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 06:20:02 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 06:21:15 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 06:28:40 Tanami [~carnage@9ch.in] has joined #scheme 06:31:02 -!- juxovec [~juxovec@88.103.13.78] has quit [Remote host closed the connection] 06:31:53 rmathews_ [~roshan@122.165.89.11] has joined #scheme 06:31:55 zacts [~lcc@unaffiliated/zacts] has joined #scheme 06:34:15 -!- rmathews [~roshan@122.165.89.11] has quit [Ping timeout: 260 seconds] 06:34:15 -!- rmathews_ is now known as rmathews 06:47:41 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 06:49:23 -!- toekutr [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 07:02:52 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 07:10:32 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 255 seconds] 07:14:42 robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has joined #scheme 07:17:25 -!- robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has quit [Remote host closed the connection] 07:18:05 robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has joined #scheme 07:20:56 -!- rmathews [~roshan@122.165.89.11] has quit [Quit: ...] 07:23:13 juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has joined #scheme 07:30:24 mmc2 [~michal@178-85-64-28.dynamic.upc.nl] has joined #scheme 07:38:01 -!- karswell [~user@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 07:43:05 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 260 seconds] 07:48:46 -!- mmc2 [~michal@178-85-64-28.dynamic.upc.nl] has quit [Ping timeout: 245 seconds] 07:55:23 -!- bjz [~brendanza@125.253.99.68] has left #scheme 07:58:24 civodul [~user@193.50.110.227] has joined #scheme 08:01:22 Nisstyre_ [~yours@oftn/member/Nisstyre] has joined #scheme 08:02:06 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Disconnected by services] 08:02:16 -!- Nisstyre_ is now known as Nisstyre 08:02:44 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 240 seconds] 08:04:05 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 08:09:28 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 08:09:41 yacks [~yacks@180.151.36.169] has joined #scheme 08:10:24 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 08:11:09 rmathews [~roshan@122.165.89.11] has joined #scheme 08:15:52 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 276 seconds] 08:19:47 peterhil` [~peterhil@cs78241249.pp.htv.fi] has joined #scheme 08:20:11 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 255 seconds] 08:25:54 cdidd [~cdidd@89-178-147-156.broadband.corbina.ru] has joined #scheme 08:26:22 -!- peterhil` [~peterhil@cs78241249.pp.htv.fi] has quit [Quit: Must not waste too much time here...] 08:28:32 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 08:29:27 -!- juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has quit [Remote host closed the connection] 08:36:39 hkBst [~marijn@79.170.210.172] has joined #scheme 08:36:39 -!- hkBst [~marijn@79.170.210.172] has quit [Changing host] 08:36:39 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 08:41:41 xwl [~user@119.161.133.70] has joined #scheme 08:56:22 snearch [~snearch@f053010069.adsl.alicedsl.de] has joined #scheme 08:56:31 hkBst_ [~marijn@79.170.210.172] has joined #scheme 08:56:31 -!- hkBst_ [~marijn@79.170.210.172] has quit [Changing host] 08:56:31 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 08:58:04 -!- snearch [~snearch@f053010069.adsl.alicedsl.de] has quit [Read error: Connection reset by peer] 08:58:20 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Ping timeout: 260 seconds] 09:01:39 ijp [~user@host86-143-194-25.range86-143.btcentralplus.com] has joined #scheme 09:10:45 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 09:16:22 quchen [~david@wthp166d.physik.uni-wuerzburg.de] has joined #scheme 09:16:58 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 256 seconds] 09:17:21 Hello #scheme! I'm writing a Scheme interpreter, and everything (implemented so far) seems to work quite well. However, as I have not been a Lisper before I started this project, I don't have a code base to test the interpreter on. One of the canonical examples for cool and nontrivial Lisp seems to be the Lisp interpreter written in Lisp. However, I can't find a full (R5RS) Scheme interpreter implemented in itself - the best hits were ending 09:21:03 juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has joined #scheme 09:21:15 many implementations come with a r5rs testsuite. those a good at catching common errors. 09:27:57 aoh: Interesting, I'll look for those then, thank you 09:28:29 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 09:29:59 Fare [fare@nat/google/x-jvyzvbldwooayypj] has joined #scheme 09:35:20 -!- Fare [fare@nat/google/x-jvyzvbldwooayypj] has quit [Ping timeout: 255 seconds] 09:37:25 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 260 seconds] 09:37:44 graememcc [~chatzilla@host86-148-142-240.range86-148.btcentralplus.com] has joined #scheme 09:38:47 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 09:44:49 hkBst__ [~marijn@79.170.210.172] has joined #scheme 09:44:52 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Read error: Connection reset by peer] 09:45:44 -!- hkBst__ is now known as hkBst 09:47:42 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 09:50:34 mmc2 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 09:52:06 Fare [fare@nat/google/x-vufzojsxzemizwnv] has joined #scheme 09:55:30 -!- mmc2 [~michal@sams-office-nat.tomtomgroup.com] has quit [Ping timeout: 260 seconds] 09:57:29 -!- zacts [~lcc@unaffiliated/zacts] has quit [Quit: leaving] 10:05:07 mmc2 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 10:10:51 -!- yacks [~yacks@180.151.36.169] has quit [Ping timeout: 245 seconds] 10:13:10 przl [~przlrkt@46.231.183.162] has joined #scheme 10:16:41 -!- Fare [fare@nat/google/x-vufzojsxzemizwnv] has quit [Ping timeout: 245 seconds] 10:19:29 -!- juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has quit [Read error: Connection reset by peer] 10:19:53 yacks [~yacks@180.151.36.169] has joined #scheme 10:24:09 -!- b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has quit [Remote host closed the connection] 10:29:26 -!- yacks [~yacks@180.151.36.169] has quit [Ping timeout: 255 seconds] 10:40:17 add^_ [~add^_@m83-190-167-197.cust.tele2.se] has joined #scheme 10:45:17 yacks [~yacks@180.151.36.169] has joined #scheme 10:54:44 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 240 seconds] 11:02:18 przl [~przlrkt@46.231.183.162] has joined #scheme 11:03:12 -!- rmathews [~roshan@122.165.89.11] has quit [Quit: ...] 11:08:06 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 276 seconds] 11:10:19 -!- hkBst [~marijn@79.170.210.172] has quit [Read error: Connection reset by peer] 11:10:32 hkBst [~marijn@79.170.210.172] has joined #scheme 11:10:32 -!- hkBst [~marijn@79.170.210.172] has quit [Changing host] 11:10:32 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 11:10:51 gravicappa [~gravicapp@ppp91-77-163-47.pppoe.mtu-net.ru] has joined #scheme 11:11:01 juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has joined #scheme 11:12:00 -!- jrajav [~jrajav@66-188-176-243.dhcp.roch.mn.charter.com] has quit [Quit: phunq, sandwich store loop, WHAT NO UNIVERSE] 11:17:40 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Ping timeout: 256 seconds] 11:23:55 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 244 seconds] 11:24:23 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 11:25:20 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Ping timeout: 260 seconds] 11:28:15 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 11:34:22 elderK [~k@pdpc/supporter/active/elderk] has joined #scheme 11:37:21 -!- elderK [~k@pdpc/supporter/active/elderk] has quit [Client Quit] 11:37:40 elderK [~k@pdpc/supporter/active/elderk] has joined #scheme 11:37:44 -!- certainty [~david@www1.d-coded.de] has left #scheme 11:40:18 rmathews [~roshan@122.164.208.109] has joined #scheme 11:49:39 karswell [~user@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 11:56:17 ASau` [~user@176.3.4.117] has joined #scheme 11:58:02 -!- ASau [~user@46.115.52.76] has quit [Ping timeout: 252 seconds] 11:58:43 przl [~przlrkt@46.231.183.162] has joined #scheme 12:05:23 jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 12:06:09 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 252 seconds] 12:08:51 -!- yacks [~yacks@180.151.36.169] has quit [Remote host closed the connection] 12:25:10 sambio [~sambio@190.57.227.109] has joined #scheme 12:29:36 yacks [~yacks@180.151.36.169] has joined #scheme 12:31:46 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Remote host closed the connection] 12:31:46 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 12:35:34 la la la 12:46:54 al al al 12:47:02 b4283 [~b4283@1-172-86-109.dynamic.hinet.net] has joined #scheme 12:52:59 -!- yacks [~yacks@180.151.36.169] has quit [Ping timeout: 255 seconds] 12:53:03 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Ping timeout: 276 seconds] 12:53:06 -!- ecraven [~user@www.nexoid.at] has quit [Ping timeout: 252 seconds] 12:53:23 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 12:58:22 -!- mmc2 [~michal@sams-office-nat.tomtomgroup.com] has quit [Ping timeout: 246 seconds] 12:59:31 yacks [~yacks@180.151.36.169] has joined #scheme 13:00:20 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 13:00:41 przl [~przlrkt@46.231.183.162] has joined #scheme 13:06:45 -!- taylanub [tub@p4FD93BCF.dip.t-dialin.net] has quit [Remote host closed the connection] 13:07:34 jrajav [~jrajav@198.179.137.211] has joined #scheme 13:11:13 mmc2 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 13:11:19 taylanub [tub@p4FD93BCF.dip.t-dialin.net] has joined #scheme 13:11:50 peterhil` [~peterhil@cs78241249.pp.htv.fi] has joined #scheme 13:16:17 -!- peterhil` [~peterhil@cs78241249.pp.htv.fi] has quit [Ping timeout: 248 seconds] 13:22:42 peterhil` [~peterhil@cs78241249.pp.htv.fi] has joined #scheme 13:26:35 -!- elderK [~k@pdpc/supporter/active/elderk] has quit [Remote host closed the connection] 13:27:49 elderK [~k@pdpc/supporter/active/elderk] has joined #scheme 13:34:50 -!- elderK [~k@pdpc/supporter/active/elderk] has quit [Quit: Leaving.] 13:41:40 -!- xwl [~user@119.161.133.70] has quit [Remote host closed the connection] 13:44:11 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 13:44:40 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 13:47:51 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 13:49:45 fgudin [fgudin@odin.sdf-eu.org] has joined #scheme 13:59:28 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 252 seconds] 14:05:05 dgee519 [~dgee519@news.univ.kiev.ua] has joined #scheme 14:07:09 -!- silkwood [~silkwood@71-8-84-26.dhcp.leds.al.charter.com] has quit [Ping timeout: 276 seconds] 14:12:50 dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has joined #scheme 14:14:52 -!- taylanub [tub@p4FD93BCF.dip.t-dialin.net] has quit [Ping timeout: 252 seconds] 14:19:49 MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 14:28:33 -!- dgee519 [~dgee519@news.univ.kiev.ua] has left #scheme 14:32:44 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 14:33:17 bjz_ [~brendanza@125.253.99.68] has joined #scheme 14:39:16 taylanub [tub@p4FD937A5.dip.t-dialin.net] has joined #scheme 14:50:12 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 14:56:11 -!- joneshf [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has quit [Remote host closed the connection] 14:56:33 spobat [~spobat@p5B2DE305.dip.t-dialin.net] has joined #scheme 14:57:38 hiyosi [~hiyosi@19.94.30.125.dy.iij4u.or.jp] has joined #scheme 15:04:03 skip_it [~hiyosi@19.94.30.125.dy.iij4u.or.jp] has joined #scheme 15:05:22 -!- skip_it [~hiyosi@19.94.30.125.dy.iij4u.or.jp] has quit [Client Quit] 15:06:05 -!- hiyosi [~hiyosi@19.94.30.125.dy.iij4u.or.jp] has quit [Remote host closed the connection] 15:10:00 hiyosi [~skip_it@19.94.30.125.dy.iij4u.or.jp] has joined #scheme 15:14:04 hiyosi_ [~hiyosi@19.94.30.125.dy.iij4u.or.jp] has joined #scheme 15:21:30 ecraven [~user@www.nexoid.at] has joined #scheme 15:23:55 -!- sambio [~sambio@190.57.227.109] has quit [] 15:26:25 -!- hiyosi [~skip_it@19.94.30.125.dy.iij4u.or.jp] has quit [Quit: WeeChat 0.3.8] 15:26:42 -!- hiyosi_ is now known as hiyosi 15:30:44 -!- jrajav [~jrajav@198.179.137.211] has quit [Quit: phunq, sandwich store loop, WHAT NO UNIVERSE] 15:36:30 snearch [~snearch@f053010069.adsl.alicedsl.de] has joined #scheme 15:40:12 -!- aoh [~aki@adsl-99-115.netplaza.fi] has quit [Quit: hasboot] 15:41:47 wbooze [~wbooze@xdsl-78-35-184-247.netcologne.de] has joined #scheme 15:42:56 hash_table [~quassel@128.249.96.123] has joined #scheme 15:48:32 -!- mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has quit [Ping timeout: 256 seconds] 15:49:04 -!- cmatei [~cmatei@95.76.25.200] has quit [Read error: No route to host] 15:50:24 cmatei [~cmatei@95.76.25.200] has joined #scheme 15:50:52 -!- ecraven [~user@www.nexoid.at] has quit [Ping timeout: 245 seconds] 15:51:09 -!- dnolen [~user@cpe-74-64-32-223.nyc.res.rr.com] has quit [Ping timeout: 276 seconds] 15:52:54 ecraven [~user@www.nexoid.at] has joined #scheme 15:58:07 carleastlund [~cce@gotham.ccs.neu.edu] has joined #scheme 16:01:48 jrajav [~jrajav@198.179.137.211] has joined #scheme 16:10:20 Mining|away : "there are no variables in a language without side effects. A variable IS a side effect. I am not really sure if naming a function would be considered a side effect, but I am thinking yes." -- nope. variables (same as in math) needn't imply side effects. *assignment* to variable does 16:11:32 -!- spobat [~spobat@p5B2DE305.dip.t-dialin.net] has quit [Read error: Connection reset by peer] 16:12:34 It's a linguistics issue 16:12:43 "variable" implies mutability. If it is immutable it's a "name binding" 16:13:54 yeah, it's terminology 16:14:15 but when we don't allow assignment, we tend to call them "variables" anyway 16:14:24 hkBst [~marijn@79.170.210.172] has joined #scheme 16:14:24 -!- hkBst [~marijn@79.170.210.172] has quit [Changing host] 16:14:24 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 16:14:43 (and they do in math, as well) 16:15:57 That's OK. Python calls them "variables" as well, even though they're really not 16:16:53 -!- juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has quit [Read error: Connection reset by peer] 16:18:08 Several hundred years of precedent in math linguistics suggests that `variable' does not imply mutability... 16:18:39 -!- b4283 [~b4283@1-172-86-109.dynamic.hinet.net] has quit [Remote host closed the connection] 16:18:43 -!- b1rkh0ff [~b1rkh0ff@31.176.186.83] has quit [Ping timeout: 240 seconds] 16:18:51 Several decades of precedent in computing linguistics which inherited the term from math suggests the same... 16:19:20 -!- przl [~przlrkt@46.231.183.162] has quit [Ping timeout: 260 seconds] 16:19:27 Interesting. I suppose it is called "variable" because it varies. Without mutation, it should net vary, I guess. 16:19:48 przl [~przlrkt@46.231.183.162] has joined #scheme 16:19:59 You're thinking of the wrong thing varying. The thing being varied is the value given as input to some function or expression 16:20:28 The value itself can be immutable and still be assigned to a variable in this sense 16:21:14 f(x) = x^2. What is `x', and over what set of values could it...hmm, vary? 16:22:09 (And is time (`mutation') involved in this?) 16:22:19 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 16:22:43 *poof* 16:22:44 If I (define x 1) then (set! x 2), x's value would vary, no? 16:24:17 You are *setting* x to be one of the possible values in its input set, but that doesn't make it not a variable anymore in the sense of f(x) 16:26:42 -!- quchen [~david@wthp166d.physik.uni-wuerzburg.de] has quit [Ping timeout: 245 seconds] 16:35:22 -!- Tanami [~carnage@9ch.in] has quit [Read error: Connection reset by peer] 16:36:06 Tanami [~carnage@9ch.in] has joined #scheme 16:48:08 juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has joined #scheme 16:54:06 Fare [fare@nat/google/x-dkncqlguzwzvdrsq] has joined #scheme 16:55:32 -!- juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has quit [Remote host closed the connection] 17:02:00 -!- Tanami [~carnage@9ch.in] has quit [Read error: Connection reset by peer] 17:02:55 Tanami [~carnage@9ch.in] has joined #scheme 17:05:30 -!- przl [~przlrkt@46.231.183.162] has quit [Quit: leaving] 17:08:21 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Read error: No route to host] 17:10:13 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 240 seconds] 17:10:42 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 17:10:47 -!- civodul [~user@193.50.110.227] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:12:55 quchen [~david@p54AA3691.dip.t-dialin.net] has joined #scheme 17:29:21 adu [~ajr@96.241.27.134] has joined #scheme 17:30:18 -!- mmc2 [~michal@sams-office-nat.tomtomgroup.com] has quit [Ping timeout: 252 seconds] 17:31:25 -!- githogori [~githogori@c-69-181-111-195.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 17:33:26 -!- snearch [~snearch@f053010069.adsl.alicedsl.de] has quit [Quit: Verlassend] 17:34:11 b1rkh0ff [~b1rkh0ff@92.36.195.218] has joined #scheme 17:35:00 -!- adu [~ajr@96.241.27.134] has quit [Quit: adu] 17:43:29 PuercoPop [~user@190.222.252.106] has joined #scheme 17:50:33 -!- gravicappa [~gravicapp@ppp91-77-163-47.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 17:52:18 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 17:52:44 amgarchIn9 [~amgarchin@p4FD609EC.dip0.t-ipconnect.de] has joined #scheme 17:52:51 przl [~przlrkt@p54BF9635.dip0.t-ipconnect.de] has joined #scheme 17:55:32 -!- evoli [~Adium@173-228-28-89.dsl.dynamic.sonic.net] has quit [Quit: Leaving.] 17:58:48 pjb` [~t@AMontsouris-651-1-31-168.w82-123.abo.wanadoo.fr] has joined #scheme 17:59:25 -!- pjb` is now known as pjb 18:04:12 -!- b1rkh0ff [~b1rkh0ff@92.36.195.218] has quit [Ping timeout: 252 seconds] 18:05:27 b1rkh0ff [~b1rkh0ff@31.176.168.75] has joined #scheme 18:05:52 -!- sirdancealot7 [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 245 seconds] 18:07:36 huseby [~huseby@gateway/tor-sasl/huseby] has joined #scheme 18:08:34 sirdancealot7 [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 18:12:33 -!- przl [~przlrkt@p54BF9635.dip0.t-ipconnect.de] has quit [Ping timeout: 276 seconds] 18:12:45 -!- jrajav [~jrajav@198.179.137.211] has quit [Quit: I tend to be neutral about apples] 18:16:23 -!- ASau` is now known as ASau 18:17:04 dgee519 [~dgee519@news.univ.kiev.ua] has joined #scheme 18:18:03 sambio [~sambio@190.57.227.109] has joined #scheme 18:19:48 stat_vi [~stat@dslb-094-218-230-254.pools.arcor-ip.net] has joined #scheme 18:20:14 -!- dgee519 [~dgee519@news.univ.kiev.ua] has left #scheme 18:20:54 evoli [~Adium@63.251.248.156] has joined #scheme 18:26:12 -!- PuercoPop [~user@190.222.252.106] has quit [Remote host closed the connection] 18:27:28 PuercoPop [~user@190.222.252.106] has joined #scheme 18:28:02 mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has joined #scheme 18:30:34 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 18:36:30 ggherdov [~gghh@vau06-2-82-238-188-31.fbx.proxad.net] has joined #scheme 18:41:53 ijp` [~user@host86-171-129-175.range86-171.btcentralplus.com] has joined #scheme 18:43:55 kuribas [~user@94-227-88-230.access.telenet.be] has joined #scheme 18:44:35 -!- ijp [~user@host86-143-194-25.range86-143.btcentralplus.com] has quit [Ping timeout: 260 seconds] 18:47:15 przl [~przlrkt@p54BF9635.dip0.t-ipconnect.de] has joined #scheme 18:55:35 -!- BossKonaSegwaY [~Michael@cpe-75-187-42-68.columbus.res.rr.com] has quit [Ping timeout: 255 seconds] 18:56:00 -!- yacks [~yacks@180.151.36.169] has quit [Quit: Leaving] 18:57:40 -!- Triclops256|away is now known as Triclops256 18:59:48 mmc2 [~michal@178-85-64-28.dynamic.upc.nl] has joined #scheme 19:01:02 ahsan [~ahsan@bba795947.alshamil.net.ae] has joined #scheme 19:01:06 -!- quchen [~david@p54AA3691.dip.t-dialin.net] has quit [Quit: Lost terminal] 19:01:11 -!- ahsan [~ahsan@bba795947.alshamil.net.ae] has left #scheme 19:01:53 -!- przl [~przlrkt@p54BF9635.dip0.t-ipconnect.de] has quit [Ping timeout: 255 seconds] 19:06:05 -!- Triclops256 is now known as Triclops256|away 19:06:25 przl [~przlrkt@p54BF9635.dip0.t-ipconnect.de] has joined #scheme 19:06:43 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 240 seconds] 19:06:51 aoh [~aki@adsl-99-115.netplaza.fi] has joined #scheme 19:09:54 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 19:09:54 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Changing host] 19:09:54 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 19:12:06 -!- ski [~ski@c80-216-142-165.bredband.comhem.se] has quit [Ping timeout: 245 seconds] 19:12:17 foeniks [~fevon@p5083FDC9.dip.t-dialin.net] has joined #scheme 19:13:47 ski [~ski@c80-216-142-165.bredband.comhem.se] has joined #scheme 19:20:26 -!- lusory [~lusory@bb42-60-31-187.singnet.com.sg] has quit [Ping timeout: 255 seconds] 19:29:19 lusory [~lusory@bb42-60-31-187.singnet.com.sg] has joined #scheme 19:31:47 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 19:50:20 barryfm [~barryfm@fl-71-52-220-182.dhcp.embarqhsd.net] has joined #scheme 20:09:08 -!- Mining|away is now known as MiningMarsh 20:09:27 -!- ijp` is now known as ijp 20:10:22 jao [~user@232.Red-83-32-71.dynamicIP.rima-tde.net] has joined #scheme 20:10:25 -!- jao [~user@232.Red-83-32-71.dynamicIP.rima-tde.net] has quit [Changing host] 20:10:25 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 20:11:01 ski: interesting. 20:12:46 *ski* shifts to the prompt 20:13:40 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 20:15:07 graememcc_ [~chatzilla@host86-128-138-242.range86-128.btcentralplus.com] has joined #scheme 20:15:09 gravicappa [~gravicapp@ppp91-77-187-57.pppoe.mtu-net.ru] has joined #scheme 20:16:11 civodul [~user@reverse-83.fdn.fr] has joined #scheme 20:16:46 -!- graememcc [~chatzilla@host86-148-142-240.range86-148.btcentralplus.com] has quit [Ping timeout: 252 seconds] 20:16:48 -!- graememcc_ is now known as graememcc 20:25:07 -!- bjz_ [~brendanza@125.253.99.68] has left #scheme 20:31:27 -!- ggherdov [~gghh@vau06-2-82-238-188-31.fbx.proxad.net] has quit [Remote host closed the connection] 20:33:45 pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has joined #scheme 20:45:27 -!- amgarchIn9 [~amgarchin@p4FD609EC.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 20:47:22 rudybot isn't the absence of fexprs a mistake in any language that lacks them? 20:47:32 grrr wrong channel 20:47:34 no 20:48:48 isn't the absence of a good reason to add a feature a good enough reason not to add one? 20:49:15 it isn't not not not a reason 20:49:18 not 20:49:44 *ijp* prods wingo to check if he is overheating 20:51:46 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 20:55:05 -!- nightfly_ [~sage@sagenite.net] has quit [Ping timeout: 246 seconds] 21:05:06 *ski* . o O ( `not (not (not Phi))' is logically equivalent to `not Phi' ) 21:05:32 -!- hash_table [~quassel@128.249.96.123] has quit [Ping timeout: 252 seconds] 21:14:39 hash_table [~quassel@128.249.96.123] has joined #scheme 21:31:44 i can just keep adding nots, you see 21:34:53 -!- SeySayux [SeySayux@libsylph/developer/seysayux] has quit [Ping timeout: 255 seconds] 21:35:45 notty notty 21:36:37 SeySayux [SeySayux@libsylph/developer/seysayux] has joined #scheme 21:43:55 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Remote host closed the connection] 21:44:01 -!- taylanub [tub@p4FD937A5.dip.t-dialin.net] has quit [Remote host closed the connection] 21:45:53 amgarchIn9 [~amgarchin@p4FD609EC.dip0.t-ipconnect.de] has joined #scheme 21:46:39 taylanub [tub@p4FD937A5.dip.t-dialin.net] has joined #scheme 21:50:48 -!- hash_table [~quassel@128.249.96.123] has quit [Ping timeout: 252 seconds] 22:06:51 nightfly [~sage@sagenite.net] has joined #scheme 22:07:07 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 22:08:46 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Quit: Leaving] 22:15:50 -!- gravicappa [~gravicapp@ppp91-77-187-57.pppoe.mtu-net.ru] has quit [Ping timeout: 255 seconds] 22:18:09 -!- barryfm [~barryfm@fl-71-52-220-182.dhcp.embarqhsd.net] has left #scheme 22:22:01 BossKonaSegwaY [~Michael@cpe-75-187-42-68.columbus.res.rr.com] has joined #scheme 22:38:36 -!- pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has quit [Quit: Started wasting time elsewhere] 22:43:15 hash_table [~quassel@70-138-246-219.lightspeed.hstntx.sbcglobal.net] has joined #scheme 22:45:10 -!- civodul [~user@reverse-83.fdn.fr] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:47:31 -!- hash_table [~quassel@70-138-246-219.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 245 seconds] 22:51:46 -!- Triclops256|away [~Triclops2@Powder/Developer/Triclops200] has quit [Quit: ZNC - http://znc.in] 22:52:16 Triclops256 [~Triclops2@Powder/Developer/Triclops200] has joined #scheme 22:58:05 -!- foeniks [~fevon@p5083FDC9.dip.t-dialin.net] has quit [Quit: Leaving] 22:58:16 -!- add^_ [~add^_@m83-190-167-197.cust.tele2.se] has quit [Quit: The Garbage Collector got me...] 23:00:27 -!- stat_vi [~stat@dslb-094-218-230-254.pools.arcor-ip.net] has quit [Quit: Lost terminal] 23:04:33 -!- ft [efftee@shell.chaostreff-dortmund.de] has quit [Ping timeout: 248 seconds] 23:06:52 ft [efftee@shell.chaostreff-dortmund.de] has joined #scheme 23:07:54 -!- amgarchIn9 [~amgarchin@p4FD609EC.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 23:14:23 -!- peterhil [~peterhil@91-157-48-10.elisa-laajakaista.fi] has quit [Ping timeout: 246 seconds] 23:17:08 -!- ft [efftee@shell.chaostreff-dortmund.de] has quit [Ping timeout: 255 seconds] 23:17:45 ft [efftee@shell.chaostreff-dortmund.de] has joined #scheme 23:34:13 peterhil [~peterhil@91-157-48-10.elisa-laajakaista.fi] has joined #scheme 23:43:50 juxovec [~juxovec@ip-37-188-228-37.eurotel.cz] has joined #scheme