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

[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 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

[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 

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

[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 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

[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 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

[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 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

[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: 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?

[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 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

[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 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

['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 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)

[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, 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 

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

[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 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

[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 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

[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 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.