00:05:16 synthase [n=synthase@adsl-220-174-83.mob.bellsouth.net] has joined #scheme 00:06:38 -!- bughunter2 [n=bughunte@unaffiliated/bughunter2] has left #scheme 00:08:10 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit ["Leaving."] 00:09:41 -!- Fufie [n=innocent@86.80-203-225.nextgentel.com] has quit [Read error: 110 (Connection timed out)] 00:24:24 nothingHappens [n=nothingh@173-25-176-111.client.mchsi.com] has joined #scheme 00:35:42 dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 00:39:51 segoe [i=3e164621@gateway/web/freenode/x-7c148b7e6c852d66] has joined #scheme 00:44:11 QinGW [n=wangqing@203.86.81.2] has joined #scheme 00:48:21 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [No route to host] 00:48:26 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 00:51:56 chylli [n=lchangyi@119.181.15.104] has joined #scheme 01:04:15 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 01:10:00 Hagaer` [n=user@27.62.broadband3.iol.cz] has joined #scheme 01:18:19 Pepe__ [n=ppjet@78.114.139.251] has joined #scheme 01:26:10 -!- synthase [n=synthase@adsl-220-174-83.mob.bellsouth.net] has quit [Read error: 60 (Operation timed out)] 01:26:36 lowlycoder [n=x@unaffiliated/lowlycoder] has joined #scheme 01:27:16 -!- Hagaer [n=user@27.62.broadband3.iol.cz] has quit [Read error: 110 (Connection timed out)] 01:29:28 -!- Pepe_ [n=ppjet@78.116.2.231] has quit [Read error: 110 (Connection timed out)] 01:29:38 xwl_ [n=user@147.243.236.60] has joined #scheme 01:29:40 synthase [n=synthase@adsl-220-160-203.mob.bellsouth.net] has joined #scheme 01:36:05 -!- underspecified_ [n=eric@softbank220043052007.bbtec.net] has quit [] 01:38:12 arcfide [n=arcfide@adsl-99-186-236-123.dsl.bltnin.sbcglobal.net] has joined #scheme 01:48:30 -!- duncanm [n=duncan@a-chinaman.com] has quit [Read error: 60 (Operation timed out)] 01:51:35 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["If technology is distinguishable from magic, it is insufficiently advanced."] 01:51:49 duncanm [n=duncan@a-chinaman.com] has joined #scheme 01:52:17 -!- ASau [n=user@193.138.70.52] has quit [Remote closed the connection] 01:52:23 ASau [n=user@193.138.70.52] has joined #scheme 01:53:46 -!- lowlycoder [n=x@unaffiliated/lowlycoder] has quit ["Lost terminal"] 01:54:09 refusenik [n=refuseni@pool-71-255-52-41.nycmny.east.verizon.net] has joined #scheme 01:57:41 dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has joined #scheme 01:58:32 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 02:06:06 -!- Pepe__ is now known as Pepe_ 02:07:18 -!- refusenik [n=refuseni@pool-71-255-52-41.nycmny.east.verizon.net] has quit ["bye!"] 02:12:01 -!- copumpkin [n=pumpkin@dhcp-212-202.cs.dartmouth.edu] has quit [Read error: 110 (Connection timed out)] 02:17:02 -!- dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [Read error: 110 (Connection timed out)] 02:27:03 copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 02:28:34 -!- arcfide [n=arcfide@adsl-99-186-236-123.dsl.bltnin.sbcglobal.net] has left #scheme 02:33:13 -!- nothingHappens [n=nothingh@173-25-176-111.client.mchsi.com] has quit ["Ex-Chat"] 02:34:23 -!- mrsolo [n=mrsolo@adsl-68-126-177-41.dsl.pltn13.pacbell.net] has quit ["This computer has gone to sleep"] 02:37:15 thesnowdog [i=thesnowd@114.73.45.63] has joined #scheme 02:47:28 zbigniew: actually, your ^Q quoted the next character, so I got a ^J right after it 02:47:30 *offby1* whistles innocently 02:49:21 incubot: cracki apparently maintains that clarke's 3rd law hold as well as its inverse: i.e. that there's a magic-technology homomorphism 02:49:25 Arthur C. Clarke died. Just thought I'd give a heads up to anyone. 02:49:39 WHAT?! 02:49:41 WHEN?! 02:49:48 *offby1* rushes to Sri Lanka 02:50:19 heh 02:52:17 -!- klutomet1s is now known as klutometis 02:53:06 tjafk1 [n=timj@e176207012.adsl.alicedsl.de] has joined #scheme 03:01:50 -!- dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has quit [Read error: 60 (Operation timed out)] 03:09:12 -!- tjafk2 [n=timj@e176192205.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 03:22:19 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 03:28:52 offby1: You are offby1 year. 03:32:57 so I see 03:36:15 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 03:42:08 -!- prescriptor [n=K@59-235-147.static.golden.net] has quit [] 03:46:52 fingo__ [n=maxim@69-196-141-73.dsl.teksavvy.com] has joined #scheme 03:58:48 -!- fingo_ [n=maxim@76-10-137-126.dsl.teksavvy.com] has quit [Read error: 113 (No route to host)] 04:12:00 dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 04:13:49 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 04:14:35 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 04:16:46 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 04:17:17 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 04:17:46 -!- bohanlon [n=bohanlon@TUBERIUM.CLUB.CC.CMU.EDU] has quit [Read error: 104 (Connection reset by peer)] 04:17:49 bohanlon [n=bohanlon@TUBERIUM.CLUB.CC.CMU.EDU] has joined #scheme 04:18:01 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 04:39:58 dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has joined #scheme 04:40:18 -!- kilimanjaro [n=kilimanj@70.116.95.163] has quit [Remote closed the connection] 04:54:59 -!- segoe [i=3e164621@gateway/web/freenode/x-7c148b7e6c852d66] has quit ["Page closed"] 04:55:15 -!- Axioplase_ is now known as Axioplase 04:56:33 -!- Axioplase [n=Axioplas@fortigate.kb.ecei.tohoku.ac.jp] has quit ["brb"] 04:56:39 Axioplase [n=Axioplas@fortigate.kb.ecei.tohoku.ac.jp] has joined #scheme 05:03:59 dnm__ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 05:04:23 leppie|work [i=52d2e3c8@gateway/web/freenode/x-f9ad83b374d4a4b3] has joined #scheme 05:05:17 incubot: every time i lose to gnuchess, i feel slightly humiliated 05:05:20 And it's humiliated me a couple times with its speed. 05:07:13 -!- Quadrescence [n=quad@unaffiliated/quadrescence] has quit [Remote closed the connection] 05:08:12 -!- shaunxcode [n=shaungil@209.131.62.115] has quit [] 05:12:08 -!- dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [Connection timed out] 05:14:36 -!- ASau [n=user@193.138.70.52] has quit ["off"] 05:20:28 *Elly* does not feel bad about losing to gnuchess :P 05:25:13 incubot: is there a magic-technology isomorphism? 05:25:17 There're very few in ports. 05:26:34 -!- dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has quit [Read error: 110 (Connection timed out)] 05:27:04 incubot: premeditated 05:27:07 apparently it wasn't some sort of premeditated campaign 05:27:12 incubot: campaign 05:27:15 you're not arguing coherently. It takes *less* effort to write an application in a language than to campaign for a change in the standard. 05:27:21 incubot: application 05:27:24 the general point is that S-expression quoting, the basis of EVAL, is just a special application of Gödel numbering. 05:38:51 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 05:39:13 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 05:42:48 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 05:43:45 jonrafkind [n=jon@98.202.86.149] has joined #scheme 05:52:10 -!- r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has quit [Remote closed the connection] 06:00:38 incubot: is TDD overrated? 06:00:41 native executables are overrated anyway 06:01:56 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Read error: 104 (Connection reset by peer)] 06:05:56 underspecified_ [n=eric@isa7-dhcp-116-217.naist.jp] has joined #scheme 06:18:42 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 06:24:33 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 06:35:54 incubot: Is there a real necessity to continuations, or are they merely convenience? 06:35:57 no harm in looking if you're curious - best (and only, really) resource is the original paper. I'd be surprised if you found it a real improvement, though. 06:36:41 incubot: Original paper? What do you mean? 06:36:44 That is a very original thought....are you a poet? What kind of food do you like? 06:37:02 Interesting bot... XD 06:38:38 Apparently one of the space shuttles is damaged again >_< 06:39:24 And there's a police department that bought a donut shop 06:39:37 slow news day? 06:39:44 Oh yeah 06:39:54 But, that's ABC for you 06:40:09 Every day's slow on ABC 06:41:05 yep 06:43:02 akake: the economist is never slow 06:43:21 Hm. 06:43:35 Most of it seems to be human interest, though 06:43:46 Other than the economic news 06:43:51 *Elly* refreshes snownews 06:44:46 507 unread things 06:47:07 ASau [n=user@host58-231-msk.microtest.ru] has joined #scheme 06:52:33 npe [n=npe@195.207.5.2] has joined #scheme 06:55:54 -!- Hagaer` [n=user@27.62.broadband3.iol.cz] has quit [Remote closed the connection] 07:00:41 papermachine [n=papermac@74.83.204.11] has joined #scheme 07:00:48 -!- papermachine [n=papermac@74.83.204.11] has quit [Remote closed the connection] 07:01:01 merus [n=merus@74.83.204.11] has joined #scheme 07:01:43 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 07:03:16 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 07:04:29 -!- r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has quit [Remote closed the connection] 07:10:46 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 07:16:05 dharmatech [n=root@75.72.202.174] has joined #scheme 07:16:13 Lemonator [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 07:16:18 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 07:17:14 buenas noches 07:20:18 *akake* thinks about doing another Project Euler problem... 07:20:41 -!- dharmatech [n=root@75.72.202.174] has quit [Client Quit] 07:25:28 -!- merus [n=merus@74.83.204.11] has left #scheme 07:26:28 -!- borism [n=boris@195-50-199-19-dsl.krw.estpak.ee] has quit [Read error: 131 (Connection reset by peer)] 07:28:49 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 07:34:05 ziggurat [n=quassel@pool-96-226-117-126.dllstx.fios.verizon.net] has joined #scheme 07:40:57 Hagaer [n=user@27.62.broadband3.iol.cz] has joined #scheme 07:41:48 -!- ziggurat [n=quassel@pool-96-226-117-126.dllstx.fios.verizon.net] has quit [Remote closed the connection] 07:42:12 ziggurat [n=quassel@pool-96-226-117-126.dllstx.fios.verizon.net] has joined #scheme 07:46:29 -!- underspecified_ [n=eric@isa7-dhcp-116-217.naist.jp] has quit [] 07:48:59 underspecified_ [n=eric@walnut.naist.jp] has joined #scheme 07:51:02 -!- ziggurat [n=quassel@pool-96-226-117-126.dllstx.fios.verizon.net] has quit [Remote closed the connection] 07:53:52 kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 08:00:15 mmc [n=mima@esprx01x.nokia.com] has joined #scheme 08:00:42 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 08:04:48 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Remote closed the connection] 08:05:18 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 08:07:14 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 08:07:53 -!- dncksy [n=no@90-230-52-231-no152.tbcn.telia.com] has quit [Read error: 110 (Connection timed out)] 08:19:00 ejs1 [n=eugen@nat.ironport.com] has joined #scheme 08:29:40 moghar [n=user@unaffiliated/moghar] has joined #scheme 08:31:32 -!- synthase [n=synthase@adsl-220-160-203.mob.bellsouth.net] has quit [Read error: 113 (No route to host)] 08:31:45 synthase [n=synthase@adsl-220-189-7.mob.bellsouth.net] has joined #scheme 08:32:19 athos [n=philipp@92.250.250.68] has joined #scheme 08:40:42 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 08:54:46 -!- thesnowdog [i=thesnowd@114.73.45.63] has quit [Read error: 110 (Connection timed out)] 09:19:47 thesnowdog [i=thesnowd@114.73.141.96] has joined #scheme 09:21:27 -!- underspecified_ [n=eric@walnut.naist.jp] has quit [Read error: 110 (Connection timed out)] 09:32:38 thesnowdog_ [i=thesnowd@114.73.141.96] has joined #scheme 09:37:56 fingo_ [n=maxim@76-10-148-192.dsl.teksavvy.com] has joined #scheme 09:41:40 -!- thesnowdog [i=thesnowd@114.73.141.96] has quit [Read error: 60 (Operation timed out)] 09:42:50 thesnowdog [i=thesnowd@114.73.141.96] has joined #scheme 09:45:27 tonyg [n=tonyg@host226.lshift.net] has joined #scheme 09:50:20 thesnowdog__ [i=thesnowd@122.110.43.162] has joined #scheme 09:53:31 -!- xwl_ [n=user@147.243.236.60] has quit [Remote closed the connection] 09:54:09 -!- fingo__ [n=maxim@69-196-141-73.dsl.teksavvy.com] has quit [Read error: 110 (Connection timed out)] 10:01:02 -!- thesnowdog_ [i=thesnowd@114.73.141.96] has quit [Read error: 110 (Connection timed out)] 10:06:37 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 104 (Connection reset by peer)] 10:08:39 -!- thesnowdog [i=thesnowd@114.73.141.96] has quit [Read error: 110 (Connection timed out)] 10:14:02 hmm, compiling PLT on Solaris = pain 10:14:27 Compiling anything on solaris = pain 10:14:39 Rephrase: Solaris = pain. 10:14:53 Sparc Solaris = more pain. 10:16:44 eli: http://thread.gmane.org/gmane.lisp.scheme.plt/29262/focus=29263 this is still an issue for me 10:17:05 eli: but generally: yeah, compiling anything on solaris is a pain 10:17:40 now trying opensolaris, but it failed with pretty much the same problem 10:18:36 Leonidas: What's the problem -- getting Scheme compilation errors when you compile with --disable-foreign ? 10:19:00 eli: the installer works now properly and everything runs fine on Solaris 10, except for the fact that i get a multi-second delay between the time I press keys and letters start appearing 10:19:13 eli: ok, I'll start from the beginning: 10:20:07 eli: we have a sun ray terminal server setup with sol10 here and we have a couple of opensolaris workstations 10:20:34 Leonidas: If the complaint is about speed, then there is not much to do -- solaris is slow; sparc is slower; and to make it more fun, mzscheme doesn't have a jit backend for sparc. 10:21:00 eli: when I use PLT 4.2 for Sparc solaris on sol10, it is incredibly slow. Not MzScheme itself, but rather DrScheme 10:21:04 And IIUC, Sun doesn't give any good reason to invest any work there. 10:21:05 erm, MrEd 10:21:30 MzScheme is slow -- DrScheme just uses a lot more of it. 10:21:48 To see the same kind of slowdown on other CPUs, run it with `-j'. 10:21:57 Something like `mred -jl drscheme' 10:22:08 eli: the problem is not the execution speed which is fine for me. DrScheme is fast enough and reacts quite good 10:22:26 jewel [n=jewel@dsl-247-203-169.telkomadsl.co.za] has joined #scheme 10:22:32 eli: except when I try typing something in the interaction or definition windows. 10:23:01 -!- Axioplase is now known as Axioplase_ 10:23:03 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Read error: 104 (Connection reset by peer)] 10:23:30 Typing stuff executes a *lot* of code -- and much more in 4.2 since a lot of C++ code has moved to Scheme. 10:23:54 eli: 4.1.5 is just as fast/slow when I tried. 10:23:57 You might also see the natural X slowdown of running on a remote X session. 10:24:28 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 10:24:31 That would also affect typing since (IIUC) font measuring etc makes more roundtrips. 10:24:37 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 10:24:53 eli: yep, I suspect it is exactly this problem. Therefore I am trying to build PLT on the opensolaris workstations which have a local X11 10:25:44 btw, is there a way to disable running scribble in make install? It takes a long time (about 40 minutes) 10:27:15 Yes -- first of all, use `make plain-install' to avoid the Scheme compilation, 10:27:19 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 10:27:32 then use the `-D' flag to avoid rendering the manuals. 10:27:59 But since you won't have `setup-plt', you'll need to run it directly -- probably something like `mzscheme -l setup -- -D' 10:28:43 BTW, re the whole Sun thing -- the Sun compilation is by far the slowest link in our nightly builds, 10:29:11 and it's very likely to disappear soon since our department is phasing out all of the Sun machines and getting linux boxes instead. 10:30:20 They've offered to dump a machine in my office, but I'm not sure I'm willing to suffer that pain for such a little demand (I think that Solaris installations are so limited that configurations vary and people compile from source anyway). 10:30:34 (The few people who actually need Solaris executables, that is.) 10:33:01 eli: yep, I can absolutely understand that. As long as it works, there is no problem with compilinf from source 10:35:18 The solaris system that "works" here is broken beyond repair. $PATH is full of gcc versions which are broken in funny ways. 10:36:00 Heh, that sounds very familiar. 10:36:37 I just don't know how Solaris ended up being the canonical mess that it is, and even more -- how it was still being so popular with CS departments. 10:37:10 ...all of that with outrageous price tags. 10:37:17 But I'm happy to see many departments move away from Sun. 10:37:35 It only took about a decade for people to wake up from the Sun-induced comma. 10:38:19 eli: in our physics department there are these nice ubuntu boxes, and the CS department of the other university in town also uses ubuntu. I have no idea why we are stuck with this. 10:38:58 *Leonidas* did make plain-install and mzscheme -l setup -- -D 10:39:02 What university is that? 10:39:17 delopart [n=sfv@212.174.74.11] has joined #scheme 10:39:20 hey 10:39:22 eli: TU München and LMU 10:39:31 lisppaste, url 10:39:32 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 10:39:52 eli: at least OUR library has a copy of HtDP 10:39:58 :) 10:40:13 Leonidas: really? I thought that Germany in general was one of the biggest on linux... 10:40:42 delopart pasted "untitled" at http://paste.lisp.org/display/83680 10:41:08 eli: as said, Sun is only strong in the TUM CS department, everywhere else they already arrived in the present 10:41:22 hey i study plai chapter 3 i have a little problem.I am not ab le to call function subst what is my mistake.I cannot see it.Thanks for answers 10:41:31 I mean -- in the US I just thought that there's a "winning" combination of uninformed sysadmins, general suspicious of "free stuff" (as in -- you pay for it => it must be good), and much more "free money" that is floating around. 10:43:39 delopart: (a) `subst' has three arguments, not one; (b) `with' is not a Scheme form -- it's in the WAE language, so it needs to be quoted -- if you follow ht e book's convention of using {}s, it will help in clarifying some of the confusion. 10:43:41 eli: I don't think our admins have anything agains free stuff. We have a folder with all kinds of self-compiled software packages (which are oftentimes broken, as GCC). I only know the LMU sysadmins and these are really cool folks and quite into linux and free software in general. 10:44:14 So is this an administration issue? 10:44:50 eli: I guess so. Admins who started in the old days, when Sun was actually usable. 10:44:57 gotta go, lecture starts 10:45:03 ok 10:45:23 *Leonidas* will return later, to check whether the build worked 10:46:06 eli (subst {with {x 5} {with {y 10} {+ x y}}}) you mean like that 10:46:24 delopart: Yes, and now you're missing a quote. (See the beginning of the book.) 10:46:47 yeah sorry i know quotte. I put this normally 10:46:58 (subst '{with {x 5} {with {y 10} {+ x y}}}) 10:48:08 but i have onbe argument but subst function takes three argument expr,sub-id val.This is expr sub-id is actually x val is result i guess.I am not sure about that 10:49:41 i cannot find how to call function uhm 10:51:33 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 10:54:15 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 10:58:07 delopart: i think you are not supposed to use subst directly... anyway, perhaps (subst '{with {y 10} {+ x y}} 'x '(num 5)) would work. 11:04:26 -!- akake [n=akake@ppp-70-226-95-240.dsl.klmzmi.ameritech.net] has quit ["Leaving"] 11:11:19 sladegen, no it is not working it says expression is not in the specified form 11:14:42 borism [n=boris@195-50-206-70-dsl.krw.estpak.ee] has joined #scheme 11:15:53 delopart pasted "untitled" at http://paste.lisp.org/display/83684 11:16:35 can you check it i dont understand.Actually this seems ok but it isnt ok.Can you check it.I cannot find my mistake.I am rookie 11:16:54 delopart, whats wrong? 11:17:40 i dont know actually i paste the mistake 11:17:52 it says you expr is not specified in form 11:18:02 but i check my with sentence this is okey 11:18:19 subst func is from plai book.This produce mistake i pasted 11:18:28 delopart 11:18:29 -!- TR2N [n=email@89.180.155.255] has left #scheme 11:18:30 delopart: use your eyes... what did i type? 11:18:43 WAE 11:18:43 you have to use PARSE 11:19:05 *sladegen* sighs. 11:19:05 ooooooo 11:19:20 sorry 11:19:28 i am missing type-case from my eyes 11:19:28 :d 11:19:36 heh 11:22:03 ecraven [n=nex@140.78.42.103] has joined #scheme 11:22:49 sphex [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has joined #scheme 11:24:52 soupdragon, i guess i found true way (subst (parse '{with {x 5} {with {y 10} {+ x y}}}) 'x '(num 5)), 11:27:10 cool 11:32:51 -!- synthase [n=synthase@adsl-220-189-7.mob.bellsouth.net] has quit [Read error: 110 (Connection timed out)] 11:33:12 synthase [n=synthase@adsl-220-187-217.mob.bellsouth.net] has joined #scheme 11:40:03 -!- sphex_ [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 110 (Connection timed out)] 11:43:09 ejs2 [n=eugen@nat.ironport.com] has joined #scheme 11:45:48 -!- delopart [n=sfv@212.174.74.11] has quit [Remote closed the connection] 11:45:59 Edico [n=Edico@unaffiliated/edico] has joined #scheme 11:48:10 Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has joined #scheme 11:48:11 visof [n=visof@41.238.233.102] has joined #scheme 11:52:23 -!- ejs1 [n=eugen@nat.ironport.com] has quit [Read error: 110 (Connection timed out)] 11:57:47 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Remote closed the connection] 11:58:11 -!- visof [n=visof@41.238.233.102] has quit ["leaving"] 11:58:29 -!- dnm__ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [Client Quit] 12:00:43 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 12:05:37 Quadrescence [n=quad@24.118.241.200] has joined #scheme 12:09:22 -!- Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has quit ["Peace"] 12:16:13 mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has joined #scheme 12:16:23 Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has joined #scheme 12:18:30 annodomini [n=lambda@75.69.96.104] has joined #scheme 12:20:16 dzhus [n=sphinx@93-80-209-38.broadband.corbina.ru] has joined #scheme 12:33:20 -!- tc-rucho [n=tc-rucho@unaffiliated/tc-rucho] has quit [Read error: 110 (Connection timed out)] 12:36:00 ejs1 [n=eugen@77.222.151.102] has joined #scheme 12:36:15 -!- ejs2 [n=eugen@nat.ironport.com] has quit [Read error: 60 (Operation timed out)] 12:38:05 TR2N [i=email@89.180.149.201] has joined #scheme 12:45:50 underspecified_ [n=eric@softbank220043052007.bbtec.net] has joined #scheme 12:57:08 -!- ASau [n=user@host58-231-msk.microtest.ru] has quit ["ff"] 12:58:05 -!- ejs1 [n=eugen@77.222.151.102] has quit [Read error: 60 (Operation timed out)] 13:00:57 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Read error: 110 (Connection timed out)] 13:01:39 ejs1 [n=eugen@nat.ironport.com] has joined #scheme 13:04:37 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 13:06:41 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 13:07:10 -!- foof [n=user@dn157-046.naist.jp] has quit [Read error: 104 (Connection reset by peer)] 13:07:21 foof [n=user@dn157-046.naist.jp] has joined #scheme 13:08:19 athos [n=philipp@92.250.250.68] has joined #scheme 13:18:40 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 13:22:19 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 13:24:20 -!- borism [n=boris@195-50-206-70-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 13:24:29 -!- Pegazus [n=gawgaw@host250.190-224-109.telecom.net.ar] has left #scheme 13:24:55 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 13:25:57 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 13:32:15 bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has joined #scheme 13:37:08 elderK [n=elderk@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 13:40:23 delopart [n=sfv@212.174.74.11] has joined #scheme 13:40:40 how can i check the equality of two value 13:40:51 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 13:40:54 equal? eqv? 13:41:38 delopart: What is your definition of a "value"? 13:41:53 like x y 13:42:03 i study plai 13:42:09 eq? works on 'pointers' booleans and symbols 13:42:18 i have this (with (x x) x)) 13:42:22 eqv? works mostly for the same types 13:42:27 moghar` [n=user@157.185.jawnet.pl] has joined #scheme 13:42:34 what is x and y? 13:42:37 -!- moghar [n=user@unaffiliated/moghar] has quit [Remote closed the connection] 13:42:42 normally this gives error .it says it is free identifier 13:42:48 x and y identifier 13:42:58 do you know plai 13:43:05 nope, sorry 13:43:06 delopart: What values are stored in x and y? 13:43:22 Numbers, True, False, Strings, Symbols? 13:43:40 no problem leppie|work thanks 13:43:58 danking, i have this (with (x x) x)) 13:44:06 that returns free identifier 13:44:22 (calc (parse '{with {x x} x})) 13:44:30 annodomini [n=lambda@130.189.179.215] has joined #scheme 13:44:31 just a min 13:44:35 lisppaste, url 13:44:36 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 13:44:52 -!- langmartin [n=user@exeuntcha.tva.gov] has left #scheme 13:46:06 delopart pasted "untitled" at http://paste.lisp.org/display/83689 13:46:30 i cannot igure out how i can fix that 13:47:14 figure out* 13:50:40 delopart: So, if I understand correctly you're trying to evaluate {with {x x} x}. Now, I believe that the pair {x x} is a binding instance. Is your question "why do I get the error calc: free identifier"? 13:52:11 exactly 13:52:41 not pair x just x binding instance 13:52:47 first x 13:53:53 Ok, so what you're saying--if I understand the syntax correctly--when you say "{with {x x} ...}" is I want the identifier x to be bound to the value stored in the identifier x. A better example might be "{with {x y} ...}" I want the identifier x to be bound to the value of the identifier y. 13:54:16 Your problem seems to be that the identifier x (the second half of the pair) has no value yet, it's not even defined yet. 13:54:50 yes the problem is that i guess 13:55:02 x doesnt have real value 13:55:17 delopart: Does PLAI say that {with {x x} x} is a valid peice of code? 13:55:24 tc-rucho [n=tc-rucho@unaffiliated/tc-rucho] has joined #scheme 13:55:39 actually doesnt say anything just it is exercise 13:55:48 Ok. 13:55:48 but yes this is valid 13:56:24 It is valid syntax, but it cannot produce a value because x isn't defined when you try to get its value in the second part of that pair. 13:58:37 yes isee that.But it produce an error in function line . (calc (subst bound-body 13:58:37 bound-id 13:58:37 (num (calc named-expr))))] error in here.I guess i update here with something 13:59:52 ASau [n=user@193.138.70.52] has joined #scheme 14:00:32 if i catch the error with error function, said this is okey but error in function line.It seems it isnt okeyy 14:00:45 Oh.. hmm. 14:02:59 i hope i understand my problem actually my english is bad 14:04:13 delopart: I think this is the line that throws the error "[id (v) (error 'calc "free identifier")]" 14:05:59 i dont know first i though that but drscheme shows the error line when interpreting right. I shows line i pasted. 14:08:12 delopart: Which version of DrScheme are you using? I have version 4.2 and it highlights the line I previously posted, and shows three red arrows that indicate the flow of control through the program. 14:08:41 4.1.3 14:08:47 i use ubuntu jaunty 14:08:59 thats repos has 4.1.4 14:09:02 sorry 4.1.3 14:10:33 The shell script from plt-scheme.org is actually really easy to install. 14:10:55 Just run it with root privledges and say yes to a unix style installation and you'll have everything the way you expect. 14:11:30 danking: root privileges? for what? just install it on your home directory and be done with it 14:11:56 easier for updates, removal, does not mess up the system... 14:12:45 Leonidas: I think its easier to do a unix style installation and put it in the normal folders. That way any user on the system can access it. 14:12:54 rdd [n=user@c83-250-157-93.bredband.comhem.se] has joined #scheme 14:12:58 eli: the jit works on opensolaris on i386 too? 14:13:12 Also, the script will run the uninstaller for you when you're installing a new version 14:13:17 danking: any user? which is usually exactly 1? 14:13:31 Some of us have to share computers with other people. 14:13:53 danking: me too, but then I don't have root rights anyway 14:14:23 and users wouldn't want that their plt installation updates behind their back 14:14:55 especially not when stuff breaks, like in one of the 4.1.x-releases 14:15:04 -!- dzhus [n=sphinx@93-80-209-38.broadband.corbina.ru] has quit [Remote closed the connection] 14:15:10 He can choose to do as he pleases, I'm just suggesting the route that I take. I like all my applications in the system directories not in my home. 14:15:39 shell script 14:15:41 hmm 14:15:50 *Leonidas* actually prefers to use the package manager and have /usr controlled *completely* by the package manager. 14:16:16 if I need something system wide, I either build a package or install in /usr/local, thats what it is for 14:16:36 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Read error: 104 (Connection reset by peer)] 14:16:45 and who owns /usr/local? 14:17:00 the users 14:17:07 The root user. 14:17:24 danking: the local users, whereas /usr the package manager 14:17:52 well not exactly *own* but rather *meant for* 14:18:02 for the distro rather 14:18:15 of course, provided that you have a decent package manager :) 14:18:42 I'm looking at you, Solaris! 14:20:05 bweaver [n=user@75.148.111.133] has joined #scheme 14:20:43 okey i download shell script danking 14:20:52 and install not it is 4.2.0 14:22:00 it is still 4.1.3 14:22:30 do i have to open drscheme from drscheme`s path manually 14:22:35 you need to start 4.2 14:22:41 my ubuntu drscheme package 4.1.3 14:22:41 yep 14:22:51 delopart: Did you remove the DrScheme from the pacakage manager? Also, the shell script might not have been able to put itself into the PATH due to permissions. 14:22:53 delopart: you could uninstall that one now 14:23:13 i put to my home directory 14:24:27 http://paste.lisp.org/+1SKQ 14:25:23 delopart: bin/drscheme 14:25:35 to start version 4.2 14:25:44 delopart: You can just type ~/bin/drscheme to run v4.2 14:26:11 You could put ~/bin into your PATH if you want to run it as just `drscheme` 14:26:14 delopart: you can also create a starter and put it in your panel 14:26:28 That too would probably be useful. 14:26:32 *Leonidas* has configured it like this, very handy 14:26:49 yes 14:26:57 i want to create starter 14:27:06 i want it from my menu 14:27:08 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 14:27:13 or start from desktop 14:28:11 delopart: right-click on desktop, select "Create launcher" 14:28:56 yes i did it 14:29:04 delopart: For the Apps menu you can right click on it and go to "Edit Menu" then click new item, the rest is the same interface as "Create Launcher" 14:29:19 *Leonidas* needs to create a software called Missiles and create a desktop entry called "Launch missiles" someday 14:29:23 I think the Menu editor is standard software on ubuntu now. 14:29:39 what is cce/scheme 4.1 14:29:55 delopart: where do you have this from? 14:29:59 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 14:30:40 i see Planet install cce/scheme 4.1 14:31:11 I dunno if this is relevant http://planet.plt-scheme.org/display.ss?owner=cce 14:31:29 delopart: where do you see it? 14:32:27 r5rs syntax-rules 14:32:27 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-7.html#%_idx_184 14:32:32 -rudybot:#scheme- http://tinyurl.com/6bo7mk 14:32:39 it is drscheme gui it is under interpreter window 14:32:48 in his mind, omg, cut open his skull! 14:32:57 -!- ejs1 [n=eugen@nat.ironport.com] has quit [Read error: 110 (Connection timed out)] 14:33:59 delopart: I think that means it's installing something from PLaneT. 14:34:04 Don't quote me on that though. 14:35:18 r5rs define 14:35:18 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-8.html#%_idx_190 14:35:20 -rudybot:#scheme- http://tinyurl.com/cml55p 14:35:44 r5rs index 14:35:44 Sorry, I couldn't find anything for index. 14:36:05 sladegen: sometimes I'd like to do exactly that. actually, quite often. 14:38:25 incubot: how much does it take to penetrate your skull? 14:38:28 Please, I entreat you to actually use those neurons which I presume to exist in your skull, to *think* before applying your fingers to your keyboard. 14:38:37 doesn't r5rs say somewhere that (begin (define ...) (define ...)) is equivalent to toplevel defines? I am wondering if the same holds for define-syntax instead of define. 14:38:41 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 14:39:08 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 14:39:08 incubot: I <3 u! 14:40:47 *sladegen* stares blankly at (values). 14:41:32 you forgot the special 4 letter word 14:45:52 Pepe___ [n=ppjet@78.113.15.169] has joined #scheme 14:47:19 ejs [n=eugen@77.222.151.102] has joined #scheme 14:47:30 -!- ejs [n=eugen@77.222.151.102] has quit [Remote closed the connection] 14:48:46 ejs [n=eugen@77.222.151.102] has joined #scheme 14:50:13 -!- Pepe___ [n=ppjet@78.113.15.169] has quit [Read error: 60 (Operation timed out)] 14:50:22 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Read error: 110 (Connection timed out)] 14:50:28 -!- delopart [n=sfv@212.174.74.11] has quit [Success] 14:50:53 Pepe___ [n=ppjet@78.113.38.65] has joined #scheme 14:51:37 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 14:52:48 jlongster [n=user@68.59.187.95] has joined #scheme 14:55:59 -!- npe [n=npe@195.207.5.2] has quit [] 14:56:21 -!- ejs [n=eugen@77.222.151.102] has quit ["This computer has gone to sleep"] 14:57:02 ejs [n=eugen@77.222.151.102] has joined #scheme 14:59:17 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit ["Leaving"] 15:00:58 -!- Pepe_ [n=ppjet@78.114.139.251] has quit [Success] 15:13:48 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Remote closed the connection] 15:13:53 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Read error: 104 (Connection reset by peer)] 15:21:01 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 15:21:07 shaunxcode [n=shaungil@65.181.49.171] has joined #scheme 15:21:31 -!- ejs [n=eugen@77.222.151.102] has quit [Read error: 110 (Connection timed out)] 15:22:49 is a syntax-rules macro possible that takes an input `name' and expands into something that defines `name-something' ? 15:23:10 not as far as I know 15:23:20 ajray [n=NCSU_Boo@152.14.245.83] has joined #scheme 15:26:23 -!- mmc [n=mima@esprx01x.nokia.com] has quit [Remote closed the connection] 15:26:53 I wonder how the PLT structs do it 15:27:16 they create accessors to the fields of the struct 15:33:44 -!- Pepe___ is now known as Pepe_ 15:36:48 Obviously not via syntax-rules! 15:39:10 minion: paste 83585? 15:39:10 Paste number 83585: "creating accessors with datum->syntax" by chandler in #scheme. http://paste.lisp.org/display/83585 15:39:42 -!- shaunxcode [n=shaungil@65.181.49.171] has quit [Read error: 60 (Operation timed out)] 15:43:22 Fare [n=Fare@c-98-216-111-110.hsd1.ma.comcast.net] has joined #scheme 15:43:43 shaunxcode [n=shaungil@209.131.62.115] has joined #scheme 15:44:49 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 110 (Connection timed out)] 15:49:49 -!- elderK [n=elderk@222-152-15-122.jetstream.xtra.co.nz] has quit [simmons.freenode.net irc.freenode.net] 15:49:49 -!- foof [n=user@dn157-046.naist.jp] has quit [simmons.freenode.net irc.freenode.net] 15:49:49 -!- Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has quit [simmons.freenode.net irc.freenode.net] 15:49:49 -!- Edico [n=Edico@unaffiliated/edico] has quit [simmons.freenode.net irc.freenode.net] 15:49:49 -!- synthase [n=synthase@adsl-220-187-217.mob.bellsouth.net] has quit [simmons.freenode.net irc.freenode.net] 15:49:49 -!- ineiros [n=ineiros@james.ics.hut.fi] has quit [simmons.freenode.net irc.freenode.net] 15:49:50 -!- clarity_ [n=clarity@c-76-103-139-40.hsd1.ca.comcast.net] has quit [simmons.freenode.net irc.freenode.net] 15:49:50 -!- mbishop [n=martin@unaffiliated/mbishop] has quit [simmons.freenode.net irc.freenode.net] 15:49:50 -!- michaelw [i=michaelw@lambda.foldr.org] has quit [simmons.freenode.net irc.freenode.net] 15:49:50 -!- specbot [n=specbot@common-lisp.net] has quit [simmons.freenode.net irc.freenode.net] 15:52:29 ineiros_ [n=ineiros@james.ics.hut.fi] has joined #scheme 15:52:58 elderK [n=elderk@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 15:52:58 foof [n=user@dn157-046.naist.jp] has joined #scheme 15:52:58 Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has joined #scheme 15:52:58 Edico [n=Edico@unaffiliated/edico] has joined #scheme 15:52:58 synthase [n=synthase@adsl-220-187-217.mob.bellsouth.net] has joined #scheme 15:52:58 ineiros [n=ineiros@james.ics.hut.fi] has joined #scheme 15:52:58 clarity_ [n=clarity@c-76-103-139-40.hsd1.ca.comcast.net] has joined #scheme 15:52:58 mbishop [n=martin@unaffiliated/mbishop] has joined #scheme 15:52:58 specbot [n=specbot@common-lisp.net] has joined #scheme 15:52:58 michaelw [i=michaelw@lambda.foldr.org] has joined #scheme 15:56:48 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 15:58:04 -!- Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- michaelw [i=michaelw@lambda.foldr.org] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- specbot [n=specbot@common-lisp.net] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- synthase [n=synthase@adsl-220-187-217.mob.bellsouth.net] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- ineiros [n=ineiros@james.ics.hut.fi] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- mbishop [n=martin@unaffiliated/mbishop] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- clarity_ [n=clarity@c-76-103-139-40.hsd1.ca.comcast.net] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- foof [n=user@dn157-046.naist.jp] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- Edico [n=Edico@unaffiliated/edico] has quit [simmons.freenode.net irc.freenode.net] 15:58:04 -!- elderK [n=elderk@222-152-15-122.jetstream.xtra.co.nz] has quit [simmons.freenode.net irc.freenode.net] 15:59:19 -!- shaunxcode [n=shaungil@209.131.62.115] has quit [Client Quit] 16:01:17 elderK [n=elderk@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 16:01:17 foof [n=user@dn157-046.naist.jp] has joined #scheme 16:01:17 Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has joined #scheme 16:01:17 Edico [n=Edico@unaffiliated/edico] has joined #scheme 16:01:17 synthase [n=synthase@adsl-220-187-217.mob.bellsouth.net] has joined #scheme 16:01:17 clarity_ [n=clarity@c-76-103-139-40.hsd1.ca.comcast.net] has joined #scheme 16:01:17 mbishop [n=martin@unaffiliated/mbishop] has joined #scheme 16:01:17 specbot [n=specbot@common-lisp.net] has joined #scheme 16:01:17 michaelw [i=michaelw@lambda.foldr.org] has joined #scheme 16:01:56 Leonidas: The jit should work any i386 configuration. 16:02:29 danking: The single directory installation is extremely convenient for all the reasons Leonidas mentioned. 16:02:38 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 104 (Connection reset by peer)] 16:02:44 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 16:04:48 eli: I understand that. I wasn't looking guaging my approach entirely on covenience. 16:04:55 s/looking// 16:05:25 Regardless, I was just providing an option to the user, not a mandate. 16:06:13 -!- ASau [n=user@193.138.70.52] has quit [No route to host] 16:09:00 danking: FWIW, the reason that the single-directory install is so much more easy to manage is why the unix-style thing is still not the default. 16:10:00 eli: have you seen / tried NixOS, btw? 16:10:53 Fare: No, never heard the name. 16:11:20 Sounds questionable. 16:11:34 -!- ajray [n=NCSU_Boo@152.14.245.83] has quit ["Leaving."] 16:14:54 *Fare* is trying filesystem frobbing with PLT Scheme. Some of it is very nice, other stuff is a pain. 16:15:29 I like that PLT comes with batteries included, mostly 16:18:39 What's the pain? 16:19:30 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 16:21:21 mbishop_ [n=martin@unaffiliated/mbishop] has joined #scheme 16:26:59 missing primitives 16:27:12 existing primitives seem to have been thrown together rather than designed 16:27:26 hard to map between documented standard (POSIX) and what's provided 16:28:14 the good stuff is that built-in datastructures are much richer than in CL, though not quite as good as in OCaml 16:28:15 -!- Deformati [n=joe@71.238.44.239] has quit [Remote closed the connection] 16:29:06 Concrete examples. POSIX can be very nice until you run into Windows. 16:29:18 ventonegro [n=alex@li17-123.members.linode.com] has joined #scheme 16:30:04 well, there was the missing stat. 16:30:34 But trying to navigate from a C name (say, readlink) to a PLT name is hard 16:30:43 much guesswork involved 16:31:42 otherwise, seems good. 16:32:09 That's not a valid complaint! I like, for example, to not be crippled by decades of `creat' history... 16:33:30 The `stat' thing is like I said earlier, only limited to portable stuff -- if there is something portable that you want and is not in, Matthew is usually open for suggestion -- especially if you accompany it with code that works on Win/OSX/unix. 16:33:49 you might not call your function that -- but you should be able to find it from the index that way 16:33:54 -!- jewel [n=jewel@dsl-247-203-169.telkomadsl.co.za] has quit [Read error: 60 (Operation timed out)] 16:34:37 OK, That's a more valid point, but still pretty weak... 16:35:06 (with `unlink' being a good example.) 16:37:21 -!- mbishop [n=martin@unaffiliated/mbishop] has quit [Read error: 113 (No route to host)] 16:40:24 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 16:44:09 -!- moghar` is now known as moghar 16:44:49 -!- Mr_Awesome [n=eric@pool-98-108-3-57.chi01.dsl-w.verizon.net] has quit ["aunt jemima is the devil!"] 16:47:26 sometimes, I don't want to write portable code 16:47:42 or I want to write my own portable abstraction on top of non-portable code 16:49:01 e.g. I may want to write a high-performance massively concurrent server 16:49:12 with security aspects to boot 16:49:50 forking processes, dropping access privileges, etc. 16:51:44 Anyone know of an R5RS or Gambit-compliant library which implements a "set" of objects? 16:52:05 pure functional? mutable? 16:52:23 Mutable is fine 16:53:41 What properties do your elements have? 16:53:52 For example, do you have a hash function on them? If so, then you can just use a hash map from set elements to booleans. 16:54:52 If these are completely arbitrary objects on which all you have is an equality comparison, then you can't do any better than a list. 16:55:12 It's actually a list of foreign objects from C, in which case I don't how how Gambit would treat them in a hash map 16:55:20 That might actually work fine, thanks 16:56:07 If you want something better than a list, you need your objects to exhibit some properties that enable something better than a list. 16:56:43 Of course, you also haven't stated what operations you want to perform on these sets. 16:58:17 I think all I need is COUNT, ADD, CONTAINS, ANY-OBJECT (which returns a random object), SET->LIST 16:58:33 rouslan [n=Rouslan@unaffiliated/rouslan] has joined #scheme 16:59:07 I can just use a list for now anyway, I'm actually writing an FFI so I was attempting to cohere to the Obj-C interface of these functions 17:06:49 mrsolo [n=mrsolo@nat/yahoo/x-662147a15b03ca69] has joined #scheme 17:08:48 Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 17:11:03 -!- Fare [n=Fare@c-98-216-111-110.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 17:17:08 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Remote closed the connection] 17:18:10 reprore [n=reprore@EM114-48-143-121.pool.e-mobile.ne.jp] has joined #scheme 17:25:32 ajray [n=NCSU_Boo@nom27971d.nomadic.ncsu.edu] has joined #scheme 17:37:52 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 17:38:02 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 17:46:49 -!- chylli [n=lchangyi@119.181.15.104] has quit [Remote closed the connection] 17:46:52 levy [n=levy@apn-94-44-11-166.vodafone.hu] has joined #scheme 17:47:14 sepult [n=user@xdsl-87-78-24-88.netcologne.de] has joined #scheme 17:50:45 -!- socialite [n=piespy@dynamic-78-8-242-28.ssp.dialog.net.pl] has quit [Read error: 110 (Connection timed out)] 17:51:37 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 17:52:37 socialite [n=piespy@dynamic-62-87-248-203.ssp.dialog.net.pl] has joined #scheme 17:59:26 -!- sepult [n=user@xdsl-87-78-24-88.netcologne.de] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 18:04:06 jewel [n=jewel@dsl-247-203-169.telkomadsl.co.za] has joined #scheme 18:07:25 wingo [n=wingo@81.Red-81-38-181.dynamicIP.rima-tde.net] has joined #scheme 18:08:18 rudybot, (define (positive? number) (> number 0)) 18:08:18 Edico: eh? Try "rudybot: help". 18:09:50 rudybot, eval (define (positive? number) (> number 0)) 18:10:26 rudybot, eval positive? 3 18:10:27 Edico: ; Value: 3 18:10:49 rudybot, eval negative? 3 18:10:49 Edico: ; Value: 3 18:11:52 you may want to not do that 18:11:55 case in point: 18:11:59 rudybot, eval 1 2 3 18:12:00 Elly: your sandbox is ready 18:12:00 Elly: ; Value: 3 18:12:09 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Read error: 104 (Connection reset by peer)] 18:12:10 perhaps you mean eval (positive? 3) :P 18:13:57 Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 18:15:46 Elly, why doesn't work to define something like this (define (positive? number) (> number 0)) ? 18:15:53 it does 18:16:00 you just didn't actually call it 18:16:08 try: eval (positive? 3) 18:16:34 otherwise you have two forms, namely 'positive?' and then '3', and rudybot returns only the value of the last form you give him to eval 18:17:00 why I receive such an error when I try to load the file: ;Premature EOF on #[input-port 27 for file: "/home/edico ... ? 18:17:09 I use mit-scheme 18:17:16 well, what's in the file? 18:17:34 pastebin the contents somewhere 18:18:09 M-x check-parens 18:18:10 -!- elderK [n=elderk@222-152-15-122.jetstream.xtra.co.nz] has quit ["Leaving..."] 18:18:42 also, what wingo said :) 18:19:10 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 18:19:29 I find it amusing that paredit will not let you delete parens that would unbalance an expression 18:19:31 dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 18:19:31 Fare [n=Fare@guest-fw.dc4.itasoftware.com] has joined #scheme 18:20:38 ah, Elly I discovered, when I upload here the code it shows me the error http://codepad.org/pSQi5KYn :) 18:21:10 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Remote closed the connection] 18:21:24 yep 18:21:33 are you not using an editor that catches those kinds of errors? 18:21:45 Elly: Why is that amusing? isn't it the point of paredit to not let you delete parens that unbalence the expression? 18:21:54 are you not using a pastebin that catches those kinds of errors? 18:21:56 lisppaste: url? 18:21:56 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 18:22:04 Arelius: yes, it is 18:22:14 Arelius: I don't know why it's funny; I guess I'm not used to editors doing that 18:22:21 Also, I find it weird that backwards-delete-word sometimes will delete parens and unbalence the expression 18:22:24 -!- soupdragon [n=f@amcant.demon.co.uk] has quit [Read error: 110 (Connection timed out)] 18:22:34 anyone else have that problem? 18:22:36 not to mention kill-rectangle et al 18:23:11 i haven't seen that problem, no 18:23:33 Elly, I use emacs 18:24:04 it seems it doesn't catches 18:24:09 emacs definitely does 18:24:48 wingo: if I enter: (A (B (C)^)) and with the cursor where I put the '^' 18:24:49 do you not have emacs in scheme-mode? 18:25:00 it shows just when you close the parenthesis what parenthese it coresponds 18:25:15 oh, yeah 18:25:16 -!- reprore [n=reprore@EM114-48-143-121.pool.e-mobile.ne.jp] has quit [Remote closed the connection] 18:25:20 yes Elly is in Scheme mode 18:25:30 emacs can't tell that an unclosed paren is an error until you finish writing the file, I should think 18:25:37 and then do M-x backwards-kill-word 18:25:49 it'll end up like (A (B (C)) 18:26:04 Arelius: leaves me with (a (b (^))) 18:26:17 wingo: Really 18:26:18 ? 18:26:28 in a new buffer with just paredit-mode? 18:26:53 Arelius: yeah -- i mean it's in scheme and geiser mode too, but i don't think that's important 18:26:55 in scheme-paredit mode, it leaves me with (A (B (^))) 18:26:56 What version of paredit are you using? 18:27:14 hey wingo 18:27:24 Arelius: I am using version 21 18:27:31 i am using 20 18:27:33 heya duncanm 18:28:26 weird as I'm using 21 18:28:37 wingo: how goes it? 18:28:53 Arelius, if you use `M-x backwards-kill-word RET', you'll probably get an Emacs error about an undefined command. 18:28:54 duncanm: swimmingly! and yourself? 18:29:17 If you use `M-x backward-kill-word RET', then Emacs will happily do what the `backward-kill-word' command usually does: kill from the point to the beginning of the preceding word, irrespective of parenthesis structure. 18:29:29 wingo: not bad, got into a bike accident last Friday though ;-P 18:29:31 Riastradh: Sorry, backward-kill-word 18:29:35 If you use `M-x paredit-backward-kill-word RET', however, only the `C' will be deleted, and the parentheses will be left alone. 18:30:14 Riastradh: Then what would be preventing paredit from binding C-backspace to paredit-backward-kill-word? 18:30:24 Paredit does not redefine any Emacs commands. It only introduces new commands and a minor mode with key bindings (some shadowing global key bindings) to invoke them, so it is no surprise that paredit leaves the behaviour of `M-x backward-kill-word RET' unchanged. 18:30:30 duncanm: bummer! 18:30:33 scars? 18:31:20 Arelius, well, nothing in paredit.el says to bind that to any command in Paredit Mode. But why backward? My Emacs (GNU Emacs 22.2.1 or so) has C- bound to `kill-word', not to `backward-kill-word'. 18:31:35 Riastradh: Really? 18:32:13 I never told paredit.el to bind C- in Paredit Mode because I didn't know that that key had any interesting binding by default until a moment ago. 18:33:00 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 18:33:41 Riastradh: So, does paredit have a hook where I could bind that? 18:33:50 Yes, it's called your .emacs file. 18:34:11 (eval-after-load 'paredit '(define-key paredit-mode-map (kbd "C-") 'paredit-{forward,backward}-kill-word)) 18:35:33 Riastradh: thanks! 18:37:22 grrrrr 18:37:43 someone just hit guile's new compiler's limit of 256 closure vars... 18:37:47 more work for me :P 18:37:56 hehehe 18:37:57 ouch! 18:38:01 That's an awfully small limit. Why? 18:38:25 pitui [n=pitui@135.207.174.197] has joined #scheme 18:38:36 wingo: you have the code? 18:38:46 leppie: yes, it's part of http://www.cse.dmu.ac.uk/~mward/fermat.html 18:38:50 Riastradh: naivete 18:38:52 kool 18:38:54 thanks 18:39:16 i suspect there might be issues in IronScheme too, but never tested it :p 18:39:35 Riastradh: also, closures in guile currently capture *all* heap-allocated vars.... 18:40:31 not just referenced ones? oO 18:40:39 Zounds. 18:40:49 yes. zounds. 18:40:58 wingo: dont worry, me too :*( 18:41:10 O_O 18:41:41 hm 18:41:46 I've never used guile before, actually 18:44:31 i would like to think 256 referenced heap-allocated vars are enough, just that we're allocating too many things on the heap, combined with pulling in unreferenced vars 18:44:41 but that's still probably not the case 18:45:52 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 18:46:27 -!- moghar [n=user@unaffiliated/moghar] has quit [Read error: 113 (No route to host)] 18:47:14 perhaps it's some old code from the times guile was 8-bit only... 18:48:10 moghar [n=user@157.185.jawnet.pl] has joined #scheme 18:48:27 hah 18:49:01 wingo: still healing, don't know yet 18:50:05 outworlder [n=user@189.36.206.34] has joined #scheme 18:50:13 Elly: How's your Chibi on bare metal going? 18:50:32 pbusser2: it's not; work gets higher priority :( 18:51:34 Elly: Damn work! It always comes in the way of hacking. :-( :-) 18:53:09 yep :P 18:53:15 although my work *is* kernel hacking, so :P 18:56:13 ASau [n=user@193.138.70.52] has joined #scheme 18:56:26 Scheme Fhtagn! 18:57:20 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 19:05:11 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-f9ad83b374d4a4b3] has quit [Ping timeout: 180 seconds] 19:09:32 -!- jlongster [n=user@68.59.187.95] has quit [Remote closed the connection] 19:12:17 jlongster [n=user@c-68-59-187-95.hsd1.tn.comcast.net] has joined #scheme 19:13:41 reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 19:15:44 repror___ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 19:15:46 -!- reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 19:21:27 dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has joined #scheme 19:29:40 -!- CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has quit [Remote closed the connection] 19:30:56 Elly: Really? What kind of kernel are you hacking? 19:31:17 this one is actually the reference implementation for our operating systems class 19:31:27 although right now I am writing userspace tests for the student kernels instead of working on the ref kernel 19:31:34 but if I'm lucky, one of these tests will break the ref kernel :P 19:31:41 Elly: Hehe! 19:31:57 Elly: So students have to write a kernel? 19:32:02 they do, yes 19:32:27 Elly: Interesting. We hacked Minix a bit back when I went to school. That what you're doing sounds more interesting. 19:34:03 this is from scratch 19:34:25 we hand them a memory allocator and a vsnprintf implementation and say "You have six weeks to produce a unix kernel" 19:34:36 Elly: Yeah, I understand. That's exactly what makes it more interesting. 19:34:44 Elly: Heh! 19:37:53 Elly: what OS Class? 6.828? 19:38:23 ajray: I'm at CMU, not MIT 19:38:23 so the OS class is called 15-410 19:38:57 lol I'm at NCSU but i'm having a ball with the 6.828 (OS class here is in Java... ;_;) 19:39:18 ajray: Oh dear. 19:39:27 He said the J-word! 19:39:34 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [Read error: 110 (Connection timed out)] 19:39:55 ajray is a he? I did not know 19:40:07 also, an OS course taught in Java? gross. 19:40:12 well you got it right... 19:40:15 ours is x86 assembly and C on real hardware :P 19:40:26 8086s? 19:40:49 Pentium 4s, actually 19:41:03 but all the features we use are 386 stuff 19:41:33 EGADS! I'm working for minix on one of those. The one feature i'm dealing with is utterly craptastic on P4s, but sensical on the i686+'s 19:41:54 ajray: What feature you're working on? 19:42:27 Performance Monitor Counter support (little hardware counters that can count per-cycle or smaller events). 19:42:35 we are not touching anything like that 19:42:49 inasfar as we can we try to treat them like RISC chips :P 19:43:25 WIN! I <3 risc. Thats all the i7s and k8s are nowadays: a huge microsequencer in front of a pipelined RISC. 19:43:30 ajray: Ah, the i686+ has special registers for that, right? 19:44:04 yeah; sigh. x86 is now just an overly-complex IR that the processor translates into RISC uops as soon as it can :P 19:44:43 pbusser2: yes but the Core(2)s have One Event control register->one counter. simplicity. Pentium 4 has 48 control regs and 18 counters but each one can only control a subset of the counters and each counter can only cover a subset of the events. 19:44:56 Allocation is a nontrivial graph reduction :-( 19:45:04 ajray: I see. 19:46:15 ajray: heh, I wrote a compiler from most of C to x86 assembly once, and the register allocator was *hilarious* 19:46:30 I am now posessed of a deep and abiding loathing for integer division and shifting 19:47:01 integer division can only target %edx:%eax 19:47:08 and shifting can only take the shift operand in %cl 19:47:27 which adds a bunch of nightmarish special cases to the otherwise-nice register allocator 19:48:58 At NCSU we use the theoretical LC-3 proc; no fancy register allocation optimizations, just standard C calling convention and local vars on the stack. 19:49:02 -!- rudybot [n=luser@q-static-138-125.avvanta.com] has quit [Read error: 60 (Operation timed out)] 19:49:32 Elly: Hey, they knew you wanted a real challenge. :-P 19:49:47 offby1` [n=user@q-static-138-125.avvanta.com] has joined #scheme 19:49:54 -!- rdd [n=user@c83-250-157-93.bredband.comhem.se] has quit [Success] 19:51:31 rudybot [n=luser@q-static-138-125.avvanta.com] has joined #scheme 19:53:08 Scheme question: is Scheme proof-carrying code? or does it have to have an automated prover to be verified? 19:53:52 no 19:54:16 you could make proof-carrying scheme if you wanted to, though 19:54:39 soupdragon: just Epigram/Coq? 19:54:59 Elly: MS has done that with C# lots of annotations (in the form of contracts) 19:55:16 I'm not sure if you are using the std. def. of PCC 19:55:47 Elly: Proof-carrying means that the proof related stuff is in the source code? 19:56:05 oh right; even then thats just theorems; it still needs an automated prover 19:56:56 ajray. the important thing about PCC is you *dont* need a automated prover to verify it 19:57:15 pbusser2: it can mean that 19:57:47 taking the words 'Proof-carrying means' literally is not usual, .. it's normally meaning something more specific 19:57:51 so the code-contract annotations are 'theorem carrying code'? 19:58:47 proof-carrying code would have, for example, a machine-checkable proof of termination attached to it 19:58:52 Elly: What else can it mean? 19:59:04 pbusser2: the object file can have a proof in it generated by the compiler 19:59:15 I see. 19:59:20 like if you wrote some haskell code, the haskell compiler might include a proof in the output bytecode that proves that the bytecode is well-typed 19:59:37 Ok. 19:59:57 yes 20:00:59 Is the bytecode typed? 20:01:47 it can be 20:01:51 JVM bytecode is, for example 20:01:59 JVMs do not generate programmatic proofs of well-typedness, but they *could* 20:02:03 or rather, java compilers 20:02:11 JVMs check bytecode well-typedness, but they do it "the hard way" 20:02:18 (i.e., they generate the proof themselves) 20:03:13 The proof could be forged if the JVM didn't do it by itself, couldn't it? 20:03:33 no 20:04:15 when you read a phoney proof you go: "Hey you divided by zero" and don't accept it 20:04:24 copumpkin [n=pumpkin@dhcp-212-202.cs.dartmouth.edu] has joined #scheme 20:04:31 -!- offby1 [n=user@pdpc/supporter/monthlybyte/offby1] has quit [Read error: 110 (Connection timed out)] 20:05:10 pbusser2: what soupdragon said; the idea is that the proof is slow to generate but quick to verify 20:05:24 for example, let's say you assert that a large integer is composite 20:05:39 it is very difficult to generate a proof of that 20:05:41 quick (and decidible) 20:05:55 but if you hand me a proof (say, in the form of a pair of factors), it is quick and trivial for me to verify your proof 20:06:31 Elly: What I mean, is there a guarantee that the proof is related to the byte code? 20:06:57 oO? 20:07:08 Elly: Or, in other words, if I generate a proof, and then edit the byt code by hand, would it still be run? 20:07:09 that's like asking "is there a guarantee that the proof of compositeness is related to the integer" 20:07:19 the proof would not verify if you did that 20:07:30 a proof does not exist independently of the bytecode it proves things about 20:08:03 Elly: Then what is the purpose of that proof? 20:08:06 pbusser2, how program and proof relate is the best bit! 20:08:14 what are the most important things to prove? dividing by zero? 20:08:27 pbusser2: it proves whatever desirable property you like about the byte code 20:08:38 pbusser2: for example, let's say I wish to provide a machine-checkable proof of termination for a program 20:08:53 pbusser2: the proof is written in terms of the compiled bytecode, of course 20:09:05 and let's say you are a malicious compiler and have generated a false proof, i.e., your bytecode does not actually terminate 20:09:08 does 'cron' terminate? 20:09:26 in that case, when I go to verify the proof, at some point, I will see that reality does not conform to your proof 20:09:41 e.g., "the proof says 'because there is a jnz here, this will terminate in the base case', but there is really a jmp here" 20:09:56 if the proof language is well-designed, this is easy for me to notice :P 20:10:03 ajray: cron ought to, but crond doesn't :P 20:10:19 It is killed when the machine goes down. 20:10:55 sure, but that is external to the program and the proof doesn't care about it 20:11:00 the power button is the solution to the halting problem :-P apparently Holfstadter never had a BSoD 20:11:02 Elly: I see. 20:11:37 amusingly, the halting problem on actual computers is soluble, but not inside this universe 20:11:43 lol 20:12:03 we were bored one night and worked this out 20:12:15 there's about enough energy in the entire universe to drive a 387-bit counter through all of its states 20:12:28 Heh! 20:12:31 assuming you use no other energy on computation and have 100% efficiency doing so 20:12:40 which means you can't even drive a 386 through all its possible states 20:12:47 without any RAM at all 20:12:56 so while modern machines are *technically* linear bounded automata, in practice... :P 20:13:25 Stupid universe, why does it have to be finite? 20:13:40 well, the math might not be good 20:13:55 we made some very sketchy assumptions about the maximum amount of entropy in the universe 20:15:43 -!- jewel [n=jewel@dsl-247-203-169.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 20:17:12 42? 20:17:17 -!- copumpkin is now known as pumpkin 20:17:32 we assumed it was constant 20:18:04 *leppie* pretends to understand 20:19:58 leppie: Join the club. :-) 20:20:13 leppie: Elly is much to smart for people like us. :-) 20:20:31 pbusser2 there is no proof the universe is finite 20:20:43 leppie: I was just kidding. :-) 20:20:47 :) 20:21:22 what else do you want to prove? type consistency? 20:22:38 Oo 20:22:47 I'm not a smart person really, I just have a lot of time on my hands 20:22:52 I'm a college student, after all :P 20:23:09 Elly: A lot? Or too much. ;-) 20:23:10 ajray: sure, type consistency is a good one. Statically proving array bounds are never violated is another one. 20:23:27 pbusser2: I never have too much, because the things I do can expand to fill all available time 20:24:07 Elly: That makes sense. 20:25:32 ajray: or statically proving that all exceptions have handlers 20:26:18 good one. 20:26:46 Elly: Sounds like the J-thingy. :-] 20:26:52 but what if you dont want to handle it? 20:27:15 leppie: it doesn't need to be an exception handler written by the programmer 20:27:29 but I can certainly see it being a design contract in a reliable program that no exception should ever propagate to the top level 20:27:42 try { main() } catch { } there, proven :p 20:27:55 suppose that, e.g., you are using a hardware device which needs some shutdown procedure done when you are finished with it 20:28:07 in that case, it is desirable to prove that your program *always* calls that shutdown procedure at least once 20:29:18 and possibly no more than once, if that's your kind of thing 20:29:47 ajray: another one that I've actually seen done (although not with machine proofs) is "Pending input in this queue is always serviced within X milliseconds" 20:30:07 I have seen handwritten proofs of that for assembly programs, but never for a high-level language and never machine-checked 20:31:00 Does Forth count as a "high-level language"? 20:31:05 no 20:31:32 when I say "high-level" I generally mean "garbage-collected" 20:32:00 I guess that's a rather controversial definition. 20:32:10 yeah, well :P 20:32:27 it doesn't really matter if you agree with it or not; that's what I mean when I say "high-level" 20:34:44 Hagaer: anything that abstracts away from the hardware is high-level 20:34:53 e.g. C is a high level language :-D 20:35:07 *Elly* is not sure she agrees with that :P 20:35:41 you're a computer scientist aren't you? 20:35:41 I say C is high level but don't expect people to agree 20:35:52 I am, yes 20:36:00 I even do most of my work in C! 20:36:01 K&R said C was high level and thats good enough for me 20:36:07 heh 20:36:18 assembly would be high level too, since you don't handle voltage levels. 20:36:37 voltage levels are high level because you don't handle electrons 20:36:38 and so on 20:36:42 mario-goulart: a processor is not an analog device (mostly) 20:36:49 But hardware understands voltage levels. 20:37:14 ajray: but digital signs are voltage levels. 20:37:27 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 20:37:31 signals* 20:37:33 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 20:38:29 Voltage levels can't be high-level, otherwise you'll burn your computer. 20:39:14 pbusser2: good point. 20:39:21 heh 20:39:24 indeed 20:40:29 the point being high-level as a definition is open to interpretation? 20:41:16 Of course it is open to interpretation. 20:41:20 ajray: I'd say something is low-level compared to another thing. 20:41:24 -!- dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has quit [Read error: 110 (Connection timed out)] 20:41:44 unless there's an absolute lower level and an absolute higher level. 20:43:04 Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 20:43:05 C would be low-level for a javascript guy and high level for an electronics guy. 20:43:24 id like to offer as an absolute lower level: implementing universal turing machines and programs for said machines by hand in Conway's Game of Life. 20:43:56 Heh! 20:44:22 mario-goulart: you just described it here. All the CS students think C is low level, and all the EE's think its high. 20:44:37 Would intercal be low or high level? 20:45:15 I'm ambivalent, I think C is a mid-level language. 20:46:29 Now I'm going to try a horizontal-level language called Sleep. 20:46:31 *pbusser2* & 20:46:49 fg pbusser2 20:46:56 disown pbusser2 20:47:03 mario-goulart: not your job :P 20:47:08 :-D 20:47:14 @Elly++ 20:47:16 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Remote closed the connection] 20:47:58 When I was young (read "ten years old"), the reasoning was that high-level languages are the ones that are either fully or mostly machine-independent. 20:48:05 hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has joined #scheme 20:48:28 I.e., macroassembly, BLISS etc. were not, C was. 20:49:20 -!- hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has left #scheme 20:49:22 when I was ten years old, Java was the thing 20:52:16 rdd [n=user@c83-250-157-93.bredband.comhem.se] has joined #scheme 20:53:25 Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 20:59:17 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 21:02:37 -!- Hagaer [n=user@27.62.broadband3.iol.cz] has quit [Remote closed the connection] 21:02:46 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 21:02:50 Hagaer [n=user@27.62.broadband3.iol.cz] has joined #scheme 21:04:07 rmns [n=ramunas@85-255-53-21.ip.kis.lt] has joined #scheme 21:05:44 rabideejit [n=spoon@89-168-197-236.dynamic.dsl.as9105.com] has joined #scheme 21:07:07 saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has joined #scheme 21:07:21 Hello. I'm new to scheme. I'm looking for a reference explaining the meaning of each error in Gambit, does such a thing exist? 21:09:38 -!- Fare [n=Fare@guest-fw.dc4.itasoftware.com] has quit [Read error: 110 (Connection timed out)] 21:10:16 rabideejit: What exactly do you mean by "error"? 21:10:40 Really I mean the message which pops up in the interpreter when I do something silly. 21:11:32 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 21:11:54 Perhaps they are not standardized messages? Perhaps I'd be better off peering through the r5rs 21:12:13 rabideejit: Gambit has in its reference documentation a chapter dedicated to exceptions. 21:12:37 rabideejit: I believe all the exception types are described there. 21:13:08 Aye, I've got the manual, I grepped it for "error", rather than exception, which was silly. I've found a lot of stuff now. 21:13:16 Thankyou 21:13:18 rabideejit: That said, that is still a bit far from saying that all the possible error message texts are described there. 21:14:27 Ah, it'll be ok, I'll figure it out 21:14:57 hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has joined #scheme 21:15:59 rabideejit: It was not *that* silly. Error, for example, is a name of the function that you can use to throw an exception in your own code. But you'll find all this in Gambit docs. 21:17:22 -!- mbishop_ is now known as mbishop 21:18:37 Ah, cheers. Well, I'll give it a read, and try to make pong or something :) 21:19:04 anyway, bye for now 21:19:07 -!- rabideejit [n=spoon@89-168-197-236.dynamic.dsl.as9105.com] has left #scheme 21:22:02 -!- rmns [n=ramunas@85-255-53-21.ip.kis.lt] has left #scheme 21:25:22 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 21:31:21 -!- bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has quit [] 21:31:38 bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has joined #scheme 21:32:57 -!- bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has quit [Client Quit] 21:33:21 -!- moghar [n=user@unaffiliated/moghar] has left #scheme 21:36:28 rouslan [n=Rouslan@pool-71-161-78-9.cncdnh.east.myfairpoint.net] has joined #scheme 21:43:28 -!- hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has quit [Remote closed the connection] 21:48:44 -!- langmartin [n=user@exeuntcha.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 22:05:05 dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has joined #scheme 22:05:39 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Leaving"] 22:10:39 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 22:14:59 -!- mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has quit [Remote closed the connection] 22:15:18 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Remote closed the connection] 22:15:33 -!- levy [n=levy@apn-94-44-11-166.vodafone.hu] has quit ["..."] 22:21:20 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 22:26:53 q[mrw] [n=russd@willers.employees.org] has joined #scheme 22:27:33 -!- ajray [n=NCSU_Boo@nom27971d.nomadic.ncsu.edu] has quit ["Leaving."] 22:28:10 -!- dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has quit [Read error: 110 (Connection timed out)] 22:36:07 -!- Pepe_ [n=ppjet@78.113.38.65] has quit [Read error: 110 (Connection timed out)] 22:38:22 lowlycoder [n=x@unaffiliated/lowlycoder] has joined #scheme 22:38:52 dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has joined #scheme 22:41:32 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 60 (Operation timed out)] 22:43:18 -!- ventonegro [n=alex@li17-123.members.linode.com] has quit ["leaving"] 22:43:59 -!- dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has quit ["leaving"] 22:44:39 -!- rdd [n=user@c83-250-157-93.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 22:45:11 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 22:45:33 -!- outworlder [n=user@189.36.206.34] has quit [Remote closed the connection] 22:55:14 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 23:02:25 dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has joined #scheme 23:02:44 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 23:05:24 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 23:10:58 -!- dmoerner [n=dmr@dip-14-250.coloradocollege.edu] has quit [Read error: 60 (Operation timed out)] 23:18:00 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Success] 23:36:26 -!- lowlycoder [n=x@unaffiliated/lowlycoder] has quit ["leaving"] 23:39:57 bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has joined #scheme 23:40:44 -!- wingo [n=wingo@81.Red-81-38-181.dynamicIP.rima-tde.net] has quit [Read error: 113 (No route to host)] 23:40:51 -!- elmex [i=elmex@ist.m8geil.de] has quit [Remote closed the connection] 23:41:07 elmex [i=elmex@ist.m8geil.de] has joined #scheme 23:41:08 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 23:41:31 -!- bweaver [n=user@75.148.111.133] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 23:41:40 -!- pumpkin [n=pumpkin@dhcp-212-202.cs.dartmouth.edu] has quit [] 23:42:14 r2q2 [n=user@dyn246-03.cod.edu] has joined #scheme 23:42:17 copumpkin [n=pumpkin@dhcp-212-202.cs.dartmouth.edu] has joined #scheme 23:42:30 -!- elmex [i=elmex@ist.m8geil.de] has quit [Read error: 104 (Connection reset by peer)] 23:43:02 lowlycoder [n=x@unaffiliated/lowlycoder] has joined #scheme 23:43:21 elmex [i=elmex@ist.m8geil.de] has joined #scheme 23:44:58 -!- lowlycoder [n=x@unaffiliated/lowlycoder] has quit [Client Quit] 23:45:13 -!- Poeir [n=Poeir@c-98-222-133-165.hsd1.il.comcast.net] has quit ["This computer has gone to sleep"] 23:48:14 Poeir [n=Poeir@c-98-222-133-165.hsd1.il.comcast.net] has joined #scheme