00:01:52 dRbiG [p@bofh.edu.pl] has joined #scheme 00:03:31 -!- copumpkin is now known as LoverOfCheeses 00:06:32 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 00:07:44 -!- hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 258 seconds] 00:08:04 hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 00:08:10 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 260 seconds] 00:08:54 -!- hypercube32 [~hypercube@231.125.189.72.cfl.res.rr.com] has quit [Quit: Leaving] 00:21:58 dfjkaspf [~paulh@145.120.22.156] has joined #scheme 00:22:41 Eataix [~Eataix@130.56.85.207] has joined #scheme 00:24:19 wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has joined #scheme 00:30:34 arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has joined #scheme 00:31:07 -!- pearle [~pearle@blk-224-181-222.eastlink.ca] has quit [Quit: Leaving] 00:31:30 pearle [~pearle@blk-224-181-222.eastlink.ca] has joined #scheme 00:34:11 -!- Eataix [~Eataix@130.56.85.207] has quit [Ping timeout: 240 seconds] 00:35:30 -!- kennyd [~kennyd@93-136-101-35.adsl.net.t-com.hr] has quit [Ping timeout: 276 seconds] 00:38:11 -!- LoverOfCheeses is now known as copumpkin 00:41:05 -!- MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has quit [Ping timeout: 258 seconds] 00:41:40 -!- arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has quit [Ping timeout: 252 seconds] 00:42:01 oldpier [~oldpier@nusnet-228-5.dynip.nus.edu.sg] has joined #scheme 00:43:10 -!- zanes [~zane@mail.barackobama.com] has quit [] 00:57:57 -!- dfjkaspf [~paulh@145.120.22.156] has quit [Ping timeout: 258 seconds] 01:01:29 -!- wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has quit [Quit: Leaving] 01:02:01 DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has joined #scheme 01:05:43 arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has joined #scheme 01:06:36 -!- DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has quit [Ping timeout: 252 seconds] 01:08:22 -!- masm1 [~masm@2.80.169.115] has quit [Quit: Leaving.] 01:37:41 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: 1] 01:46:55 replore [~replore@ntkngw133234.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 01:50:47 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 01:51:47 DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has joined #scheme 02:01:35 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 02:05:22 Phase 0 is runtime. 02:05:47 Phase 1 is syntax, but you can also get higher as your macros get more meta. 02:09:17 its really that there are infinite phases and phase 0 is where the expander starts 02:09:45 what im trying to say is ive stopped thinking about phase 0 as runtime and phase 1 as syntax, i just think of the phase number itself 02:14:10 (your run-time can be another person's compile-time, if `eval' is involved in the picture) 02:23:16 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 02:25:46 samth_away: The claim is not false but simplified (as are most of the claims in that diff to keep it brief). 02:27:49 To add to Riastradh's comments, the point is that `syntax-rules' is side-effect free, so it's trivial to make it available at all phases. 02:28:53 And by leaving out any mention of phases you effectively imply `syntax-rules' is available at any level of macro nesting, without needing to touch on implementation approaches (of which there are many and conflicting). 02:30:41 Riastradh: The text for `current-second' was written by someone who was strongly opposed to TAI, hence the bias. I'll clean it up. 02:31:59 klutometis: The totem pole pun? 02:38:25 samth_away: It may be difficult, though, for an implementation with Rackets semantics to make syntax-rules available implicitly at all levels without touching the expander code (e.g. just as a normal Racket language). 02:38:28 -!- replore [~replore@ntkngw133234.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 02:39:37 -!- oldpier [~oldpier@nusnet-228-5.dynip.nus.edu.sg] has quit [Ping timeout: 240 seconds] 02:43:29 If that's the case, I'd recommend to anyone writing a language to just automatically include `syntax-rules' at some arbitrary number of level (say 0 to 4), with some cond-expandable hook for extra levels, until core support can be added. 02:43:29 And I'd love to see some code that needs level 5 :) 02:51:39 -!- arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has quit [Read error: Connection reset by peer] 02:51:58 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Quit: foobar] 02:54:53 Riastradh: Jiffies were introduced when the idea was to use POSIX time, since POSIX time can't be used for timing. They are now redundant, so a case can be made for their removal. 02:56:15 oldpier [~oldpier@nusnet-141-140.dynip.nus.edu.sg] has joined #scheme 02:56:38 *Riastradh* raises several eyebrows. 02:57:49 Is CURRENT-JIFFIES just supposed to represent a monotonic clock? In that case, it is useful -- but why a different unit of time? 03:02:14 -!- bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has quit [Quit: If only your veins were filled with oil, the world would rush to your rescue!] 03:16:25 -!- turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has quit [Ping timeout: 250 seconds] 03:19:30 *ski* wonders how to interpret and in terms of hygiene .. 03:20:48 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 258 seconds] 03:21:02 wuj [~wuj@207-172-162-191.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has joined #scheme 03:21:10 -!- hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 252 seconds] 03:28:51 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 276 seconds] 03:41:59 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Ping timeout: 250 seconds] 03:44:51 -!- wuj [~wuj@207-172-162-191.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has quit [Read error: Operation timed out] 03:48:35 Riastradh: Yes, just a monotonic clock. I think the idea of the different unit of time was to allow for differing levels of clock precision while keeping the results exact. 03:48:53 jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has joined #scheme 03:51:57 leo2007 [~leo@124.72.117.9] has joined #scheme 03:56:50 -!- oldpier [~oldpier@nusnet-141-140.dynip.nus.edu.sg] has quit [Ping timeout: 260 seconds] 04:09:47 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Read error: Operation timed out] 04:10:06 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 04:10:41 -!- stchang [~stchang@login.ccs.neu.edu] has quit [Ping timeout: 240 seconds] 04:10:50 stchang [~stchang@login.ccs.neu.edu] has joined #scheme 04:10:50 -!- danking [~danking@zerowing.ccs.neu.edu] has quit [Ping timeout: 260 seconds] 04:10:59 danking [~danking@zerowing.ccs.neu.edu] has joined #scheme 04:11:11 -!- jeff_ [~jdlouhy@zerowing.ccs.neu.edu] has quit [Ping timeout: 240 seconds] 04:11:16 jeff_ [~jdlouhy@zerowing.ccs.neu.edu] has joined #scheme 04:11:24 -!- stamourv [~user@ahuntsic.ccs.neu.edu] has quit [Ping timeout: 252 seconds] 04:12:10 stamourv [~user@ahuntsic.ccs.neu.edu] has joined #scheme 04:13:53 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 04:17:47 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 04:24:07 oldpier [~oldpier@nusnet-228-5.dynip.nus.edu.sg] has joined #scheme 04:30:47 soveran [~soveran@186.19.214.247] has joined #scheme 04:36:06 -!- dnolen [~davidnole@cpe-98-14-92-234.nyc.res.rr.com] has quit [Quit: dnolen] 04:40:17 -!- oldpier [~oldpier@nusnet-228-5.dynip.nus.edu.sg] has quit [Ping timeout: 258 seconds] 04:53:43 kennyd [~kennyd@93-136-101-35.adsl.net.t-com.hr] has joined #scheme 04:57:23 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 04:57:25 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 04:58:15 hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 05:02:05 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 250 seconds] 05:02:10 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 260 seconds] 05:03:00 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 05:03:54 -!- dgs [~dgs@203-97-51-73.dsl.clear.net.nz] has quit [Read error: Connection reset by peer] 05:07:38 -!- pcavs [~paul@c-65-96-169-56.hsd1.ma.comcast.net] has quit [Quit: Leaving.] 05:07:58 githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has joined #scheme 05:10:04 -!- eli [~eli@winooski.ccs.neu.edu] has quit [Ping timeout: 252 seconds] 05:10:11 -!- hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 240 seconds] 05:10:20 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [Ping timeout: 260 seconds] 05:10:27 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 252 seconds] 05:11:48 smtlaissezfaire [~smtlaisse@76.15.192.54] has joined #scheme 05:15:07 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Read error: Connection reset by peer] 05:15:50 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 05:16:06 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 05:16:18 hakkum [~hakkum@c-67-181-176-186.hsd1.ca.comcast.net] has joined #scheme 05:16:22 -!- DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has quit [Ping timeout: 264 seconds] 05:21:35 -!- pearle [~pearle@blk-224-181-222.eastlink.ca] has quit [Ping timeout: 250 seconds] 05:24:23 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 05:24:24 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 05:29:07 -!- levi [~user@c-174-52-219-147.hsd1.ut.comcast.net] has quit [Remote host closed the connection] 05:38:57 oldpier [~oldpier@nusnet-228-5.dynip.nus.edu.sg] has joined #scheme 05:41:33 -!- jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has quit [Read error: Connection reset by peer] 05:42:45 -!- depy [~dEPy@cpe1-6-195.cable.triera.net] has quit [] 05:52:27 -!- Euthydemus` [~euthydemu@unaffiliated/euthydemus] has quit [Read error: Connection reset by peer] 05:52:50 Euthydemus [~euthydemu@unaffiliated/euthydemus] has joined #scheme 06:02:19 -!- kennyd [~kennyd@93-136-101-35.adsl.net.t-com.hr] has quit [Ping timeout: 250 seconds] 06:04:13 kennyd [~kennyd@93-141-110-93.adsl.net.t-com.hr] has joined #scheme 06:12:51 -!- smtlaissezfaire [~smtlaisse@76.15.192.54] has quit [Quit: smtlaissezfaire] 06:13:05 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has left #scheme 06:15:42 smtlaissezfaire [~smtlaisse@76.15.192.54] has joined #scheme 06:20:12 realitygrill_ [~realitygr@c-24-5-7-139.hsd1.ca.comcast.net] has joined #scheme 06:21:11 -!- realitygrill_ [~realitygr@c-24-5-7-139.hsd1.ca.comcast.net] has quit [Client Quit] 06:23:14 -!- oldpier [~oldpier@nusnet-228-5.dynip.nus.edu.sg] has quit [Quit: Nettalk6 - www.ntalk.de] 06:29:15 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 250 seconds] 06:35:42 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 06:37:31 markskilbeck [~mark@unaffiliated/markskilbeck] has joined #scheme 06:40:09 -!- markskil1eck [~mark@host86-136-166-192.range86-136.btcentralplus.com] has quit [Ping timeout: 276 seconds] 06:41:51 gravicappa [~gravicapp@ppp91-77-184-105.pppoe.mtu-net.ru] has joined #scheme 06:43:15 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 06:43:53 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 06:44:36 jewel [~jewel@196-209-224-179.dynamic.isadsl.co.za] has joined #scheme 06:57:47 -!- jewel [~jewel@196-209-224-179.dynamic.isadsl.co.za] has quit [Ping timeout: 250 seconds] 06:58:03 Brendan_T [~brendan@static.112.22.47.78.clients.your-server.de] has joined #scheme 07:08:24 -!- kennyd [~kennyd@93-141-110-93.adsl.net.t-com.hr] has quit [Read error: Connection reset by peer] 07:11:07 kennyd [~kennyd@93-141-110-93.adsl.net.t-com.hr] has joined #scheme 07:13:14 -!- hakkum [~hakkum@c-67-181-176-186.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 07:14:11 choas [~lars@p578F6BB8.dip.t-dialin.net] has joined #scheme 07:17:43 -!- elly [~elly@atheme/member/elly] has quit [Ping timeout: 250 seconds] 07:26:44 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 240 seconds] 07:27:02 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 258 seconds] 07:28:03 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 276 seconds] 07:39:29 MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has joined #scheme 07:39:39 elly [~elly@atheme/member/elly] has joined #scheme 07:48:39 smtlaissezfaire_ [~smtlaisse@76.15.192.54] has joined #scheme 07:51:27 -!- pjb [~t@81.202.16.46.dyn.user.ono.com] has quit [Ping timeout: 276 seconds] 07:52:06 -!- smtlaissezfaire [~smtlaisse@76.15.192.54] has quit [Ping timeout: 276 seconds] 07:52:06 -!- smtlaissezfaire_ is now known as smtlaissezfaire 08:03:10 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 264 seconds] 08:05:07 -!- githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has quit [Ping timeout: 246 seconds] 08:22:14 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 08:22:43 githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has joined #scheme 08:27:18 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 08:30:27 -!- brabo [brabo@globalshellz/owner/brabo] has quit [Ping timeout: 276 seconds] 08:50:42 -!- smtlaissezfaire [~smtlaisse@76.15.192.54] has quit [Quit: smtlaissezfaire] 08:51:46 smtlaissezfaire [~smtlaisse@76.15.192.54] has joined #scheme 08:58:31 -!- smtlaissezfaire [~smtlaisse@76.15.192.54] has quit [Quit: smtlaissezfaire] 09:03:11 -!- githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 09:06:10 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 240 seconds] 09:09:15 dfjkaspf [~paulh@145.120.22.156] has joined #scheme 09:19:44 -!- MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has quit [Ping timeout: 258 seconds] 09:20:26 gabot [~eli@winooski.ccs.neu.edu] has joined #scheme 09:22:14 eli [~eli@winooski.ccs.neu.edu] has joined #scheme 09:31:04 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 09:33:42 -!- choas [~lars@p578F6BB8.dip.t-dialin.net] has quit [Ping timeout: 276 seconds] 09:35:41 -!- leo2007 [~leo@124.72.117.9] has quit [Ping timeout: 240 seconds] 09:51:05 -!- ASau [~user@95-28-79-252.broadband.corbina.ru] has quit [Quit: off] 09:56:32 githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has joined #scheme 09:58:16 -!- Brendan_T [~brendan@static.112.22.47.78.clients.your-server.de] has quit [Ping timeout: 252 seconds] 09:59:43 copumpkin [~pumpkin@17.45.135.105] has joined #scheme 09:59:45 -!- copumpkin [~pumpkin@17.45.135.105] has quit [Changing host] 09:59:45 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 10:08:10 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 240 seconds] 10:31:26 choas [~lars@p578F6BB8.dip.t-dialin.net] has joined #scheme 10:33:14 -!- pygospa [~TheRealPy@kiel-5f76929e.pool.mediaWays.net] has quit [Disconnected by services] 10:33:26 pygospa [~TheRealPy@kiel-4dbed2eb.pool.mediaWays.net] has joined #scheme 11:02:04 -!- leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has quit [Read error: Connection reset by peer] 11:09:07 leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has joined #scheme 11:26:26 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 11:34:09 littlebobby [~bob@unaffiliated/littlebobby] has joined #scheme 11:34:41 -!- gravicappa [~gravicapp@ppp91-77-184-105.pppoe.mtu-net.ru] has quit [Ping timeout: 250 seconds] 11:40:47 dnolen [~davidnole@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 11:44:41 -!- Nshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has quit [Remote host closed the connection] 11:55:37 gravicappa [~gravicapp@ppp91-77-216-129.pppoe.mtu-net.ru] has joined #scheme 11:58:21 replore_ [~replore@ntkngw133234.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 12:02:09 Indian [~Indian@unaffiliated/londonmet050] has joined #scheme 12:09:20 weirdo [~sthalik@d135-185.icpnet.pl] has joined #scheme 12:20:03 Brendan_T [~brendan@static.112.22.47.78.clients.your-server.de] has joined #scheme 12:28:30 szgyg [~chatzilla@188-143-56-189.pool.digikabel.hu] has joined #scheme 12:34:03 -!- leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has quit [Read error: Connection reset by peer] 12:35:34 brabo_ [~brabo@sr2.gshellz.org] has joined #scheme 12:37:40 -!- brabo_ [~brabo@sr2.gshellz.org] has quit [Client Quit] 12:41:50 joelsapa [~joelsapa@187.145.7.208] has joined #scheme 12:48:17 pwd 12:48:40 /home/joelsapa/scheme/nifty-hacks/gronglefrop 12:51:44 Any Gambit users here have Slime working? I'd like to know versions, I have 4.6.1 and the one at https://github.com/jlongster/swank-gambit?id=h73kq 13:03:05 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 250 seconds] 13:05:20 masm [~masm@bl19-169-115.dsl.telepac.pt] has joined #scheme 13:17:59 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 13:18:25 -!- pjb is now known as Guest6801 13:20:38 mmc [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 13:25:18 -!- mmc [~michal@sams-office-nat.tomtomgroup.com] has quit [Client Quit] 13:25:47 mmc [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 13:30:00 arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has joined #scheme 13:31:00 -!- joelsapa [~joelsapa@187.145.7.208] has left #scheme 13:36:18 MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has joined #scheme 13:40:13 -!- arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has quit [Read error: Connection reset by peer] 13:43:25 -!- depywork [~depy@router.agenda.si] has quit [Quit: WEEKEND!] 13:44:50 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Remote host closed the connection] 13:45:05 -!- DGASAU [~user@91.218.144.129] has quit [Remote host closed the connection] 13:46:26 DGASAU [~user@91.218.144.129] has joined #scheme 13:50:55 -!- Brendan_T [~brendan@static.112.22.47.78.clients.your-server.de] has quit [Remote host closed the connection] 14:01:35 smtlaissezfaire [~smtlaisse@76.15.192.54] has joined #scheme 14:05:08 -!- confab [~confab@c-24-10-60-185.hsd1.ca.comcast.net] has quit [Ping timeout: 258 seconds] 14:06:07 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 14:09:10 pandeiro [~pandeiro@187.105.249.193] has joined #scheme 14:09:42 -!- pandeiro [~pandeiro@187.105.249.193] has quit [Client Quit] 14:10:10 pandeiro [~pandeiro@187.105.249.193] has joined #scheme 14:20:59 genieliu [~genieliu@59.78.62.120] has joined #scheme 14:24:02 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 14:26:02 -!- dnolen [~davidnole@cpe-98-14-92-234.nyc.res.rr.com] has quit [Quit: dnolen] 14:28:04 leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has joined #scheme 14:29:00 homie [~levgue@xdsl-78-35-151-65.netcologne.de] has joined #scheme 14:30:51 guys 14:30:53 -!- smtlaissezfaire [~smtlaisse@76.15.192.54] has quit [Quit: smtlaissezfaire] 14:31:08 i have my type-intersections, such that: 14:31:35 (if ((var . rational)) true (if ((var . number)) true false)) 14:31:42 this represents (or number rational) 14:32:01 for 'var' 14:32:12 and i plan on simplifying the types 14:32:18 but i dunno how... 14:32:35 such syntax is necessary for predicates 14:32:46 (i think) 14:33:03 i mean, i have a few ideas on how to do it but maybe it has already been done or someone has uber-solution 14:33:22 this is ugly, but i can do wonders 14:34:14 with it 14:48:23 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Read error: Operation timed out] 14:49:14 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 14:52:14 -!- choas [~lars@p578F6BB8.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 14:55:27 tupi [~david@139.82.89.24] has joined #scheme 14:59:48 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 15:00:13 -!- samth_away is now known as samth 15:00:33 confab [~confab@c-24-10-60-185.hsd1.ca.comcast.net] has joined #scheme 15:01:40 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 258 seconds] 15:06:39 soveran [~soveran@186.19.214.247] has joined #scheme 15:08:37 foof: i think this discussion indicates precisely my point -- the claim that avoiding procedural macros avoids phasing-related portability issues is false, and any "report" on writing portable Scheme code needs to discuss phases 15:08:57 Nshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has joined #scheme 15:09:47 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 15:10:09 soveran [~soveran@186.19.214.247] has joined #scheme 15:11:46 tricus [~tricus@jesus.roams.utk.edu] has joined #scheme 15:13:26 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 15:13:41 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 15:19:18 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 258 seconds] 15:19:20 zanes [~zane@mail.barackobama.com] has joined #scheme 15:21:14 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 15:27:11 -!- tricus [~tricus@jesus.roams.utk.edu] has quit [Remote host closed the connection] 15:31:16 -!- zanes [~zane@mail.barackobama.com] has quit [] 15:31:38 zanes [~zane@mail.barackobama.com] has joined #scheme 15:33:54 pierreghz [~pierreghz@cust-151-31-111-94.dyn.as47377.net] has joined #scheme 15:34:06 tricus [~tricus@jesus.roams.utk.edu] has joined #scheme 15:40:37 phao [~phao@pontenova.dpi.ufv.br] has joined #scheme 15:42:02 -!- ohwow [~o@uh.wow.prettyru.de] has quit [Quit: leaving] 15:42:23 homie` [~levgue@xdsl-78-35-137-135.netcologne.de] has joined #scheme 15:42:58 -!- homie` [~levgue@xdsl-78-35-137-135.netcologne.de] has quit [Remote host closed the connection] 15:44:07 EbiDK [~ebi@3e6b7ac3.rev.stofanet.dk] has joined #scheme 15:44:51 -!- homie [~levgue@xdsl-78-35-151-65.netcologne.de] has quit [Ping timeout: 276 seconds] 15:44:56 -!- EbiDK [~ebi@3e6b7ac3.rev.stofanet.dk] has left #scheme 15:45:29 homie` [~levgue@78.35.137.135] has joined #scheme 15:47:15 ohwow [mao@hard.chatgod.tk] has joined #scheme 15:50:41 is there a swank for racket? 15:50:46 i'd rather use emacs than drscheme 15:51:42 *penryu* uses geiser 15:52:06 weirdo: There was one for scheme48, IIRC. 15:52:38 weirdo: with swank, you'd use mzscheme without the GUI, wouldn't you? 16:01:22 -!- homie` [~levgue@78.35.137.135] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:03:53 homie [~levgue@xdsl-78-35-137-135.netcologne.de] has joined #scheme 16:07:27 HG` [~HG@p5DC05C4C.dip.t-dialin.net] has joined #scheme 16:10:50 choas [~lars@p578F6BB8.dip.t-dialin.net] has joined #scheme 16:13:59 -!- Guest6801 is now known as pjb 16:15:56 *_p4bl0* votes for geiser too 16:16:26 <_p4bl0> weirdo: http://www.nongnu.org/geiser/ 16:16:44 Yes, geiser is nice :) 16:22:08 -!- genieliu [~genieliu@59.78.62.120] has quit [Quit: leaving] 16:33:58 oldpier [~oldpier@nusnet-28-91.dynip.nus.edu.sg] has joined #scheme 16:37:44 What is it in slime/paredit that makes it trigger for .lisp files - how can I make it trigger for .scm files too? 16:38:55 (add-hook 'scheme-mode-hook 'turn-on-paredit) 16:39:30 fizzie [fis@iris.zem.fi] has joined #scheme 16:39:33 _p4bl0, geiser s*cks, it can't autodoc my r5rs code 16:39:33 :( 16:40:02 even for builtins 16:42:11 hm 16:42:43 -!- ohwow [mao@hard.chatgod.tk] has quit [Quit: leaving] 16:45:27 so there's absolutely no set-car!/set-cdr! in racket? 16:48:59 penryu: There's set-mcar! and set-mcdr!. There's also mcons, mcar, and mcdr. 16:49:05 oh, I see. you have to explicitly create a mutable list and then use the m* functions on it. 16:49:15 Yep. 16:50:21 I like that, other than the breaking backward-compat angle. 16:50:36 er... lateral compatibility? 16:51:08 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 16:54:37 still, probably better in the long run 16:57:10 Imagine the recursive "Make-list" function that takes a number and returns a list of that length. Its non-termination case is (cons '() (make-list (- n 1)) . 1: Is this a tail-call? 2. If not, what allows scheme (the one I'm using) to run it to its limit - is the stack growing on the heap? 16:57:46 is it just me, or old scientific papers on CS looks more interesting? 16:58:52 Modius: Not a tail call. 16:59:23 Is making a list of a million items in this manner good/idiomatic Scheme style? 16:59:39 Modius: There's a technique called..."tail recursion modulo cons" that will allow it to be treated as a tail call. 16:59:42 Or would you tend to code it as a tail-call in the thought that it would cause memory mayhem if coded in this way? 16:59:53 cky: You mean the 2nd parameter. 17:00:02 This is working on gambit though - I assume the "stack" grows onto the heap then? 17:00:08 phao: Yes; there's some kind of law of exponential degeneration w.r.t. to science, I think. 17:00:23 Pulp science and quantity over quality? 17:00:24 w.r.t. ? 17:00:51 Modius: I'd prefer to do it as a "real" tail call just because it's more portable. 17:01:24 cky: Sure, just wondering what the fact that this works tells me about the stack activity of the implementation. 17:01:33 Modius: Both make-list and iota are already provided as part of SRFI 1, and you don't need to implement it yourself, unless you really want to. 17:01:45 cky: Seems gambit doesn't have it 17:01:48 Modius: Right, it probably means the implementation uses TCMC or the like. 17:02:00 Modius: I think Gambit, you have to install SRFI 1 via Black Hole. 17:02:12 cky: But I'm looking for understanding here too, *this* function isn't brain surgery but I want to know what happenes in code 17:02:24 You should read up on how TCMC works. :-) 17:02:26 Black hole? 17:02:34 Modius: Black Hole is Gambit's package system. 17:02:50 Modius: Like PLaneT for Racket, eggs for Chicken, Guildhall for Guile, etc. 17:04:32 -!- leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has quit [] 17:04:43 phao: "with regard to" 17:04:52 ok 17:08:13 markskil1eck [~mark@host86-137-39-93.range86-137.btcentralplus.com] has joined #scheme 17:09:13 -!- markskilbeck [~mark@unaffiliated/markskilbeck] has quit [Ping timeout: 250 seconds] 17:13:53 turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has joined #scheme 17:19:28 [1]confab [~confab@c-24-10-60-185.hsd1.ca.comcast.net] has joined #scheme 17:20:15 -!- pandeiro [~pandeiro@187.105.249.193] has quit [Quit: Thanks, fellas] 17:20:42 pandeiro [~pandeiro@187.105.249.193] has joined #scheme 17:21:05 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 17:22:38 -!- confab [~confab@c-24-10-60-185.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 17:22:38 -!- [1]confab is now known as confab 17:28:03 fbass [~fbass@75-173-95-248.albq.qwest.net] has joined #scheme 17:28:11 -!- fbass [~fbass@75-173-95-248.albq.qwest.net] has quit [Client Quit] 17:30:00 -!- markskil1eck [~mark@host86-137-39-93.range86-137.btcentralplus.com] has quit [Ping timeout: 260 seconds] 17:31:38 markskilbeck [~mark@unaffiliated/markskilbeck] has joined #scheme 17:52:55 oldpier2 [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has joined #scheme 17:53:31 -!- oldpier [~oldpier@nusnet-28-91.dynip.nus.edu.sg] has quit [Ping timeout: 260 seconds] 17:57:13 markskil1eck [~mark@host86-136-236-117.range86-136.btcentralplus.com] has joined #scheme 17:59:14 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 17:59:26 leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has joined #scheme 17:59:29 -!- markskilbeck [~mark@unaffiliated/markskilbeck] has quit [Ping timeout: 250 seconds] 18:03:17 malorie [~bla@unaffiliated/malorie] has joined #scheme 18:04:22 hi! is there a way to have DrScheme display "actual code" instead of just #? 18:07:57 e.g., ((lambda (x) (lambda (y) (+ x y))) 1) -> (lambda (y) (+ 1 y)) 18:08:55 malorie: you can write your own define-source operator. 18:09:33 malorie: notice however that you will have to implement all the environment manipulating operators yourself, since there's no standard way to get internal environments. 18:09:51 (define-source f (let ((z 42)) ((lambda (x) (lambda (y) (+ x y z))) 1))) 18:10:03 malorie, drscheme will compile the program so source information is lost 18:10:06 f --> (lambda (y) (+ 1 y 42)) 18:10:09 s/standard/sensible/1 `Standard' is irrelevant. 18:10:19 jonrafkind: ah. I see 18:10:24 (Except as an unreliable debugging operation.) 18:10:49 but it looks like you want to debug the program so you can see the reduction steps? 18:10:56 malorie: for an example, have a look at ibcl http://informatimago.com/develop/lisp/small-cl-pgms/ibcl/index.html 18:10:57 pjb: I will look into that. in fact, what I really want to do is, implementeng an untyped lambda-calculus 18:11:17 One more reason to go the metalinguistic path. 18:11:18 you could use redex 18:12:29 leo2007 [~leo@58.22.113.162] has joined #scheme 18:15:55 -!- tupi [~david@139.82.89.24] has quit [Remote host closed the connection] 18:16:24 The Redex book website even has a lambda example: http://redex.plt-scheme.org/lam-v.html 18:16:34 The graphical tracing lets you see the "actual code" 18:21:14 thanks for the suggestions. I'll just re-read the sicp chapter on metalinguistic abstraction for now :-) 18:21:57 In CL/emacs I can hit Ctrl-Alt-X and slime sends the function across to the CL. Is there the equivalent with Scheme? When I hit ctrl-alt-X it tries to give me a command line for gsi (Gambit interpreter) - do I have things misconfigured? 18:22:39 tupi [~david@139.82.89.24] has joined #scheme 18:23:48 Modius: C-x C-e should works for inferior-lisp with any cli scheme. 18:23:59 Modius: M-x run-scheme RET to launch it. 18:24:02 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Quit: Indian] 18:24:53 -!- phao [~phao@pontenova.dpi.ufv.br] has left #scheme 18:25:23 Modius: Actually, I bind C-x C-e to (defun lisp-eval-last-sexp (&optional and-go) "Send the previous sexp to the inferior Lisp process. Prefix argument means switch to the Lisp buffer afterwards." (interactive "P") (lisp-eval-region (save-excursion (backward-sexp) (point)) (point) and-go)) in lisp and scheme buffers. 18:25:47 pjb:pjb: When I ran that I think it tried to eval it as Elisp 18:26:35 Yes, that's why you need to use lisp-eval-region insteadl of eval-last-sexp. 18:26:48 -!- preflex_ is now known as preflex 18:26:52 (add-hook 'scheme-mode-hook (lambda () (local-set-key (kbd "C-x C-e") 'lisp-eval-last-sexp))) 18:26:53 pjb: How can I bind that? I'm quite the emacs dummy in most areas. 18:26:58 pjb: You read my mind 18:29:16 pjb: Where do I get lisp-eval-region? 18:29:39 Modius, are you using cmuscheme.el? 18:29:49 Riastradh: I'm using gambit 18:30:06 I.e., are you just using a vanilla GNU Emacs without SLIME or Geiser or anything, and trying the `run-scheme', `scheme-send-last-sexp', &c., commands? 18:30:25 Riastradh: No, it's heavily set up for CL 18:30:38 Yeah, but I mean for your Scheme stuff. 18:30:57 Riastradh: I have slime working 18:31:01 Modius: it is in inf-lisp.el, which should be loaded by M-x run-sheme or M-x inferior-lisp RET 18:31:04 So you are using SLIME for Scheme? 18:31:32 Riastradh: Yes, connecting remotely to a gambit scheme - *that* works 18:31:47 And it's indenting/highlighting/paredtiing .scm files 18:32:05 ...SLIME doesn't have anything to do with indentation, highlighting, or paredit. 18:32:08 Broadly, I'm looking for a way to get the equiv of Ctrl-Alt-X I use in CL to get it to send a form to slime 18:32:12 Okay 18:32:42 What does `C-h c C-M-x' say in a Common Lisp buffer with SLIME/CL running? 18:33:29 Riastradh: lisp-eval-defun 18:33:58 That won't be going through SLIME... 18:34:35 What about `C-h c C-c C-c'? And then `C-h c C-M-x' and `C-h c C-c C-c' in a Scheme buffer with SLIME/Gambit running? 18:37:05 In and .scm buffer (with slime running): C-c C-c scheme-compile-definition-and-go, C-M-x scheme-send-definition, In gambit repl: C-c C-c is slime-interrupt, C-M-x is lisp-eval-defun 18:37:36 What does `C-h c C-c C-c' (or maybe `C-h c C-c C-k') in a Common Lisp buffer with SLIME/CL running? 18:38:47 In a .lisp file with slime/cl running, C-c C-k slime-compile-and-load-file 18:39:37 1. pjb is confused; ignore him. 18:39:49 2. In your Common Lisp buffer, `C-M-x', `lisp-eval-defun', sends the definition to the *inferior-lisp* process/buffer that SLIME happens to use internally, and by accident, that definition is reflected in the SLIME REPL. 18:40:20 3. But in the Scheme buffer, `C-M-x', `scheme-send-definition', is a cmuscheme.el command, which has nothing to do with SLIME (even accidentally). When you ran it, cmuscheme.el saw that there was no cmuscheme.el process, so it tried to start one (hence the prompt). 18:41:19 4. You're supposed to use the SLIME commands such as `C-c C-k', perhaps `C-c C-e'; I forget what the keys all are. Look in the output of `C-h b' or `C-h m' in a Scheme buffer for `slime-eval-...', `slime-compile-...', &c., bindings. 18:42:44 (4) - I see them in the REPL buffer but not in the .SCM buffer 18:43:02 How did you set up SLIME for Scheme? 18:44:53 -!- mooglenorph [~marco@sh14-131.mtholyoke.edu] has quit [Quit: Lost terminal] 18:44:55 Riastradh: I'm just using slime-connect 18:45:28 Riastradh: why would I be confused? This is #scheme, and unless he's using an old scheme48, there's no swank for any scheme, AFAIK. Therefore emacs + scheme should go thru inferior-lisp, hence my solution, which works perfectly well for me. 18:45:29 Riastradh: I have a couple hooks to turn on paredit 18:46:20 I'm not sure of what exists for scheme; but I have the repl working, and the .scm indenting/colored - I want to know if there's something I can do (or undo) that will let me type something from an .scm buffer and have it send it to the lisp like I do in CL 18:46:28 My scheme-specific stuff in the .emacs file is very minimal. 18:47:42 pjb, (a) he's not using an old Scheme48, as you might have observed if you were paying attention, (b) no, there are Swank implementations for several Scheme systems these days; (c) no, `emacs + scheme' goes through cmuscheme.el, not inf-lisp.el, when you use run-scheme, scheme-send-definition, &c.; (d) no, your `solution' is broken and doesn't interact with SLIME as Modius wants to do. 18:48:30 Modius, what did you put in your .emacs to set up SLIME with Gambit? 18:48:59 Riastradh: I'm remote-connecting to a swank-running gambit on another machine - ergo, as I understand slime etc., what/how I start is a separate issue. 18:49:03 -!- mmc [~michal@sams-office-nat.tomtomgroup.com] has quit [Quit: Leaving.] 18:49:25 I mean, I'm not (currently) addressing the startup concerns, I'm just doing slime-connect somewhere 4005 18:49:50 Modius: did u write the backend yourself? 18:49:51 Modius, ah, OK. Is the SLIME minor mode enabled in your Scheme buffer? If not, you almost certainly won't see any SLIME key bindings there. 18:49:52 In CL experience this just works (the .lisp/slime connection association) 18:50:11 Riastradh: Not sure what that entails - I *do* have paredit; but maybe not anythnig else 18:50:24 Modius, do you see `SLIME' in the mode line in the Scheme buffer? 18:50:26 leo2007: It's on the net somewhere 18:51:26 Riastradh: On the .scm buffer, no, on the repl, yes 18:51:59 Riastradh: Cancel that - I don't see slime on either; but I see the menu option (windows) for slime appear over the repl but not the .scm buffer 18:52:06 pearle [~pearle@blk-224-181-222.eastlink.ca] has joined #scheme 18:52:15 Modius, OK. Just as a quick test, try `M-x slime-mode RET' in the Scheme buffer, and then see whether there are SLIME-related key bindings in it. 18:52:37 (I don't think that's the way you're supposed to set up SLIME cruft in a Lispish buffer, but it should presumably hook up the key bindings.) 18:53:00 Riastradh: That added slime bindings 18:53:27 -!- tricus [~tricus@jesus.roams.utk.edu] has left #scheme 18:54:35 Riastradh: That did it - how can I make that kick in automatically for .scm files? 18:54:40 Did you call `slime-setup' in your .emacs file? If not, I believe you're supposed to (but this may be a very outdated recollection). 18:54:49 (or, (eval-after-load "slime" '(slime-setup)) 18:54:49 ) 18:55:05 -!- leo2007 [~leo@58.22.113.162] has quit [Quit: rcirc on GNU Emacs 23.3.50.1] 18:55:12 I call silme-setup with params '(slime-repl sslime-fancy slime-asdf slime-indentation) 18:55:21 I mean param = that list 18:56:42 Something is making slime switch on for .lisp files but not for .scm files 18:57:02 -!- MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has quit [Ping timeout: 258 seconds] 18:57:26 OK. Does that put anything in `scheme-mode-hook'? If not, is there a nullary routine `slime-scheme-mode-hook'? If the latter, you may need to (add-hook 'scheme-mode-hook 'slime-scheme-mode-hook). (But, again, this may be a very outdated recollection.) 18:59:04 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 19:00:54 Riastradh: You nailed it. Thanks! 19:02:33 Ah... Try (add-to-list 'slime-lisp-modes 'scheme-mode) before calling `slime-setup'. (This too may be outdated -- I'm looking at a very old (2007ish) version of SLIME which is what I have handy.) 19:02:42 Then it may not be necessary for you to add the hook yourself. 19:02:45 -!- tupi [~david@139.82.89.24] has quit [Quit: Leaving] 19:05:21 Riastradh: No, I still need the hook even if I do that - but thanks, that did the trick 19:05:55 The Gambit swank is functional; but is short a lot of capabilities. That said, I can now at least have slime in scheme support the same stuff I do with it in CL 19:07:13 Thans Riastradh, pjb 19:07:29 Man, everyone's .emacs file must have a lot of hard-learned lessons in it. 19:07:58 It's more that SLIME is too complicated, and Scheme is a second-class citizen for it. 19:09:44 -!- szgyg [~chatzilla@188-143-56-189.pool.digikabel.hu] has quit [Quit: Leaving] 19:13:52 I like CL; but there isn't one that represents a viable choice for commercial software, so I'm experimenting to see if Gambit could provide a solid full-cycle platform. It meanst though I'd have to tolerate the purity and elegance of Scheme 19:14:19 Modius: Lispworks? Allegro? 19:14:23 I mean, commercial IPHONE software 19:14:27 Sorry, leave out one word you're hosed. 19:14:28 Right. 19:14:28 :) 19:16:10 Well, as far as I'm concerned, there's no viable choice for iPhone software but to throw it away, but anyway... (Don't the terms you must sign to develop iPhone software prohibit writing programs in anything other than C, Objective-C, and one or two other languages?) 19:16:16 wingo [~wingo@90.164.198.39] has joined #scheme 19:16:34 Riastradh: not anymore 19:16:45 Riastradh: Few points. . . 1: Apple backed away a bit. 2: How could they ever tell? 19:17:12 Anyhoo, the gambit authors have a $1 repl app which is basically tied straight in to the full gambit, so we're good. 19:17:24 Modius: the binary generated by the various compiler is clearly identifiable. 19:17:28 Presumably they could tell by looking at the source; aren't you required to disclose it? 19:17:41 (disclose it to Apple, anyway) 19:18:01 Modius: they have tools to statically and dynamically scan the behavior of binaries with respect to their API. 19:18:08 You don't have to give you the source 19:18:12 them 19:18:32 Anyhow, you can buy $1 repls on the app store. 19:18:51 ...Buy? 19:19:41 You can go on app store with an iPhone/iPad and buy the Gambit Repl, or one of several others. 19:20:17 I'm just saying, if they were going to ban an embedded interpreter, they would have started with the really blatant ones. 19:20:22 Well, presumably you mean `buy a licence to use for limited purposes', but...still, `buy'? Is this Gambit iPhone REPL not free software like the rest of Gambit? 19:20:23 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 19:21:01 Riastradh: Technically, I have the Gambit repl's source, which is open source, compiling and ALSO on my iPad - but you can buy it on app Store to use if you don't have a dev license or jailbroken device. 19:21:33 I'm not trying to enter the "free software" wars here, just telling you what is out there. 19:21:38 I see...so if you want to play with this free software on a device you own, you have to pay money for that extra privilege? 19:22:21 wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has joined #scheme 19:22:24 That is generally the nature of the app store. 19:22:32 There are cases like that for android. Some people buy software just for convenience (i.e., not having to set a dev environment, cross compiling etc). 19:22:44 (Or do you not own the iPhone at all either, but rather merely a licence to use it for limited purposes? I've never tried to buy one, so I don't know.) 19:22:49 Yeah, I bought it before I knew I could get it compiling. 19:23:09 I think you physically own it. Dunno what the DCMA implies about jailbreaking 19:23:19 Anyhow, back on topic, I'm impressed by the quality of Gambit so far. 19:23:23 mario-goulart, now that's puzzling. If I buy some free software Android application, do I get to replace the copyright holders' names by my own, because I bought it? 19:23:47 If not, what are you `buying'? 19:24:04 -!- pygospa [~TheRealPy@kiel-4dbed2eb.pool.mediaWays.net] has quit [Disconnected by services] 19:24:15 Riastradh: I don't think so. I think you are just paying for the compilation service. :-) 19:24:16 pygospa [~TheRealPy@kiel-d9bfdd14.pool.mediaWays.net] has joined #scheme 19:24:19 Time, I take it 19:24:42 Not having to futz about with a compiler and cross compilation toolchain just to get this program onto your device 19:24:43 Just like ordering a CD from FSF. 19:24:44 Technically (except I went and got it building anyway) the $1 would be cheaper than the time I would burn trying to get the *@#%! thing compiling. 19:25:19 how would you define subtype on constrained types? 19:25:51 What does compiling have to do with it? One can download pre-compiled binary distributions of free software over the intertubes. 19:26:02 constrained types have variable/type bindings 19:26:09 and then/else clauses 19:26:31 Sometimes they are not available, Riastradh. I think gambit is one example (I may be wrong, though). 19:27:30 But they are available, mario-goulart -- for $1. I'm just puzzled by that $1. Wouldn't it make more sense to make the binary distribution, like the source distribution, cost just as much as one another, because in practice the cost of distribution is essentially the same; and then set up a separate donation mechanism? 19:28:25 Oh, I see your point. 19:29:00 Maybe the ones supplying the binaries are not the authors themselves but a 3rd party trying to earn some easy money? 19:29:14 http://code.google.com/p/connectbot/ is another example. 19:29:39 Although I think it is free on androidmarket (guess). 19:30:00 it is 19:30:19 i use it occasionally 19:30:42 Maybe apple just mandates that software distributed via applestore must cost some amount of money? :-) 19:30:44 Haven't played with it; but I'd heard both on jailbroken iphones and on droid there were apps that made the logistics of finding pirated apps as easy/easier than buying (moot on android where noone buys anyway) 19:31:01 I guess maybe for the iPhone, you *can't* distribute `apps' except through the app store, and perhaps there's a $1 lower bound on the price of any `app'. 19:31:15 And why isn't applestore called iStore? 19:31:24 The barrier to my *grandmother* jailbreaking her phone is all that allows commercial software to exist on the iPhone - as it doesn't exist on the android there are no real sales. 19:31:51 it's true, i've never spent money on any android app 19:32:04 then again i haven't used a whole lot of android apps period 19:32:15 there might be some i'd be willing to pay for 19:32:18 The guy selling Gambit Repl (I assume it's the core maintainer/author) - hope he sells enough to make back his $99 dev fee. 19:32:38 Nobody's spent money on android apps. Were you to go now and buy one, you'll be one of the handful who ever has. 19:32:43 It's a tragic marketplace. 19:32:43 What about donating to the authors of software you like, turbofail? 19:33:19 that's not always something that's easy to do 19:33:28 If you really appreciate the Gambit iPhone REPL perhaps you could donate $99 to the author. 19:33:30 App store made paying incredibly fast, and no more work than DLing a free app (important distinction from Android store - you set up to get free/paid apps at the same time) 19:33:53 But that's pretty strange, turbofail. There's obviously an easy mechanism for transferring money to the authors of `apps'. 19:34:36 Is it actually limited so that you technically cannot transfer more than $1 without installing the Gambit iPhone REPL more than once, which maybe you can't do on a single iPhone? 19:34:43 arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has joined #scheme 19:34:58 Haha - Riastradh may be brainstorming the "instant impulse donate" button (to go alongside the instant impulse buy button) 19:37:02 anyway the total number of apps i've installed is... three, one of which is supported by advertising 19:37:51 another of which is a high school student's 1-day project that i wouldn't really consider worthy of donating to 19:37:58 The "fast buy" models have shown that people put a price on buying stuff outside of the $ amount; but on the time it takes to re-punch-in credit card info. 19:38:20 (Did you mean to put a `not' somewhere in that sentence, Modius?) 19:38:37 I meant to put "also" 19:38:37 Kajtek [~paniwladc@nat4-230.ghnet.pl] has joined #scheme 19:38:52 Steam, App Store and things like it manage to make it easier than, or at least as easy as, pirating - in the past that wasn't the case. 19:40:30 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 19:42:28 -!- Kajtek [~paniwladc@nat4-230.ghnet.pl] has quit [Client Quit] 19:44:54 -!- samth [~samth@punge.ccs.neu.edu] has quit [Remote host closed the connection] 19:46:07 good evening, schemers 19:46:19 Hi wingo 19:51:30 teurastaja [~Samuel@modemcable072.213-81-70.mc.videotron.ca] has joined #scheme 19:53:41 -!- em [~em@unaffiliated/emma] has quit [Ping timeout: 240 seconds] 19:56:13 -!- replore_ [~replore@ntkngw133234.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 19:56:37 samth [~samth@punge.ccs.neu.edu] has joined #scheme 20:04:43 -!- githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has quit [Ping timeout: 250 seconds] 20:04:56 Indian [~Indian@unaffiliated/londonmet050] has joined #scheme 20:06:58 -!- faze` [~chris@unaffiliated/faze/x-8454791] has left #scheme 20:09:49 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Quit: Indian] 20:16:58 -!- oldpier2 [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has quit [Read error: Connection reset by peer] 20:17:34 oldpier [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has joined #scheme 20:21:55 -!- oldpier [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has quit [Read error: Connection reset by peer] 20:22:43 oldpier [~oldpier@nusnet-188-149.dynip.nus.edu.sg] has joined #scheme 20:24:17 Kajtek [~paniwladc@nat4-230.ghnet.pl] has joined #scheme 20:26:49 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has left #scheme 20:29:43 em [~em@user-0ccem0s.cable.mindspring.com] has joined #scheme 20:29:45 -!- em [~em@user-0ccem0s.cable.mindspring.com] has quit [Changing host] 20:29:45 em [~em@unaffiliated/emma] has joined #scheme 20:30:14 http://paste.lisp.org/display/124000 20:30:20 do you consider this behavior to be correct? 20:31:06 tricus [~tricus@jesus.roams.utk.edu] has joined #scheme 20:31:09 -!- tricus [~tricus@jesus.roams.utk.edu] has left #scheme 20:31:17 If our behaviour is strict, we do not need fun! 20:32:45 :-) 20:34:54 also, see annotation please 20:35:24 -!- em [~em@unaffiliated/emma] has quit [Ping timeout: 276 seconds] 20:35:47 ASau [~user@95-28-79-252.broadband.corbina.ru] has joined #scheme 20:36:16 em [~em@unaffiliated/emma] has joined #scheme 20:40:24 -!- oldpier [~oldpier@nusnet-188-149.dynip.nus.edu.sg] has quit [Read error: Connection reset by peer] 20:41:09 oldpier [~oldpier@nusnet-188-149.dynip.nus.edu.sg] has joined #scheme 20:42:56 soveran [~soveran@186.19.214.247] has joined #scheme 20:42:58 -!- em [~em@unaffiliated/emma] has quit [Read error: Connection reset by peer] 20:43:17 em [~em@unaffiliated/emma] has joined #scheme 20:43:22 -!- em [~em@unaffiliated/emma] has quit [Client Quit] 20:46:26 emma [~em@unaffiliated/emma] has joined #scheme 20:50:16 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 20:52:50 -!- pearle [~pearle@blk-224-181-222.eastlink.ca] has quit [Quit: Leaving] 20:54:11 -!- choas [~lars@p578F6BB8.dip.t-dialin.net] has quit [Ping timeout: 240 seconds] 20:58:15 -!- gravicappa [~gravicapp@ppp91-77-216-129.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:02:17 -!- Kajtek [~paniwladc@nat4-230.ghnet.pl] has quit [Quit: Leaving.] 21:09:49 -!- saccadewrk [~saccadewr@nat/google/x-citsdmfqyuzdkvhz] has quit [Quit: Leaving] 21:10:41 Kajtek [~paniwladc@nat4-230.ghnet.pl] has joined #scheme 21:11:28 -!- pierreghz [~pierreghz@cust-151-31-111-94.dyn.as47377.net] has quit [Quit: Quitte] 21:11:33 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 21:17:35 githogori [~githogori@153.sub-75-208-173.myvzw.com] has joined #scheme 21:26:08 choas [~lars@p578F6BB8.dip.t-dialin.net] has joined #scheme 21:28:47 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 250 seconds] 21:31:01 -!- _p4bl0 [~user@berthold.shebang.ws] has quit [Remote host closed the connection] 21:34:12 -!- choas [~lars@p578F6BB8.dip.t-dialin.net] has quit [Quit: leaving] 21:37:33 Remote-controlling Gambit scheme on an iPad via Emacs/Slime now - sweet 21:40:50 -!- cbrannon [~cbrannon@gentoo/developer/cbrannon] has quit [Quit: leaving] 21:42:33 Using gambit - (define (a (b null)) ...) is erroring "ill placed default binding" - what's the proper way to do optional parameters? is that form standard, or is only having a "rest" param standard? 21:43:58 maybe #!optional? 21:44:14 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Quit: bye] 21:44:38 yeah #!optional is how gambit does it 21:45:21 i don't know if there is an actual standard for optional arguments 21:45:26 there are some srfis 21:45:27 Seems not 21:47:01 Terminology time : Coming from CL here. . . . There is a convention for using #:blah or #!whatever but that is just convention. They are just regular symbols out of context (like in a param list), right? But symbols ending in : evaluate to themselves, right? Kind of splitting up the role of "keyword" symbols in CL 21:47:18 What are the symbols of the form foo: called? Keyword or something else? 21:47:40 in gambit they're called keywords 21:47:47 keywords -- but that is an uncommon syntax 21:47:56 some do :foo 21:47:59 some do #:foo 21:48:05 some do the foo: thing 21:48:20 It seems gambit only ascribes religious significance to #!foo 21:48:26 and it's difficult to parameterize because it's a read-time thing 21:48:45 #!foo is not actually a keyword in gambit, it's something else 21:49:05 it's actually not a valid symbol either 21:49:20 YEah, the error from typing #! is "invalid '#!' name: "blah" 21:49:22 MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has joined #scheme 21:49:55 only a few #! things are allowed 21:50:14 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 21:54:36 -!- wingo [~wingo@90.164.198.39] has quit [Ping timeout: 246 seconds] 21:56:19 I need to RTFM, I was just seeing if this is viable for the platform and it looks like it may be. 21:56:58 some people have apparently already made iphone apps using gambit 21:57:00 games even 21:57:12 I know, that helps with the "is this viable" 21:57:51 -!- HG` [~HG@p5DC05C4C.dip.t-dialin.net] has quit [Quit: HG`] 21:58:08 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 21:58:10 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 21:58:20 i was going to try writing an android app using kawa but then came to the realization that i have no idea what app i would want to write 21:58:33 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 21:58:51 I didn't want to touch this if I couldn't get Slime working. 22:13:00 -!- githogori [~githogori@153.sub-75-208-173.myvzw.com] has quit [Ping timeout: 240 seconds] 22:18:11 _p4bl0 [~user@berthold.shebang.ws] has joined #scheme 22:19:12 -!- leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has quit [Ping timeout: 258 seconds] 22:20:01 leppie [~lolcow@196-215-83-98.dynamic.isadsl.co.za] has joined #scheme 22:23:56 soveran [~soveran@186.136.125.104] has joined #scheme 22:32:29 pearle [~pearle@blk-224-181-222.eastlink.ca] has joined #scheme 22:36:57 -!- soveran [~soveran@186.136.125.104] has quit [Remote host closed the connection] 22:41:20 -!- homie [~levgue@xdsl-78-35-137-135.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:45:10 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 264 seconds] 22:45:24 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 276 seconds] 22:47:35 -!- arcfide [~arcfide@pool-96-231-37-52.washdc.fios.verizon.net] has quit [Read error: Connection reset by peer] 22:53:37 14WABXH70 [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 22:53:37 18VAAJ7C4 [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 22:59:46 -!- 14WABXH70 [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 260 seconds] 22:59:50 -!- 18VAAJ7C4 [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 258 seconds] 23:03:41 -!- pearle [~pearle@blk-224-181-222.eastlink.ca] has quit [Ping timeout: 250 seconds] 23:18:28 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 23:18:28 77CAA010P [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 23:19:47 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 23:20:04 hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 23:23:10 -!- 77CAA010P [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 240 seconds] 23:24:12 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 276 seconds] 23:27:14 -!- emma is now known as em 23:28:00 -!- teurastaja [~Samuel@modemcable072.213-81-70.mc.videotron.ca] has quit [Quit: --> Put something intelligent here when I'm more bored <--] 23:29:10 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 23:30:12 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 23:31:30 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 240 seconds] 23:31:33 -!- hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 246 seconds] 23:35:28 pearle [~pearle@2.112.215.24.scpe.seaside.ns.ca] has joined #scheme 23:39:51 -!- Kajtek [~paniwladc@nat4-230.ghnet.pl] has quit [Quit: Leaving.] 23:40:07 pierreghz [~pierreghz@cust-151-31-111-94.dyn.as47377.net] has joined #scheme 23:41:05 -!- zanes [~zane@mail.barackobama.com] has quit [Read error: Connection reset by peer] 23:41:29 zanes [~zane@mail.barackobama.com] has joined #scheme 23:41:42 -!- pandeiro [~pandeiro@187.105.249.193] has quit [Quit: Thanks, fellas] 23:44:47 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 23:49:11 soveran [~soveran@186.136.125.104] has joined #scheme 23:58:33 githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has joined #scheme