Re: [racket-users] Possible bug in SEwPR, Exercise 15.1
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 worst. Robby On Wed, Jun 1, 2016 at 5:07 PM, wrote: > 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 used that find a nasty, nasty bug I introduced while > (mistakenly) copying the `subst' meta-function from the book. I was able to > go through 3 chapters before finding out that I wrote `X_3' in place of a > `X_2'. > > That was a hard one, it drove me crazy for an hour :) > > And, of course, DrRacket was indispensable! > > Best. > > -- > 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 it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] slideshow for non-technical presentations
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 One thing that's not portable is the fonts that you use. You will probably have to install the same fonts or ensure that you only use fonts that are available on both machines. Alternatively, you can export the slideshow to PDF if you don't have any fancy animations/interactivity that won't be preserved well in PDF. Cheers, Asumu -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] slideshow for non-technical presentations
> 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 subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Possible bug in SEwPR, Exercise 15.1
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 used that find a nasty, nasty bug I introduced while (mistakenly) copying the `subst' meta-function from the book. I was able to go through 3 chapters before finding out that I wrote `X_3' in place of a `X_2'. That was a hard one, it drove me crazy for an hour :) And, of course, DrRacket was indispensable! Best. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] slideshow for non-technical presentations
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 LyX/LaTeX/Beamer, but the obvious ’problem’ is that all such presentations practically look the same…another option would be to learn/use ConTeXt, but at the moment I do not have really need for another high-quality typesetting markup, so would like to take advantage of Racket. 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 (XP was the last version used here), iow. is it safe to prepare it on Linux and ’execute’ under Linux by putting the whole environment on USB stick? Sincerely, Gour -- As the embodied soul continuously passes, in this body, from boyhood to youth to old age, the soul similarly passes into another body at death. A sober person is not bewildered by such a change. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Possible bug in SEwPR, Exercise 15.1
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: 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 message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Requiring a module from a meta-language?
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 racket '(a b c) To behave roughly as if they were written like this: #lang racket (require quote-bad/quote-bad) '(a b c) Is there any way to do this from a meta-language? If it's not possible to add the bindings, I actually need slightly less than that, because the bindings don't need to be available. All I need is for it to do the equivalent of #lang quote-bad racket (require (only-in quote-bad/quote-bad)) ; doesn't actually import any bindings '(a b c) In other words, I need to be able to declare a dependency on `quote-bad/quote-bad`. Without that dependency, I get an error like this: .../quote-bad/reader.rkt:36:46: require: namespace mismatch; reference to a module that is not available reference phase: 0 referenced module: ".../quote-bad/quote-bad.rkt" referenced phase level: 0 in: quote -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Possible bug in SEwPR, Exercise 15.1
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 message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] SIGPLAN Programming Languages Mentoring Workshop @ ICFP
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 mentoring workshop at ICFP. The goal of this workshop is to introduce senior undergraduate and early graduate students to research topics in functional programming as well as provide career mentoring advice. We have recruited leaders from the functional programming community to provide overviews of current research topics and give students valuable advice about how to thrive in graduate school, search for a job, and cultivate habits and skills that will help them in research careers. This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make the ICFP conference more accessible to newcomers and we hope participants will stay through the entire conference. Through the generous donation of our sponsors, we are able to provide travel scholarships to fund student participation. These travel scholarships will cover reasonable travel expenses (airfare and hotel) for attendance at both the workshop and the main three days of the ICFP conference. The workshop is open to all. Students with alternative sources of funding for their travel and registration fees are welcome. In particular, many student attendance programs provide full or partial travel funding for students to attend ICFP 2016, including the ACM Student Research Competition. More information about student attendance programs at ICFP is available: http://conf.researchr.org/home/icfp-2016 Application for Travel Support: The travel funding application is available from the PLMW webpage. The deadline for full consideration of funding is July 1st, 2016. Selected participants will be notified by July 15th. Organizers: Amal Ahmed, Northeastern University Robby Findler, Northwestern University Atsushi Igarashi, Kyoto University -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] 2nd CfP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering)
**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, CWI, Netherlands Program co-chairs: Dániel Varro, Budapest University of Technology and Economics, Hungary Emilie Balland, Sensational AG, Switzerland http://conf.researchr.org/track/sle-2016/sle-2016-papers http://www.sleconf.org/2016/ Follow us on twitter: https://twitter.com/sleconf Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term "software language" is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). ### Important Dates Fri 17 Jun 2016 - Abstract Submission Fri 24 Jun 2016 - Paper Submission Fri 26 Aug 2016 - Notification Fri 2 Sep 2016 - Artifact submission Fri 16 Sep 2016 - Artifact notification Fri 16 Sep 2016 - Camera ready deadline Mon 31 Oct 09:00 - Tue 1 Nov 18:00 2016 Conference ### Topics of Interest SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in principled engineering approaches and techniques in the following areas: * Language Design and Implementation * Approaches and methodologies for language design * Static semantics (e.g., design rules, well-formedness constraints) * Techniques for behavioral / executable semantics * Generative approaches (incl. code synthesis, compilation) * Meta-languages, meta-tools, language workbenches * Language Validation * Verification and formal methods for languages * Testing techniques for languages * Simulation techniques for languages * Language Integration * Coordination between of heterogeneous languages and tools * Mappings between languages (incl. transformation languages) * Traceability between languages * Deployment of languages to different platforms * Language Maintenance * Software language reuse * Language evolution * Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools * User studies evaluating usability * Performance benchmarks * Industrial applications ### Types of Submissions * **Research papers**: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages excluding bibliography (in ACM SIGPLAN conference style (http://www.sigplan.org/Resources/Author/)). * **Tool papers**: Because of SLE’s interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages in SIGPLAN proceedings style (see above), with 1 optional additional page for bibliographic references, and a demonstration outline including screenshots of up to 4 pages. Tool demonstrations must have the keywords "Tool Demo" or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 4-page demonstration outline will be used by the program committee only for evaluating the submission. ### Artifact evaluation Authors of accepted papers at SLE 2016 are encouraged to submit their experiment results used for underpinning research statements to an artifact evaluation process carried out in early September 2016. This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully receive a seal of approval printed on the first page of the paper in the proceedings. Authors of papers with accepted artifacts are encouraged to make these materials publicly available upon publication of the proceedings, by including them as "source materials" in the ACM Digital Library. ### Publications All submitte
Re: [racket-users] Possible bug in SEwPR, Exercise 15.1
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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Possible bug in SEwPR, Exercise 15.1
> 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 in ISWIM as presented in the previous > chapters. I could extend the language to support it, of course, but I > think this does not contribute to the goal of the exercise. Instead, > I think it should use `iszero'. > > Summing up the previous two points, the code looks like: > >((Y (λ tri (λ x > (((iszero x) > (λ y 0)) > (λ y (+ x (tri (- x 1 > 3) You’re absolutely correct. Surprisingly, this part of the book is actually constructed in such a way that when ‘make’ is run, it runs almost every fragment of code in the source to make sure it’s working Redex code. I fail to understand why this isn’t done here, but I can’t say until we investigate the source. Thanks for the report. We will post this on our errata page. What name should we use to acknowledge you? — Matthias > > - > > Let me take the opportunity to thank the authors for the book, PLT Redex > and Racket. The more I learn, the more I appreciate the effort you put > into them. > > Best. > > -- > 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 it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Possible bug in SEwPR, Exercise 15.1
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 language to support it, of course, but I think this does not contribute to the goal of the exercise. Instead, I think it should use `iszero'. Summing up the previous two points, the code looks like: ((Y (λ tri (λ x (((iszero x) (λ y 0)) (λ y (+ x (tri (- x 1 3) - Let me take the opportunity to thank the authors for the book, PLT Redex and Racket. The more I learn, the more I appreciate the effort you put into them. Best. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.