Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread Robby Findler
Woah, cool! Since the book was written, we have added support for binding specifications to Redex. It's documentation is still in the process of being improved, but you might have some interest in checking it out (it is the part after #:binding-forms). Bugs in substitution functions are the

Re: [racket-users] slideshow for non-technical presentations

2016-06-01 Thread Asumu Takikawa
On 2016-06-01 21:30:59 +0200, Saša Janiška wrote: > It would be also nice to use it for e.g. my wife’s presentations > (medical field), but wonder how much are Slideshow presentations > portable considering that I’m on Linux and at my wife’s working place > they use some newer version of Windows

Re: [racket-users] slideshow for non-technical presentations

2016-06-01 Thread Matthias Felleisen
> On Jun 1, 2016, at 3:30 PM, Saša Janiška wrote: > > is it safe to prepare it on Linux and ’execute’ under Linux > by putting the whole environment on USB stick? Yes. (I have no experience w/ non-technical presentations.) -- You received this message because you are

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread lfacchi2
Thanks for adding the entry to the errata. It was fun finding the bug in my version: I forgot to /unfreeze/ (call) the function that represents the branches of the `if' statement. I used DrRacket's visual tools—the stepper, the tracer and the debugger—to figure the issue. Not only that, but I

[racket-users] slideshow for non-technical presentations

2016-06-01 Thread Saša Janiška
Hello, I’m (slowly) working through Realm of Racket being interested to use it for several programming projects. However, I’m also enthusiastic to embrac Slideshow library and wonder if someone can share his/her experiences about using it for non-technical presentations? In the past I was using

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread Robby Findler
Thank you. I've pushed a fix. (The example upthread wasn't quite right; maybe fun to try to find the error by working thru the exercise? :) Robby On Wed, Jun 1, 2016 at 10:20 AM, Matthias Felleisen wrote: > > The fix will shortly appear here:

[racket-users] Requiring a module from a meta-language?

2016-06-01 Thread Alex Knauth
Hello, I have a meta-language called `quote-bad`, which takes a language as an argument like at-exp does. It uses `make-meta-reader` from `syntax/module-reader`, just like at-exp. So, `#lang quote-bad racket` would be a language based on racket. I want programs like this: #lang quote-bad

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread Matthias Felleisen
The fix will shortly appear here: http://redex.racket-lang.org/errata.html > On Jun 1, 2016, at 8:29 AM, lfacc...@jhu.edu wrote: > > Thanks for the blazing fast response and for clarifying it for me. Also, > thanks for acknowledgment; my name is Leandro Facchinetti. -- You received this

[racket-users] SIGPLAN Programming Languages Mentoring Workshop @ ICFP

2016-06-01 Thread 'Lindsey Kuper' via users-redirect
SIGPLAN Programming Languages Mentoring Workshop @ ICFP Nara, Japan (co-located with ICFP 2016) Sunday, September 18th, 2016 http://conf.researchr.org/track/icfp-2016/PLMW-ICFP-2016/ We are pleased to invite students interested in functional programming research to the programming languages

[racket-users] 2nd CfP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering)

2016-06-01 Thread Andrei Chis
**Call for Papers** 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016) Oct 31-Nov 1, 2016, Amsterdam, Netherlands (Co-located with SPLASH 2016) General chair: Tijs van der Storm,

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread lfacchi2
Thanks for the blazing fast response and for clarifying it for me. Also, thanks for acknowledgment; my name is Leandro Facchinetti. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread Matthias Felleisen
> On Jun 1, 2016, at 7:22 AM, lfacc...@jhu.edu wrote: > > Hi, all, and authors of SEwPR in particular. > > I believe Exercise 15.1 has the following problems: > > 1. The function passed to the Y combinator should have an parameter > before `x' called `tri'. > > 2. `ifz' is not a construct

[racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread lfacchi2
Hi, all, and authors of SEwPR in particular. I believe Exercise 15.1 has the following problems: 1. The function passed to the Y combinator should have an parameter before `x' called `tri'. 2. `ifz' is not a construct in ISWIM as presented in the previous chapters. I could extend the