2014-09-15T19:56:55Z ccl-logbot joined #scheme
2014-09-15T19:56:55Z 
2014-09-15T19:56:55Z names: ccl-logbot BossKonaSegwaY slmult0 developernotes alexei_ civodul peterhil ilammy Gyps mutley89 yacks jeapostr1phe dsp sheilong oldskirt DKordic sstrickl daviid araujo kobain bit` bjz leppie lrs_ Riastradh jlongster iterrogo joast stamourv langmartin taylanub oleo vanila davexunit carc tobik DGASAU emma MouldyOldBones dmiles_afk stepnem girrig FracV gnomon Neet_ superjudge___ sad0ur sigjuice omefire1 Kruppe xian cataska pjb c74d samth Kryo felipe Okasu
2014-09-15T19:56:55Z names: eMBee dca twem2_ es_ ft pygospa duncanm aoh finnrobi certainty gf3 mrowe_away copec niklasl lusory eagleflo Guest25224 kbtr evhan byte48 cjh`_ tsuyoshi zbigniew renopt ecraven z0d blz37 haroldwu ski pyro- ineiros_ jrslepak GGMethos SirDayBat ozzloy LeoNerd Nshag cross defanor sethalves dpk corecode_ joneshf Saeren_ Blkt asumu abbe Razz clog choas akkad mornfall juanfra Soft tessier_ Natch petercommand fgudin weinholt frkout_ DerGuteMoritz ohama dan64
2014-09-15T19:56:55Z names: cmatei tstc turbofail hjolt akp jkraemer C-Keen cdidd diginet dytrivedi_ nisstyre _tca gabot arbscht cky pchrist acarrico fadein githogori_ kwmiebach_____ ByronJohnson alezost gluegadget Khisanth jcloud yosafbridge averell ivan\ fizzie mark_weaver poucet _snits_ edw offby1 sung_ ivanshmakov anannie amoe_ necronian Kabaka ijp teiresias effy_ antoszka aksatac___ micro ELLIOTTCABLE rudybot greghendershott aap_ zacts joneshf-laptop arbn balkamos leo2007
2014-09-15T19:56:55Z names: SHODAN Intensity mario-goulart karswell shardz tadni acieroid` rotty_ ctindall ggherdov__ pjdelport _5kg_ nitrix utkarsh kilimanj1ro
2014-09-15T19:59:59Z vanila: "The compiler lives
2014-09-15T19:59:59Z vanila: and dies by its ability to handle lambdas well"
2014-09-15T20:00:03Z vanila: in my case, dies
2014-09-15T20:03:22Z vanila: so I gues it really is about lambda right now
2014-09-15T20:08:32Z lrs_ quit (Ping timeout: 245 seconds)
2014-09-15T20:09:51Z leppie quit (Ping timeout: 258 seconds)
2014-09-15T20:12:07Z hiroakip joined #scheme
2014-09-15T20:12:39Z stamourv: vanila, turbofail: I think Kranz's thesis or more relevant than Kelsey's papers for what you're interested in.
2014-09-15T20:13:04Z stamourv: Appel also has interesting papers on the topic, but in the context of SML/NJ.
2014-09-15T20:13:07Z BossKonaSegwaY quit (Ping timeout: 245 seconds)
2014-09-15T20:13:29Z vanila: http://repository.readscheme.org/ftp/papers/orbit-thesis.pdf thanks ill read it
2014-09-15T20:13:36Z stamourv: vanila: Re not wanting to desugar `let` to `lambda`: Have a look at ANF.
2014-09-15T20:14:07Z leppie joined #scheme
2014-09-15T20:14:08Z stamourv: Has a lot of the advantages of CPS and incorporates, as part of the transformation itself, a lot of things that a CPS compiler needs to do post CPS.
2014-09-15T20:14:38Z stamourv: vanila: http://www.ccs.neu.edu/racket/pubs/pldi93-fsdf.ps.gz
2014-09-15T20:14:43Z vanila: what are those things? I've heard it removed "administrative redexes" is it just eta reduction?
2014-09-15T20:14:52Z vanila: thanks
2014-09-15T20:15:49Z stamourv: No, it's more than just that.
2014-09-15T20:16:01Z stamourv: I recommend the paper. It's an interesting read.
2014-09-15T20:16:10Z vanila: ok!
2014-09-15T20:17:30Z Riastradh: It really doesn't matter whether you use CPS or ANF as an intermediate representation; as an IR, any differences are cosmetic.
2014-09-15T20:21:40Z Riastradh: The crux of that paper, if it is the one I think it is, is that it makes a difference whether you merge all possible continuations of a procedure together or not.  Can do either one with CPS or ANF -- the choice of IR doesn't actually affect that decision.
2014-09-15T20:22:54Z slmult0 quit (Ping timeout: 246 seconds)
2014-09-15T20:24:48Z Nizumzen joined #scheme
2014-09-15T20:26:55Z BossKonaSegwaY joined #scheme
2014-09-15T20:30:10Z ARM9 joined #scheme
2014-09-15T20:34:37Z pnpuff joined #scheme
2014-09-15T20:36:51Z Riastradh quit (Ping timeout: 264 seconds)
2014-09-15T20:39:28Z oleo quit (Ping timeout: 272 seconds)
2014-09-15T20:41:38Z Fare joined #scheme
2014-09-15T20:42:05Z oleo joined #scheme
2014-09-15T20:46:16Z jeapostr1phe quit (Ping timeout: 258 seconds)
2014-09-15T20:47:21Z theseb joined #scheme
2014-09-15T20:47:47Z theseb: is there a way to always rewrite a macro with quasiquotes and commas to NOT have any of those?
2014-09-15T20:48:03Z samth: theseb: yes, you can just use `cons`
2014-09-15T20:48:05Z theseb: yes..i know you could replace quasiquote with (list ...)
2014-09-15T20:48:19Z theseb: and then eval everything w/o a comma...is there no cleaner way?
2014-09-15T20:48:30Z samth: theseb: you don't need eval
2014-09-15T20:48:31Z vanila: theseb, If you use SYNTAX-RULES you can probably write macros without any quasiquotes or commas
2014-09-15T20:48:54Z theseb: vanila: ug...you found me out...i'm using my own macro system that is more primitive
2014-09-15T20:49:01Z samth: theseb: `(a ,(+ 1 2) b) is the same as (list 'a (+ 1 2) 'b)
2014-09-15T20:49:12Z ijp: theseb: then step one is to write a quasiquote macro
2014-09-15T20:49:20Z ijp: it's not that hard
2014-09-15T20:49:22Z vanila: you have created your own macro system?
2014-09-15T20:49:24Z theseb: vanila: maybe i'm unique but quasiquotes and commas are REALLY hard to keep track of in my head
2014-09-15T20:49:27Z theseb: vanila: yes
2014-09-15T20:49:37Z vanila: that's really cool - is it hygenic?
2014-09-15T20:49:50Z ijp: neither is macros-by-example, for that matter, I did it recently for elisp
2014-09-15T20:49:56Z theseb: vanila: hell no
2014-09-15T20:50:01Z vanila: theseb, by the way did you what I finished writing todaY?
2014-09-15T20:50:07Z theseb: vanila: hygiene would be much harder
2014-09-15T20:50:12Z vanila: http://lpaste.net/111080
2014-09-15T20:50:34Z vanila: theseb, it's shouldn't be too hard - but it is really important for scheme
2014-09-15T20:50:37Z theseb: ijp: a macro for `...brilliant..never thought of that
2014-09-15T20:51:24Z theseb: vanila: wow..so you really took my C in scheme idea and ran with it
2014-09-15T20:51:33Z vanila: yeah :)
2014-09-15T20:51:49Z vanila: This is just printing it out as valid C code, no C interpreter
2014-09-15T20:52:03Z vanila: but having the language defined etc. is a step
2014-09-15T20:52:22Z theseb: does anyone else's brain feel like exploding when you try to follow the expansion of a macro usage in your head?
2014-09-15T20:52:42Z vanila: I tend to think of what the macro means rather than what it expands to, if possible
2014-09-15T20:53:21Z theseb: vanila: that's great but when writing/debugging you need to get all details right
2014-09-15T20:53:30Z vanila: yeah - then it's hard :)
2014-09-15T20:54:04Z vanila: when you use , is it like  `(if ,(caddadr exp) ,(cdcdrrara exp) ..)?
2014-09-15T20:54:16Z vanila: if so just naming your terms with a LET before the ` would help lots
2014-09-15T20:55:37Z Fare quit (Ping timeout: 245 seconds)
2014-09-15T20:57:29Z hiyosi joined #scheme
2014-09-15T20:58:16Z davexunit quit (Quit: Later)
2014-09-15T21:01:03Z stamourv: theseb: That's why you should use the macro stepper.
2014-09-15T21:01:17Z stamourv: theseb: Also, you should read: http://www.greghendershott.com/fear-of-macros/
2014-09-15T21:05:56Z guampa joined #scheme
2014-09-15T21:06:22Z klltkr joined #scheme
2014-09-15T21:07:39Z davexunit joined #scheme
2014-09-15T21:08:59Z langmartin quit (Ping timeout: 272 seconds)
2014-09-15T21:09:09Z ehaliewicz joined #scheme
2014-09-15T21:12:34Z peterhil quit (Ping timeout: 250 seconds)
2014-09-15T21:15:59Z jeapostrophe joined #scheme
2014-09-15T21:20:26Z peterhil joined #scheme
2014-09-15T21:25:16Z CaptainRant joined #scheme
2014-09-15T21:25:43Z romcgb joined #scheme
2014-09-15T21:26:02Z jeapostrophe quit (Ping timeout: 245 seconds)
2014-09-15T21:26:55Z Nizumzen quit (Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/)
2014-09-15T21:28:28Z sheilong quit (Quit: Konversation terminated!)
2014-09-15T21:31:48Z developernotes quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2014-09-15T21:31:51Z ARM9 quit (Ping timeout: 246 seconds)
2014-09-15T21:33:21Z tcsc joined #scheme
2014-09-15T21:33:23Z developernotes joined #scheme
2014-09-15T21:51:40Z pnpuff quit (Quit: Lost terminal)
2014-09-15T21:52:53Z ARM9 joined #scheme
2014-09-15T21:59:10Z civodul quit (Quit: ERC Version 5.3 (IRC client for Emacs))
2014-09-15T22:00:34Z ilammy quit (Ping timeout: 246 seconds)
2014-09-15T22:00:35Z developernotes quit (Quit: Textual IRC Client: www.textualapp.com)
2014-09-15T22:02:27Z theseb quit (Quit: Leaving)
2014-09-15T22:02:28Z iterrogo quit (Quit: ERC Version 5.3 (IRC client for Emacs))
2014-09-15T22:02:54Z davexunit quit (Quit: Later)
2014-09-15T22:03:48Z wingo joined #scheme
2014-09-15T22:06:24Z kobain quit (Quit: KVIrc 4.1.3 Equilibrium http://www.kvirc.net/)
2014-09-15T22:09:15Z ARM9 quit (Quit: Leaving)
2014-09-15T22:11:36Z wingo quit (Ping timeout: 260 seconds)
2014-09-15T22:12:46Z sstrickl quit (Quit: sstrickl)
2014-09-15T22:19:18Z dmiles_afk quit (Read error: Connection reset by peer)
2014-09-15T22:20:07Z dmiles_afk joined #scheme
2014-09-15T22:23:54Z mrowe_away is now known as mrowe
2014-09-15T22:24:20Z Riastradh joined #scheme
2014-09-15T22:27:24Z arthurgleckler joined #scheme
2014-09-15T22:32:34Z arthurgleckler left #scheme
2014-09-15T22:34:22Z alexei_ quit (Ping timeout: 258 seconds)
2014-09-15T22:39:44Z tessier_ is now known as tessier
2014-09-15T22:41:27Z hiroakip quit (Ping timeout: 272 seconds)
2014-09-15T22:44:54Z kobain joined #scheme
2014-09-15T22:49:00Z Sgeo joined #scheme
2014-09-15T22:59:13Z sstrickl joined #scheme
2014-09-15T23:06:29Z Fare joined #scheme
2014-09-15T23:06:51Z Riastradh quit (Ping timeout: 264 seconds)
2014-09-15T23:09:27Z CaptainRant quit (Quit: WeeChat 0.4.3)
2014-09-15T23:20:01Z Riastradh joined #scheme
2014-09-15T23:25:15Z girrig quit (Ping timeout: 246 seconds)
2014-09-15T23:28:08Z araujo quit (Ping timeout: 260 seconds)
2014-09-15T23:30:21Z girrig joined #scheme
2014-09-15T23:35:51Z atomx joined #scheme
2014-09-15T23:55:06Z ccl-logbot joined #scheme
2014-09-15T23:55:06Z 
2014-09-15T23:55:06Z names: ccl-logbot karswell BossKonaSegwaY Kryo felipe Okasu eMBee dca twem2_ es_ ft pygospa duncanm aoh finnrobi certainty gf3 mrowe copec niklasl lusory eagleflo Guest25224 kbtr evhan byte48 cjh`_ tsuyoshi zbigniew renopt ecraven z0d blz37 haroldwu ski pyro- ineiros_ jrslepak GGMethos SirDayBat ozzloy LeoNerd Nshag cross defanor sethalves dpk corecode_ joneshf Saeren_ Blkt asumu abbe Razz clog choas akkad mornfall juanfra Soft tessier Natch petercommand
2014-09-15T23:55:06Z names: fgudin weinholt frkout_ DerGuteMoritz ohama dan64 cmatei tstc turbofail hjolt akp jkraemer C-Keen cdidd diginet dytrivedi_ nisstyre _tca gabot arbscht cky pchrist acarrico fadein githogori_ kwmiebach_____ ByronJohnson alezost gluegadget Khisanth jcloud yosafbridge averell ivan\ fizzie mark_weaver poucet _snits_ edw offby1 sung_ ivanshmakov anannie amoe_ necronian Kabaka ijp teiresias effy_ antoszka aksatac___ micro ELLIOTTCABLE rudybot greghendershott
2014-09-15T23:55:06Z names: aap_ zacts joneshf-laptop arbn balkamos leo2007 SHODAN Intensity mario-goulart shardz tadni acieroid` rotty_ ctindall ggherdov__ pjdelport _5kg_ nitrix utkarsh kilimanj1ro samth c74d pjb cataska xian Kruppe sigjuice sad0ur superjudge___ Neet_ gnomon FracV stepnem MouldyOldBones emma DGASAU tobik vanila taylanub joast bjz daviid DKordic yacks mutley89 Gyps leppie oleo hiyosi guampa peterhil romcgb dmiles_afk kobain Sgeo sstrickl Fare Riastradh girrig
2014-09-15T23:55:06Z names: carc_00 stamourv` omefire2 dsp__ bit`1 atomx_ tcsc_ jlongste`
2014-09-15T23:58:18Z jeapostrophe joined #scheme
2014-09-15T23:58:18Z jeapostrophe quit (Changing host)
2014-09-15T23:58:18Z jeapostrophe joined #scheme