00:03:26 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Remote host closed the connection] 00:04:53 -!- DrDuck [~duck@adsl-81-55-129.hsv.bellsouth.net] has quit [Ping timeout: 264 seconds] 00:05:38 offby1: Ooh, burn. :-P 00:14:43 :) 00:18:47 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Remote host closed the connection] 00:19:23 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 00:19:30 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Excess Flood] 00:19:54 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 00:20:27 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Client Quit] 00:21:47 aleix [~aleix@95.21.119.31] has joined #scheme 00:22:28 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 00:22:34 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Excess Flood] 00:22:58 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 00:31:24 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Ping timeout: 240 seconds] 00:33:04 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 00:33:20 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 00:35:47 -!- aleix [~aleix@95.21.119.31] has quit [Remote host closed the connection] 00:36:32 aleix [~aleix@95.21.119.31] has joined #scheme 00:37:13 -!- martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has quit [Read error: Connection reset by peer] 00:37:53 martinhex [~mjc@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 00:39:04 -!- Oejet [~oejet@212.45.122.120] has left #scheme 00:42:35 -!- gravicappa [~gravicapp@ppp91-78-231-15.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 00:45:51 mwolfe [~michael@adsl-69-110-134-188.dsl.irvnca.pacbell.net] has joined #scheme 00:48:43 -!- wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has quit [Ping timeout: 260 seconds] 00:49:33 bokr [~eduska@85.26.241.155] has joined #scheme 00:54:39 -!- tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has left #scheme 00:55:21 -!- `Nisstyre [~nisstyre@infocalypse-net.info] has quit [Quit: Leaving] 00:57:23 -!- erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has quit [Ping timeout: 240 seconds] 01:01:13 wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has joined #scheme 01:02:30 erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has joined #scheme 01:07:30 qhe [~qhe2@nat/intel/x-irelcpbknopllyel] has joined #scheme 01:12:21 Nisstyre65 [~nisstyre@infocalypse-net.info] has joined #scheme 01:15:40 -!- masm [~masm@bl15-70-211.dsl.telepac.pt] has quit [Quit: Leaving.] 01:17:23 -!- erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has quit [Ping timeout: 240 seconds] 01:19:08 zevarito [~zevarito@r186-48-141-161.dialup.adsl.anteldata.net.uy] has joined #scheme 01:27:22 -!- phao [~phao@189.107.158.186] has quit [Quit: Leaving] 01:27:42 -!- rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has quit [Remote host closed the connection] 01:29:25 -!- mwolfe [~michael@adsl-69-110-134-188.dsl.irvnca.pacbell.net] has quit [Remote host closed the connection] 01:30:45 erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has joined #scheme 01:35:12 DrDuck [~duck@adsl-81-55-129.hsv.bellsouth.net] has joined #scheme 01:37:23 -!- erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has quit [Ping timeout: 240 seconds] 01:40:48 -!- zevarito [~zevarito@r186-48-141-161.dialup.adsl.anteldata.net.uy] has quit [Remote host closed the connection] 01:43:30 erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has joined #scheme 01:46:23 -!- dfkjjkfd [~paulh@145.120.22.32] has quit [Quit: Lost terminal] 01:47:54 zevarito [~zevarito@r186-48-141-161.dialup.adsl.anteldata.net.uy] has joined #scheme 01:48:12 Azuvix [~james@71-215-25-216.bois.qwest.net] has joined #scheme 01:55:52 -!- aleix [~aleix@95.21.119.31] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:02:01 -!- unkanon [~unkanon@dyn-160-39-34-114.dyn.columbia.edu] has left #scheme 02:05:53 -!- homie [~levgue@xdsl-84-44-154-144.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:06:01 -!- wbooze [~levgue@xdsl-84-44-154-144.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:12:00 kanru [~kanru@61-30-10-70.static.tfn.net.tw] has joined #scheme 02:17:09 -!- Azuvix [~james@71-215-25-216.bois.qwest.net] has quit [Ping timeout: 240 seconds] 02:17:21 -!- zevarito [~zevarito@r186-48-141-161.dialup.adsl.anteldata.net.uy] has quit [Remote host closed the connection] 02:17:26 Azuvix [~james@71-215-25-216.bois.qwest.net] has joined #scheme 02:19:02 -!- Azuvix [~james@71-215-25-216.bois.qwest.net] has quit [Client Quit] 02:19:20 Azuvix [~james@71-215-25-216.bois.qwest.net] has joined #scheme 02:23:29 -!- bokr [~eduska@85.26.241.155] has quit [Ping timeout: 264 seconds] 02:23:48 zevarito [~zevarito@r186-48-100-26.dialup.adsl.anteldata.net.uy] has joined #scheme 02:41:03 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 02:41:38 Gmind [~Welcome@113.190.187.229] has joined #scheme 03:03:37 -!- nowhere_man [~pierre@AStrasbourg-551-1-94-88.w81-49.abo.wanadoo.fr] has quit [Ping timeout: 276 seconds] 03:03:52 LoL, Finally, I got my book on eBay :X :X .It's better than I expect ! Love it ! :X 03:04:56 barglfargl [~jeremy@75-131-194-186.dhcp.gwnt.ga.charter.com] has joined #scheme 03:05:30 *Gmind* have just got his "The Little Schemer" book 03:05:55 cool! 03:06:52 nowhere_man [~pierre@AStrasbourg-551-1-42-132.w92-148.abo.wanadoo.fr] has joined #scheme 03:07:22 i want to see how you will deal with the last three or four chapters 03:07:42 =) The simplest way is throwing it away 03:07:45 and sleep 03:08:24 yeah, not just staring at it and screaming "WHY CAN'T I UNDERSTAND THIS" 03:08:39 it's ok. 03:08:47 I will read it to relax when free 03:09:05 -!- pavelludiq [57f63ac1@gateway/web/freenode/ip.87.246.58.193] has quit [Ping timeout: 265 seconds] 03:09:09 Yay for Y-combinator. ;-P 03:09:23 (Which is covered in The Little Schemer, and will make your brain HURT.) 03:09:26 yeah 03:09:41 have just come back to C++ now =.= 03:09:46 and then it asks, "what happens if we apply a y combinator to a y combinator?" 03:09:53 Gmind: Well, it's not possible to write a Y-combinator in C++. :-P 03:10:07 Well, maybe it is. But I've not seen one. 03:10:10 i thought c++0x had a fancy new lambda feature or something 03:10:36 barglfargl: But, like, the Y-combinator I know of only works for untyped lambda calculus or something. 03:10:44 And C++ is, like, not untyped. 03:11:06 cky: oh, right 03:11:34 Writing a fixed-point combinator for typed languages is considerably more challenging. 03:11:42 I should know, because such a question has been asked on Stack Overflow. 03:11:48 of course 03:15:50 -!- barglfargl [~jeremy@75-131-194-186.dhcp.gwnt.ga.charter.com] has quit [Quit: leaving] 03:23:36 22:21 < j4cbo> i will accept elly's emacs tree-rotation brain meld mode 03:23:49 this is my favorite description of paredit-mode ever :P Riastradh <3 03:24:49 -!- DrDuck [~duck@adsl-81-55-129.hsv.bellsouth.net] has quit [Ping timeout: 255 seconds] 03:25:05 Nice one. :-D 03:25:34 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 03:25:34 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 03:25:35 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 03:26:50 -!- zevarito [~zevarito@r186-48-100-26.dialup.adsl.anteldata.net.uy] has quit [Remote host closed the connection] 03:28:04 -!- Azuvix [~james@71-215-25-216.bois.qwest.net] has quit [Quit: Leaving] 03:36:40 nowhereman [~pierre@AStrasbourg-551-1-11-153.w86-213.abo.wanadoo.fr] has joined #scheme 03:37:18 -!- nowhere_man [~pierre@AStrasbourg-551-1-42-132.w92-148.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds] 03:52:41 timj__ [~timj@e176193102.adsl.alicedsl.de] has joined #scheme 03:55:47 -!- timj_ [~timj@e176205129.adsl.alicedsl.de] has quit [Ping timeout: 240 seconds] 04:07:46 -!- chandler_ [~bem@76-216-187-242.lightspeed.cicril.sbcglobal.net] has quit [Changing host] 04:07:46 chandler_ [~bem@opendarwin/developer/chandler] has joined #scheme 04:07:55 -!- chandler_ is now known as chandler 04:09:48 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: night, all.] 04:13:47 -!- nowhereman [~pierre@AStrasbourg-551-1-11-153.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 04:16:23 nowhereman [~pierre@AStrasbourg-551-1-3-59.w92-141.abo.wanadoo.fr] has joined #scheme 04:28:11 bokr [~eduska@85.26.241.78] has joined #scheme 04:35:11 -!- qhe [~qhe2@nat/intel/x-irelcpbknopllyel] has quit [Quit: Leaving.] 04:40:15 -!- Gmind [~Welcome@113.190.187.229] has quit [Quit: Leaving.] 04:41:22 Gmind [~Welcome@113.190.187.229] has joined #scheme 04:43:45 alexsuraci [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 04:55:00 -!- nowhereman [~pierre@AStrasbourg-551-1-3-59.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 250 seconds] 04:56:14 nowhereman [~pierre@AStrasbourg-551-1-24-2.w86-213.abo.wanadoo.fr] has joined #scheme 05:34:25 -!- bokr [~eduska@85.26.241.78] has quit [Ping timeout: 276 seconds] 05:35:09 -!- nowhereman [~pierre@AStrasbourg-551-1-24-2.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 246 seconds] 05:36:08 nowhereman [~pierre@AStrasbourg-551-1-97-45.w90-13.abo.wanadoo.fr] has joined #scheme 05:48:55 corruptmemory [~jim@ool-18bbd5b2.static.optonline.net] has joined #scheme 05:56:59 -!- tupi [~david@186.205.37.15] has quit [Quit: Leaving] 06:08:43 jewel [~jewel@196-210-134-54.dynamic.isadsl.co.za] has joined #scheme 06:10:11 Scheme look alike to C macros without Parenthese 06:10:19 isn't it ? 06:12:11 Gmind: Hell no. 06:13:57 #define f (x) x* x 06:14:06 (define (f x) (* x x)) 06:14:17 isn't it be somewhat the same ? 06:14:22 except the prefix 06:14:30 btw, cky :P 06:14:43 Little Schemer isn't covered about Scheme Macros ? 06:15:56 Gmind: No, it doesn't cover macros at all. 06:16:50 Oh, if you want a squaring C macro that works alike to the squaring Scheme function above, you need: 06:17:38 I want smt short, simple , and don't go too long 06:19:06 oh..? 06:19:56 #define square(x) ({__typeof__(x) t = (x); x * x;}) 06:20:11 (Uses a GCC extension called "statement expressions".) 06:20:16 Uh. 06:20:21 #define square(x) ({__typeof__(x) t = (x); t * t;}) 06:20:33 *cky* needs to make less thinkos. 06:21:42 you mean 06:21:57 you are making Scheme - like code in C macros ? 06:21:59 * by 06:22:29 No, I'm saying if you want to make a "square" C macro that works identically to (define (square x) (* x x)), then you have to define the macro the way I just had it. 06:23:53 ya 06:24:02 I got your idea 06:24:03 :D 06:24:45 In particular, if you call, say, square(rand()), it should call rand() once, not twice. 06:24:57 yep 06:25:02 it's used for both 06:25:03 Without the "statement expressions" GCC extension, I have trouble seeing how to make a macro that doesn't call rand() twice. 06:25:56 For example, if you had #define square(x) ((x) * (x)), then that would indeed call rand() twice. 06:28:18 so must assign like you did ? 06:28:22 t= x ? 06:28:23 right ? 06:28:31 :P 06:28:49 Maxels [~Maxel@adsl-99-72-126-112.dsl.euclwi.sbcglobal.net] has joined #scheme 06:28:51 will be more careful next time 06:30:19 -!- Maxel [~Maxel@adsl-99-72-126-112.dsl.euclwi.sbcglobal.net] has quit [Ping timeout: 276 seconds] 06:30:43 btw, 06:31:02 writing file in Scheme is a bit ... 06:31:13 I tried to make it through yesterday 06:31:21 but failed 06:32:52 dralston [~dralston@S010600212986cca8.va.shawcable.net] has joined #scheme 06:38:54 Gmind: Try writing simple Scheme programs first, then work up to more and more featureful ones. 06:42:47 ah...ok 06:42:49 :P 06:42:56 I want to keep my interest 06:43:11 by learning across all problems I encounter 06:43:29 so define-syntax is very much the same to #define 06:43:42 :)) 06:43:56 Not even. 06:44:42 define-syntax creates Scheme macros. Scheme macros are much, much, much more powerful than cpp macros. 06:44:57 caoliver [~userName@75-134-208-20.dhcp.trcy.mi.charter.com] has joined #scheme 06:44:58 -!- caoliver [~userName@75-134-208-20.dhcp.trcy.mi.charter.com] has quit [Remote host closed the connection] 06:46:07 :P 06:46:10 that's nice 06:47:12 It's like krillin's power vs goku's power, not even... 06:48:21 that's why I said very much the same but not "Exactly the same" 06:48:25 :)) 06:51:34 i wish everything was explained in terms of dbz 06:52:34 Gmind: They're not even alike. 06:52:50 Gmind: Much less "very much the same". 07:06:03 :)) 07:06:04 thanks 07:07:02 very funny that I learnt C Macros accidently on the way trying to create an App for a girl I like 07:07:12 *the girl 07:08:10 Gmind: !!!! 07:08:16 spent a whole day for it, and when completed , She didn't use it, but all of my friends 07:08:28 Gmind: Hahahaha. 07:08:34 what a life :-< 07:08:39 Gmind: I've written programs for my wife on occasion. :-) 07:08:51 Gmind: Nothing seriously fancy, but works. 07:09:41 ha, your wife must be happy about it 07:09:42 :P 07:10:45 I haven't ever had an thinking of returning to C 07:10:50 *a 07:11:26 since I knew VBnet, F# and Scheme and many others 07:13:19 ...VB.NET may not be something to be proud of knowing. It's like PHP, y'know? 07:14:55 *MikeV* quietly backs away 07:15:00 -!- MikeV is now known as Caleb- 07:15:03 -!- Caleb- is now known as Caleb-- 07:15:55 It's not the first thing you'd include in your biography, but it's surely not an STD, either. 07:16:28 that's what i tell my girlfriends: "Hey, at least I didn't give you PHP!" 07:17:16 time to study 07:17:19 happy new year 07:17:24 Have fun! 07:17:36 -!- Caleb-- [thedude@bzq-109-67-18-143.red.bezeqint.net] has quit [] 07:19:10 I'm not proud of all of those languages 07:19:23 :-P 07:19:24 just what I can do with all of them 07:20:09 ^ ^ 07:20:37 at least, some helped me out of C and C++ pains 07:20:52 Heh. 07:20:55 write short and less bugs codes ..etc... :P 07:21:12 -!- xwl_ [~wixu@nat/nokia/x-ettqhxqoqrbbewfc] has quit [Remote host closed the connection] 07:22:02 :-< 07:23:21 still... 07:25:28 rudybot: (define-syntax swap! (syntax-rule () ((_ x y)(let((tmp x)) (set! a b)(set! b tmp))))) 07:25:28 Gmind: your sandbox is ready 07:25:29 Gmind: error: eval:1:34: #%app: missing procedure expression; probably originally (), which is an illegal empty application in: (#%app) 07:26:06 =)) 07:26:25 (define-syntax swap! (syntax-rule () ((_ x y)(let((tmp x)) (set! x y)(set! x tmp))))) 07:26:28 Gmind: You've got to learn proper S-expression formatting, seriously. 07:26:37 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 07:26:44 sorry, should write on my test pad 1st 07:27:07 -!- Quetzalcoatl_ [~godless@cpe-75-186-5-185.cinci.res.rr.com] has quit [Read error: Operation timed out] 07:27:29 rudybot:(define-syntax swap! ( syntax-rule () ( (_ x y) (let ((tmp x)) (set! x y)(set! x tmp) )))) 07:27:29 Gmind: error: eval:1:35: #%app: missing procedure expression; probably originally (), which is an illegal empty application in: (#%app) 07:27:33 :-s 07:27:46 lacking smt ? 07:28:04 open` [~gleen@cpe-24-92-71-240.wi.res.rr.com] has joined #scheme 07:28:24 rudybot: (define-syntax swap! (syntax-rules () ((swap! x y) (let ((tmp x)) (set! x y) (set! y tmp))))) 07:28:25 cky: your racket sandbox is ready 07:28:25 cky: Done. 07:28:36 rudybot: (define-values (a b) (42 10)) 07:28:37 cky: error: procedure application: expected procedure, given: 42; arguments were: 10 07:28:43 rudybot: (define-values (a b) (values 42 10)) 07:28:44 cky: Done. 07:28:48 rudybot: (swap! a b) 07:28:49 cky: Done. 07:28:53 rudybot: (list a b) 07:28:53 cky: ; Value: (10 42) 07:29:34 Gmind: 1. You need to use "syntax-rules", not "syntax-rule". 2. Your second set! expression is wrong. 3. I fixed up the formatting. 07:29:57 caoliver [~userName@75-134-208-20.dhcp.trcy.mi.charter.com] has joined #scheme 07:30:03 -!- caoliver [~userName@75-134-208-20.dhcp.trcy.mi.charter.com] has quit [Remote host closed the connection] 07:30:13 formatting ? 07:30:23 Notice the spacing around brackets. 07:30:30 There is a pattern to the spacing; it's not arbitrary or random. 07:30:43 -!- open` is now known as open 07:30:51 -!- open [~gleen@cpe-24-92-71-240.wi.res.rr.com] has quit [Changing host] 07:30:51 open [~gleen@unaffiliated/open] has joined #scheme 07:31:00 You will never, ever, ever see something like "( ( foo bar))"; it's always "((foo bar))". 07:31:21 Also, it's never "(foo)(bar)", but always "(foo) (bar)". 07:31:54 Also, never "(foo(bar))", but always "(foo (bar))". 07:31:58 Hopefully you get the idea. :-) 07:32:08 thanks :P 07:32:47 -!- dralston [~dralston@S010600212986cca8.va.shawcable.net] has quit [Quit: Leaving] 07:32:51 When writing an S-expression on a single line, there is one true, proper way to format it. 07:33:11 (Some would say that even when spread out on multiple lines, there's still just one true way to format it, but perhaps that's more subjective.) 07:34:26 space in Scheme is that important ? 07:34:31 To a human reader, yes. 07:34:40 Improperly-formatted S-expressions are painful to read. 07:34:44 and btw, why drRacket said set! can't modify a constant ? 07:35:00 Well, that depends on what you're trying to set!, right? 07:36:01 Gmind: I'm extremely anal about code formatting (and that is something I'm very strict about during code reviews at work), but that is for good reason. 07:36:13 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 07:37:47 it's ok , I understand 07:38:04 about my set! question: I swap! a b as above 07:38:09 after define-values 07:42:32 ah ok :P 07:42:34 it worked 07:43:34 -!- kanru [~kanru@61-30-10-70.static.tfn.net.tw] has quit [Ping timeout: 255 seconds] 07:45:07 Quetzalcoatl_ [~godless@cpe-75-186-5-185.cinci.res.rr.com] has joined #scheme 07:45:52 *Gmind* don't know why IronScheme didn't have 'define-values' syntax 08:01:52 hkBst [~quassel@gentoo/developer/hkbst] has joined #scheme 08:02:44 kanru [~kanru@61-30-10-70.static.tfn.net.tw] has joined #scheme 08:14:45 -!- nego [~nego@c-76-16-30-244.hsd1.il.comcast.net] has quit [Quit: Lost terminal] 08:21:07 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 08:27:10 -!- mg4001 [~mg4001@cpe-76-93-28-217.socal.res.rr.com] has quit [Quit: Leaving] 08:39:57 -!- pothos [~pothos@111-240-213-117.dynamic.hinet.net] has quit [Ping timeout: 246 seconds] 08:48:02 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 08:49:47 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Ping timeout: 240 seconds] 08:50:34 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 260 seconds] 09:02:50 mmc [~michal@cs181176169.pp.htv.fi] has joined #scheme 09:19:53 -!- ski [~slj@c83-254-21-112.bredband.comhem.se] has quit [Ping timeout: 264 seconds] 09:21:12 -!- alexsuraci [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has quit [Quit: alexsuraci] 09:21:36 -!- kanru [~kanru@61-30-10-70.static.tfn.net.tw] has quit [Read error: Connection reset by peer] 09:21:37 kanru1 [~kanru@61-30-10-70.static.tfn.net.tw] has joined #scheme 09:26:45 ski [~slj@c83-254-21-112.bredband.comhem.se] has joined #scheme 09:26:54 alexsuraci [~alexsurac@pool-71-188-133-67.aubnin.fios.verizon.net] has joined #scheme 09:45:29 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 240 seconds] 09:46:33 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 09:47:57 dfkjjkfd [~paulh@145.120.22.20] has joined #scheme 10:03:07 -!- pygospa [~pygospa@kiel-5f769006.pool.mediaWays.net] has quit [Ping timeout: 240 seconds] 10:05:16 pygospa [~pygospa@kiel-4dbed27f.pool.mediaWays.net] has joined #scheme 10:06:35 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 240 seconds] 10:09:37 -!- open [~gleen@unaffiliated/open] has quit [Quit: leaving] 10:09:48 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 10:10:07 tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has joined #scheme 10:26:24 phao [~phao@189.107.146.89] has joined #scheme 10:51:58 Do continuations have anything to do with lazy evaluation? 10:52:50 Not usualy. 10:52:59 femtoo [~femto@95-89-249-94-dynip.superkabel.de] has joined #scheme 10:53:39 femtooo [~femto@95-89-249-94-dynip.superkabel.de] has joined #scheme 10:53:46 I thought they were used to get lazy eval. implemented in scheme 10:57:59 masm [~masm@bl15-70-211.dsl.telepac.pt] has joined #scheme 10:58:56 cky: isn't C++ Template harder to understand than Scheme Macros ? 11:01:01 araujo [~araujo@190.38.51.34] has joined #scheme 11:01:01 -!- araujo [~araujo@190.38.51.34] has quit [Changing host] 11:01:01 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 11:20:47 -!- mmc [~michal@cs181176169.pp.htv.fi] has quit [Ping timeout: 240 seconds] 11:28:18 j-invariant [~aaaa@unaffiliated/j-invariant] has joined #scheme 11:28:53 Where can I find a scheme source code to turn "a*4+b^2" into (+ (* a 4) (^ b 2)) ? 11:33:17 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 11:35:11 mmc [~michal@cs27120227.pp.htv.fi] has joined #scheme 11:38:50 j-invariant: Hahahahaha. 11:39:17 I wrote such a program once, to solve justin.tv's Prefixer puzzle. 11:39:27 gravicappa [~gravicapp@ppp91-78-229-246.pppoe.mtu-net.ru] has joined #scheme 11:39:39 http://www.justin.tv/problems/prefixer 11:40:01 However, because it's a job puzzle, and they use it to judge applicants, it wouldn't be fair for me to post my program. 11:40:58 I will give you a hint though. Read up on the shunting-yard algorithm. 11:41:47 http://www.cs.utexas.edu/~EWD/MCReps/MR35.PDF 11:42:41 That paper was written 50 years ago; an oldie but a goodie! 11:44:57 shunting yard is wrong 11:45:08 No, it's not. 11:45:17 My program used that algorithm and it works correctly. 11:47:09 I also know it works because years ago, for the OMGWTF contest, I actually wrote my own infix parser that, basically, reinvented shunting-yard before I've heard of it. 11:47:26 shunting-yard is a broken algorithm 11:47:36 If you want to say so, then suit yourself. 11:47:49 It helps if you can explain what exactly is broken about it. 11:48:09 it claims a succesful parse on some invalid inputs 11:49:17 It's not a general-purpose parser; all it does is ensure correct precedence handling. 11:49:28 Otherwise, it's pretty much GIGO. 11:51:26 i.e., do your own validation of the input before feeding it to the algorithm, if correct flagging of invalid input is important to you. 11:52:13 That doesn't make the algorithm "broken" per se. That is rather like saying (real-valued) sqrt is broken for not handling negative inputs. 11:53:04 `micro [~micro@www.bway.net] has joined #scheme 11:54:05 -!- Gmind [~Welcome@113.190.187.229] has quit [Ping timeout: 264 seconds] 11:55:59 You can, of course, write a grammar for your infix expressions and use a parser generator to make your code. I even believe Racket has that functionality built in. 11:56:10 -!- nowhereman [~pierre@AStrasbourg-551-1-97-45.w90-13.abo.wanadoo.fr] has quit [Read error: Connection reset by peer] 11:56:13 kephas [~pierre@AStrasbourg-551-1-97-45.w90-13.abo.wanadoo.fr] has joined #scheme 11:56:54 nowhere_man [~pierre@AStrasbourg-551-1-97-45.w90-13.abo.wanadoo.fr] has joined #scheme 11:57:43 -!- hkBst [~quassel@gentoo/developer/hkbst] has quit [Remote host closed the connection] 12:00:18 Caleb-- [thedude@bzq-109-67-18-143.red.bezeqint.net] has joined #scheme 12:00:43 Where can I get multivariable polynomials code? 12:01:40 -!- kephas [~pierre@AStrasbourg-551-1-97-45.w90-13.abo.wanadoo.fr] has quit [Ping timeout: 276 seconds] 12:01:52 This isn't a plzsendthecodez channel. Neither is this channel a human search engine. 12:02:13 Gmind [~Welcome@113.190.187.229] has joined #scheme 12:02:51 I have polynomials but they are tied to a different scheme, I want to use Racket 12:03:19 Generally, porting from one Scheme implementation to another isn't too hard, if you know what you're doing. 12:03:36 Granted, if you're porting from, say, Guile, you may run into some difficulty. :-P 12:03:38 cky: do you know a good place to search for code? 12:03:57 j-invariant: http://www.google.com/codesearch 12:04:18 I can't promise you'll find any Scheme projects that way, but it can certainly be a useful starting place. 12:05:28 Using a search string of "polynomial lang:scheme" seems interesting, but again, may not be exactly what you're seeking. 12:06:09 yeah they don't happen to have this 12:08:19 -!- kanru1 [~kanru@61-30-10-70.static.tfn.net.tw] has quit [Ping timeout: 276 seconds] 12:12:03 should I use ((k (1 2 3)) (j (2 3 1)) (l (2 3 1))) to represent kxy^2z^3 + jx^2y^3z + lx^2y^3z? 12:13:10 It's probably as good of a representation as any. 12:13:13 zevarito [~zevarito@r186-48-203-209.dialup.adsl.anteldata.net.uy] has joined #scheme 12:13:57 oh 12:14:00 Or, you could just use ((k 1 2 3) (j 2 3 1) (l 2 3 1)), where the elements correspond to 1, x, y, and z. 12:14:11 it should be reduced to ((k (1 2 3)) (j+l (2 3 1))) 12:14:15 yeah that's a good idea 12:14:37 Only, not quite. 12:14:47 Because it's not 1^k, but rather k^1. 12:14:52 Hmm. 12:14:55 Back to the drawing board. 12:15:22 alternatively a tree based on the monomials 12:15:53 There're obviously many ways to skin a cat, so to speak. :-) 12:16:19 eww... 12:16:27 Caleb--: That's English for ya. 12:16:38 i know that phrase, actually. 12:16:50 :-) 12:18:17 -!- Caleb-- [thedude@bzq-109-67-18-143.red.bezeqint.net] has quit [] 12:21:53 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 12:24:39 if a polynomial has e.g. (j 2 3 1) and (l 2 3 1) in it (the same exponents) they should be merged to (j+l 2 3 1) 12:24:48 because otherwise it will take up more and more memory 12:25:02 but should I merge these during multiplication or at the end? 12:26:57 it takes O(n^2) to merge the monomials of a polynomial with n monomials :/ 12:29:11 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 12:30:19 rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has joined #scheme 12:30:20 -!- pygospa [~pygospa@kiel-4dbed27f.pool.mediaWays.net] has quit [Disconnected by services] 12:30:20 I wonder if the monomials should be vectors instead of lists? 12:30:29 pygospa [~pygospa@kiel-d9bfc3d8.pool.mediaWays.net] has joined #scheme 12:32:36 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [Ping timeout: 240 seconds] 12:35:01 -!- phao [~phao@189.107.146.89] has quit [Quit: Leaving] 12:36:17 -!- mathk [~mathk@lns-bzn-57-82-249-48-194.adsl.proxad.net] has quit [Quit: ..zzZzzZ] 12:37:20 zevarito_ [~zevarito@r186-48-215-13.dialup.adsl.anteldata.net.uy] has joined #scheme 12:38:59 -!- femtooo [~femto@95-89-249-94-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 12:38:59 -!- femtoo [~femto@95-89-249-94-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 12:39:30 mathk [~mathk@lns-bzn-57-82-249-48-194.adsl.proxad.net] has joined #scheme 12:39:35 -!- zevarito [~zevarito@r186-48-203-209.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 272 seconds] 12:43:30 How do you do a lexicographic comparison of vectors? 12:43:53 -!- mathk [~mathk@lns-bzn-57-82-249-48-194.adsl.proxad.net] has quit [Ping timeout: 260 seconds] 12:49:31 peddie [~peddie@XVM-107.MIT.EDU] has joined #scheme 12:52:39 -!- Gmind [~Welcome@113.190.187.229] has quit [Ping timeout: 260 seconds] 12:53:04 femtoo [~femto@95-89-249-94-dynip.superkabel.de] has joined #scheme 12:53:14 femtooo [~femto@95-89-249-94-dynip.superkabel.de] has joined #scheme 12:53:43 j-invariant: You probably have to write your own. 12:54:39 Gmind [~Welcome@113.190.187.229] has joined #scheme 12:57:21 j-invariant: SRFI 67 defines vector-compare and vector-compare-as-list 12:57:51 sloyd: Fancy. Thanks; I learnt something new. 12:58:07 I was just gonna write one based on vector-fold (from SRFI 43). 13:00:29 tupi [~david@186.205.37.15] has joined #scheme 13:02:53 Is there something for (flatten (map ...))? 13:03:16 oh I see it, append-map 13:13:25 http://paste.lisp.org/display/118173 13:13:44 this is the code for polynomials 13:13:45 what is the difference between the symbol and the macro lambda? 13:14:16 if you know how to make it faster i'll do it! 13:14:54 now I want to have functions back and forth from "x^2+4*y" notation to this data type 13:15:02 any ideas how to do that? 13:25:11 -!- Gmind [~Welcome@113.190.187.229] has quit [Quit: Leaving.] 13:27:11 Is there a procedure to turn '(a b c) into '(a + b + c)? 13:31:51 -!- _danb_ [~user@124-149-166-62.dyn.iinet.net.au] has quit [Ping timeout: 246 seconds] 13:50:58 jao [~jao@237.pool85-50-132.dynamic.orange.es] has joined #scheme 13:50:58 -!- jao [~jao@237.pool85-50-132.dynamic.orange.es] has quit [Changing host] 13:50:58 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 13:55:01 wbooze [~levgue@xdsl-78-35-156-99.netcologne.de] has joined #scheme 13:56:08 homie [~levgue@xdsl-78-35-156-99.netcologne.de] has joined #scheme 13:58:00 cky, I tried building the debian package for rabbit that you pointed me to the other day, but the build is failing. 13:59:15 itym racket 14:00:04 jewel: if you do mean racket, can you paste a log of the failed build 14:00:22 sorry, racket not rabbit! 14:01:00 (I maintain the debian package for rabbitmq) 14:06:10 paste.lisp.org didn't work for me, http://pastebin.com/Cp8CCK8F 14:07:57 jewel: that is the latest on git.debian.org? 14:09:15 phao [~phao@189.107.146.89] has joined #scheme 14:10:01 86f39a16c0caf051cf9800b25858a156bd29b26d, Mon Dec 27 23:31:09 2010 -0400 14:12:17 jewel: and what environment are you trying to build in? 14:13:23 hmm. I see a possibly relevant commit. I will try test building. 14:17:18 although, I think the only changes since I last built are to documentation. We shall see. 14:26:06 ok, I will try build with the latest changes 14:27:08 oh I see, that is the latest 14:27:42 I'm building on an x86-64 debian testing system 14:28:33 jewel: it's only tested building in sid, although the resulting packages work fine in testing. 14:29:00 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 14:31:57 Anyone konww where I can get code to turn "a+b*c" into (+ a (* b c))? 14:32:53 jewel: builds OK for me in a sid chroot. 14:33:18 jewel: let me sanity check the binary packages, then I can make them available. 14:34:16 -!- pygospa [~pygospa@kiel-d9bfc3d8.pool.mediaWays.net] has quit [Disconnected by services] 14:34:25 pygospa [~pygospa@kiel-5f768bdf.pool.mediaWays.net] has joined #scheme 14:34:44 -!- sjamaan [~sjamaan@netbsd/developer/sjamaan] has quit [Quit: brb] 14:36:32 peter__ [~sjamaan@frohike.xs4all.nl] has joined #scheme 14:36:38 -!- peter__ is now known as sjamaan 14:36:51 -!- sjamaan [~sjamaan@frohike.xs4all.nl] has quit [Changing host] 14:36:51 sjamaan [~sjamaan@netbsd/developer/sjamaan] has joined #scheme 14:37:00 *bremner* shakes his fist at asymmetric DSL 14:38:04 me? :) 14:38:20 no. 14:38:52 I want to write down rolynomals in the usual way 14:39:15 j-invariant: you want a parser for arithmetic expressions. Google "infix arithmetic expressions parser" does not help? 14:39:51 I suppose add scheme. 14:43:44 not finding anything that way 14:44:10 -!- leppie [~lolcow@196-215-20-67.dynamic.isadsl.co.za] has quit [Ping timeout: 276 seconds] 14:48:51 bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has joined #scheme 14:57:14 jewel: see http://www.cs.unb.ca/~bremner/software/debian/ to add my repo, or just get the binary packages (amd64 only) from http://pivot.cs.unb.ca/debian 14:59:07 rpg_ [~rpg@216.243.156.16.real-time.com] has joined #scheme 15:00:37 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Ping timeout: 265 seconds] 15:04:19 j-invariant: googling found me http://www.dwheeler.com/readable/ and the links there. 15:09:45 nmg [~nickga@host81-131-156-38.range81-131.btcentralplus.com] has joined #scheme 15:22:54 -!- DerGuteMoritz [~syn@85.88.17.198] has quit [Ping timeout: 250 seconds] 15:23:38 DerGuteMoritz [~syn@85.88.17.198] has joined #scheme 15:24:22 kanru1 [~kanru@61-228-157-40.dynamic.hinet.net] has joined #scheme 15:26:34 carleastlund [~cce@209-6-40-238.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 15:28:06 annodomini [~lambda@wikipedia/lambda] has joined #scheme 15:33:10 -!- eno [~eno@nslu2-linux/eno] has quit [Read error: Operation timed out] 15:34:34 eno [~eno@nslu2-linux/eno] has joined #scheme 15:54:06 Gmind [~Welcome@113.190.178.118] has joined #scheme 16:04:52 MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has joined #scheme 16:17:19 jjjjj [~Gordon@178.98.31.194] has joined #scheme 16:17:27 -!- mmc [~michal@cs27120227.pp.htv.fi] has quit [Ping timeout: 240 seconds] 16:18:34 bsod1 [~osa1@88.241.168.137] has joined #scheme 16:32:53 offby1` [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 16:33:33 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Disconnected by services] 16:33:33 -!- offby1` is now known as offby1 16:36:54 well 16:36:58 happy new year ! 16:37:17 r2q2 [~r2q2@c-24-7-212-58.hsd1.il.comcast.net] has joined #scheme 16:39:04 *offby1* blows a noisemaker 16:40:48 *r2q2* blows up some tnt 16:40:59 *Riastradh* makes a noiseblower 16:41:19 How is everyone celebrating new years? 16:41:43 Apply your anagrams program, offby1! Can you transform it into an anamorphemes program? 16:44:05 mwolfe [~michael@cpe-67-49-72-40.socal.res.rr.com] has joined #scheme 16:44:10 -!- rpg_ [~rpg@216.243.156.16.real-time.com] has quit [Remote host closed the connection] 16:44:34 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 16:45:19 *offby1* looks at his coffee cup 16:46:01 actually that sounds like a fun project for someone with more energy, and more knowledge of linguistics, than I 16:46:09 *offby1* looks at jcowan 16:47:42 -!- jjjjj [~Gordon@178.98.31.194] has left #scheme 16:47:53 It's OK if it only heuristically tries to optimize an objective, too, rather than exhausting the possibilities. The objective it should optimize is the ensuing hilarity. For example, this is easy if the words `Russia' and `Soviet' appear in the message, although this may cause a negative feedback loop as the joke grows older and older. 16:50:34 so you'll provide the list that maps morpheme-pairs to hilarity level? 16:52:58 DrDuck [~duck@216.186.151.63] has joined #scheme 17:01:23 -!- phao [~phao@189.107.146.89] has quit [Quit: Leaving] 17:26:24 -!- kanru1 [~kanru@61-228-157-40.dynamic.hinet.net] has quit [Ping timeout: 250 seconds] 17:27:01 -!- femtooo [~femto@95-89-249-94-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 17:27:01 -!- femtoo [~femto@95-89-249-94-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 17:31:47 -!- MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has quit [Ping timeout: 240 seconds] 17:32:17 -!- zevarito_ [~zevarito@r186-48-215-13.dialup.adsl.anteldata.net.uy] has quit [Remote host closed the connection] 17:34:31 phao [~phao@189.107.146.89] has joined #scheme 17:40:06 -!- dfkjjkfd [~paulh@145.120.22.20] has quit [Quit: Lost terminal] 18:04:07 -!- pantsd_home [~pantsd_ho@174-31-213-241.tukw.qwest.net] has quit [Ping timeout: 255 seconds] 18:10:35 can IY define a new number data type in racket? 18:10:43 so that + * etc work on it 18:11:48 j-invariant: are you still looking for infix expressions in scheme? 18:12:13 yes 18:12:34 ok. because (+ 3 1) works fine in racket :) 18:13:46 -!- rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has quit [Remote host closed the connection] 18:14:39 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 18:15:47 -!- jewel [~jewel@196-210-134-54.dynamic.isadsl.co.za] has quit [Ping timeout: 240 seconds] 18:23:40 -!- Gmind [~Welcome@113.190.178.118] has quit [Read error: Connection reset by peer] 18:27:16 -!- erider [~chatzilla@pool-108-3-149-46.bltmmd.fios.verizon.net] has quit [Changing host] 18:27:16 erider [~chatzilla@unaffiliated/erider] has joined #scheme 18:41:07 j-invariant You probably would need to create a macro that redefines + 18:41:15 r2q2: oh no :( 18:41:24 j-invariant or do something to the reader 18:42:23 j-invariant you could do this instead http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-18.html#%_sec_2.5 18:43:09 -!- DrDuck [~duck@216.186.151.63] has quit [Ping timeout: 240 seconds] 18:43:25 okay I will try that out 18:43:27 thanks 18:44:14 j-invariant: Look at exercise 2.58 18:49:56 -!- gravicappa [~gravicapp@ppp91-78-229-246.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 18:55:12 -!- j-invariant [~aaaa@unaffiliated/j-invariant] has quit [Quit: leaving] 19:06:09 -!- r2q2 [~r2q2@c-24-7-212-58.hsd1.il.comcast.net] has quit [Read error: Connection reset by peer] 19:06:48 Azuvix [~Azuvix@71-215-25-216.bois.qwest.net] has joined #scheme 19:10:47 -!- masm [~masm@bl15-70-211.dsl.telepac.pt] has quit [Quit: Leaving.] 19:13:17 -!- Nisstyre65 [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 264 seconds] 19:19:24 -!- Azuvix [~Azuvix@71-215-25-216.bois.qwest.net] has quit [Quit: Leaving] 19:22:14 nuts, I'd have told j-invariant that it's not as hard as he thinks 19:22:51 I use a PLaneT package called "math" that indeed redefines +, -, /, *, and ^ (for modular arithmetic). It's not too messy. 19:24:24 Nisstyre65 [~nisstyre@infocalypse-net.info] has joined #scheme 19:24:33 rudybot: later tell r2q2: You don't need a macro to redefine `+'. 19:24:33 minion: memo for r2q2:: eli told me to tell you: You don't need a macro to redefine `+'. 19:24:43 rudybot: slap minion 19:24:44 eli: No, slap the author of the patch! 19:27:13 So, here's an interesting question: how do you capture the original binding of + so you can redefine the top-level +? Something like (define + (let ((orig-+ +)) (lambda ...))? 19:27:55 cky: In bad implementations, you obviously do a (define + (let ((old+ +)) (lambda ...))) 19:28:17 In Racket, you (define my+ ...) (provide (rename-out [my+ +])) 19:28:39 Or (require (rename-in racket-base [+ r:+])) (define + ...) 19:28:50 Fancy pants. :-) 19:29:17 Really one of the most fundamental aspect of a module system... 19:30:08 *nods* 19:32:12 fradgers- [~fradgers-@5e0b815c.bb.sky.com] has joined #scheme 19:34:46 _danb_ [~user@124-149-166-62.dyn.iinet.net.au] has joined #scheme 19:45:16 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 19:50:05 masm [~masm@bl15-70-211.dsl.telepac.pt] has joined #scheme 20:01:31 <_danb_> so are there at least 3 titles in the "schemer" range? 20:01:47 <_danb_> little schemer, seasoned schemer and reasoned schemer? 20:03:59 The Reasoned Schemer is only loosely connected with the other two. 20:04:25 Whereas, The Little Schemer and The Seasoned Schemer are two parts of a while. 20:04:26 *whole 20:04:39 _danb_, The Little and Seasoned Schemer are the most closely related; the series also includes the Reasoned Schemer, The Little MLer, and A Little Java, A Few Patterns. 20:05:04 The last two, of course, having less relevance to Schemers. :) 20:05:18 <_danb_> thank you both 20:07:00 The Reasoned Schemer is actually about mini-Kanren, a logic programming language, but it is implemented in Scheme -- so you can write mini-Kanren at a Scheme REPL. 20:08:07 <_danb_> I found the standard blurb that retailers put on the Little Scheme a little confusing -- like it includes the Seasoned Schemer; clearly though, that's not the case 20:08:36 Heh. Whoops. :) 20:17:53 schmir [~schmir@p54A91192.dip0.t-ipconnect.de] has joined #scheme 20:22:19 DrDuck [~duck@adsl-81-55-129.hsv.bellsouth.net] has joined #scheme 20:31:29 -!- schmir [~schmir@p54A91192.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 20:36:38 mg4001 [~mg4001@cpe-76-93-28-217.socal.res.rr.com] has joined #scheme 20:37:54 schmir [~schmir@p54A91A53.dip0.t-ipconnect.de] has joined #scheme 20:44:22 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 20:45:44 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Ping timeout: 260 seconds] 20:50:43 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 20:54:26 Azuvix [~Azuvix@71-215-25-216.bois.qwest.net] has joined #scheme 20:54:49 -!- masm [~masm@bl15-70-211.dsl.telepac.pt] has quit [Ping timeout: 276 seconds] 20:55:39 -!- tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has quit [Ping timeout: 246 seconds] 20:59:28 masm [~masm@bl15-70-211.dsl.telepac.pt] has joined #scheme 21:01:00 -!- Azuvix [~Azuvix@71-215-25-216.bois.qwest.net] has quit [Quit: Leaving] 21:01:58 devslashnull [~james@dyn-183.greentreefrog.net.au] has joined #scheme 21:04:19 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 21:04:35 -!- schmir [~schmir@p54A91A53.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 21:08:11 -!- corruptmemory [~jim@ool-18bbd5b2.static.optonline.net] has quit [Ping timeout: 240 seconds] 21:21:36 -!- nmg [~nickga@host81-131-156-38.range81-131.btcentralplus.com] has quit [Quit: Leaving] 21:31:48 Azuvix [~Azuvix@71-215-25-216.bois.qwest.net] has joined #scheme 21:33:33 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 260 seconds] 21:34:02 tali713 [~user@c-71-195-45-159.hsd1.mn.comcast.net] has joined #scheme 21:35:18 -!- DrDuck [~duck@adsl-81-55-129.hsv.bellsouth.net] has quit [Ping timeout: 260 seconds] 21:36:48 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Ping timeout: 240 seconds] 21:43:54 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 21:44:09 -!- pygospa [~pygospa@kiel-5f768bdf.pool.mediaWays.net] has quit [Disconnected by services] 21:44:18 pygospa [~pygospa@kiel-4dbed31f.pool.mediaWays.net] has joined #scheme 21:54:46 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 22:05:25 -!- masm [~masm@bl15-70-211.dsl.telepac.pt] has quit [Quit: Leaving.] 22:25:02 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Remote host closed the connection] 22:25:28 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 23:01:51 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Remote host closed the connection] 23:04:13 accel [~accel_@unaffiliated/accel] has joined #scheme 23:04:28 is there a good tutorial on implementing haskel's typing system in scheme ? 23:06:24 -!- bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:06:42 DrDuck [~duck@adsl-81-55-129.hsv.bellsouth.net] has joined #scheme 23:12:06 accel -- do you mean implementing it for a Haskell compiler, or typechecking Scheme itself as if it were Haskell? 23:14:00 I mean writing type checked scheme code 23:14:04 like a DSL in scheme 23:14:08 that has haskell like type checking 23:14:30 but then again, after you have Haskell's type system ... you pretty much have a Haskell compiler 23:16:30 accel: There's Typed Racket. Don't know how similar that is to Haskell's type system. 23:16:30 You'll also need Haskell datatypes and laziness... in any event, the only type system I know of written for Scheme programs is Typed Scheme (not Typed Racket), and that takes a lot of complex engineering. If you just want to try out Haskell-like programs with s-expressions, I suggest writing an s-expression-syntax Haskell interpreter rather than trying to turn Scheme into Haskell. 23:16:50 Where I said "not Typed Racket" I meant "now Typed Racket". 23:16:55 :-) 23:17:19 carleastlund: good thing you're not a lawyer 23:17:39 accel: I presume you mean I'm "now" a lawyer 23:18:22 Anyway, the Typed Racket type system is very different from Haskell's. But its method of implementing typechecking for Racket could be used for any other type system, in principle. 23:18:25 LOL 23:18:45 noted; thanks 23:22:55 -!- accel [~accel_@unaffiliated/accel] has quit [Quit: leaving] 23:25:52 Caleb-- [thedude@109.67.18.143] has joined #scheme 23:44:48 accel [~accel_@unaffiliated/accel] has joined #scheme