Re: [racket-users] Heresy 0.3.0 released

[John Berry]

Indeed they are! I had forgotten about the delay and thought perhaps it had 
changed. Thanks!

Sent from my iPhone

> On 30 Apr 2018, at 16.33, Matthew Flatt  wrote:
> 
> At Mon, 30 Apr 2018 14:14:02 +0300, Annaia Berry wrote:
>> Version 0.3.0 of the Heresy programming language has been released,
> 
> That's great!
> 
>> * Note: There seems to be an issue with the package server as it's not
>> rebuilding the hosted docs for me at the moment despite running the recheck
>> twice. I don't know if I'm doing something wrong, someone needs to kick the
>> server, or it's just going to take a moment.
> 
> The docs rebuild once every 24 hours, and the build just completed. Are
> the current docs now as expected?
> 
> -- 
> 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] Racket PPA updated for v6.10

[John Berry]

Disregard that, it seems to have reappeared now.

On Mon, Aug 28, 2017 at 11:29 AM, John Berry <jarc...@gmail.com> wrote:

> Thanks so much for the update.
>
> One thing I did notice though is the app icon seems to be broken for me.
>
> On Fri, Aug 25, 2017 at 11:23 AM, Asumu Takikawa <as...@simplyrobot.org>
> wrote:
>
>> Hi all,
>>
>> The Ubuntu PPA has been updated for v6.10. Sorry for the delay this time
>> around
>> and also for skipping a release! The PPA is available here:
>>
>>   https://launchpad.net/~plt/+archive/ubuntu/racket
>>
>> for trusty, xenial, and zesty.
>>
>> The packaging repo (which tracks Debian's upstream repo) is also up on
>> Github
>> now, so if you find any problems please submit them as issues there:
>>
>>   https://github.com/takikawa/racket-ppa
>>
>> 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.
>>
>
>

-- 
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] Racket PPA updated for v6.10

[John Berry]

Thanks so much for the update.

One thing I did notice though is the app icon seems to be broken for me.

On Fri, Aug 25, 2017 at 11:23 AM, Asumu Takikawa 
wrote:

> Hi all,
>
> The Ubuntu PPA has been updated for v6.10. Sorry for the delay this time
> around
> and also for skipping a release! The PPA is available here:
>
>   https://launchpad.net/~plt/+archive/ubuntu/racket
>
> for trusty, xenial, and zesty.
>
> The packaging repo (which tracks Debian's upstream repo) is also up on
> Github
> now, so if you find any problems please submit them as issues there:
>
>   https://github.com/takikawa/racket-ppa
>
> 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.
>

-- 
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] Ubuntu PPA behind versions?

[John Berry]

I just installed Ubuntu on my work laptop, and predictably the official
Racket package is several versions behind, but I was surprised to find the
official PPA is as well?

The PPA seems to be only on 6.8.1, and 6.10 just came out. The PPA page on
Launchpad says there hasn't been a new build submitted in 29 weeks.

I don't have any strict need for 6.10 or anything, but it's nice to have
the option, so I thought I'd post a heads up in case it just slipped
through the cracks.

Thanks,
John Berry
jarc...@gmail.com

-- 
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] European Racketeers and conferences

[John Berry]

I live in Finland, and will be giving a talk about Heresy, the language I
built in Racket, next weekend at ClojuTRE in Tampere FI.

It would be interesting to see a Racketeer meetup of some kind. As much as
I love the UK though, I'm not sure I would be keen on a meetup there with
the way things are going. Too many horror stories about tech people and
conference goers getting harassed or deported by UK border security.
Apparently they think we're going to sneak in and steal all the good tech
jobs. ;)

On Wed, Aug 23, 2017 at 3:45 PM, Matthew Eric Bassett 
wrote:

> So there's at least 7 of us around UK/Germany/France/Netherlands that
> are active on the mailing list.  What would we need at a European
> Rackeeteers Meeting to ensure that *at least* all 7 of us would travel
> to it ?
>
> @Matthias - it'd be fantastic if we could arrange something in London or
> Oxford.  I'm just getting back from Salone this week and wasn't planning
> on making to ICFP, but I'll see if I can help organize something.  Can
> you sure your itinerary ?
>
>
> On 08/23/2017 11:13 AM, 'Paulo Matos' via Racket Users wrote:
> >
> >
> > On 22/08/17 16:20, Daniel Brunner wrote:
> >> Hey Matthew,
> >>
> >> I live in Germany and use Racket for teaching students, teaching our
> >> apprentices (dual education system in Germany) and use it "in
> >> production" for some tasks.
> >>
> >
> > In Germany as well - Nuernberg to be precise. I learned Racket back in
> > version 53 - that was something around 1999. On and off for a few years
> > and now I am using in commercially in my own company.
> >
> > Happy to join a European Racket gathering.
> >
> > Paulo Matos
> >
> >> Best wishes,
> >> Daniel
> >>
> >> Am 22.08.2017 um 15:15 schrieb Matthew Eric Bassett:
> >>> Hi all,
> >>>
> >>> Gutted I can't make it to RacketCon this year.  Really glad to see it
> >>> growing.
> >>>
> >>> Question for y'all - how many Racketeers are active on this side of the
> >>> Atlantic?  Enough for a specific get-together over here?  Or are there
> >>> already appropriate venues for that that I'm unaware of (I am already
> >>> familiar with the European lisp symposium)
> >>>
> >>> Best,
> >>>
> >>>
> >>
> >
>
>
> --
> Matthew Eric Bassett | http://mebassett.info
>
> --
> 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] Re: Boot To Racket

[John Berry]

I've had a wish recently to try and turn Heresy into something like this,
with an RPi booting straight to a Heresy shell+editor interface akin to old
8-bit computers, complete with some kind of custom framebuffer 80-column
display (as I have an RPi1 and Xorg is hella slow).
It could all still be Linux underneath, but probably just sandboxed and
with the env. booting straight to it.
Sadly I've not got round to really working on that part yet.

On Sun, Jul 9, 2017 at 6:55 AM, Eric Eide  wrote:

> William G Hatch  writes:
>
> > I would love to see a Racket unikernel [...]  But I recall some talk
> about
> > MirageOS (I think) where they said something about it taking something
> like 2
> > years to rewrite the IP/TCP stack in OCaml.
>
> I imagine it wouldn't be too hard to get Racket running atop a rump kernel
> or
> OSv --- but I haven't tried.  It could be interesting, though, perhaps as a
> step toward something even more interesting.
>
> Surely you are right that writing everything in Racket would be a big job!
>
> Eric.
>
> --
> 
> ---
> Eric Eide   . University of Utah School of
> Computing
> http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801)
> 581-5843 FAX
>
> --
> 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] RacketCon Code of Conduct

[John Berry]

>
> The problem with the longer text, such as the Strange Loop one[1], is that
> it's manifestly _very_ hard to come up with a text that doesn't radiate
> censoriousness; and however much this isn't the literal implication of the
> text, it does implant the notion that the reader or the community has
> behaviour problems.  That text does not radiate 'you are welcome' -- it
> tells me, 'we have so many gits roaming the corridors of our conference
> that we have to police them'.  In its phrasing, a text like this appears to
> presume that the reader is an undersocialised thug, who needs to be given
> an extensive but non-exhaustive list of things to remember not to do.  One
> has to carefully suppress one's initial reaction to it, and smile sweetly.


Bluntly, if someone finds the admonition to refrain from harassment
"censorious", then it is likely they are exactly the sort of person that a
Code of Conduct is in fact *designed* to make feel unwelcome.

This is a feature, not a design flaw.



On Mon, Jun 19, 2017 at 9:13 PM, Stephen De Gabrielle <
spdegabrie...@gmail.com> wrote:

> I would suggest that it is more important to get a COC on the RacketCon
> website than it is to argue over the wording. I would suggest that every
> day that passes without a CoC on the website adds to the risk that possible
> racketcon participants might decide not to go... to the detriment of the
> Racket community.
>
> I really love how welcoming this community is - even more than I love the
> ideas you put into or expressed with Racket. It is your greatest strength.
>
> Kind regards
>
> Stephen
> On Mon, 19 Jun 2017 at 18:55, Norman Gray <nor...@astro.gla.ac.uk> wrote:
>
>>
>> Greetings.
>>
>> On 19 Jun 2017, at 16:18, John Berry wrote:
>>
>> > Nothing about a document saying "hey, don't be an ass" implies that
>> > the
>> > reader themselves, or the community, are asses. Only that the
>> > community
>> > values not being an ass, and those who might wish to join that
>> > community
>> > and not be an ass are welcome, and that those who have had to deal
>> > with too
>> > many asses will hopefully find fewer here.
>>
>> If the document literally said just 'hey, don't be an ass', or 'don't be
>> a git', or 'c'mon, behave', then that would be fine.  Perhaps it could
>> have a footnote saying 'Surely you can tell when you're being a git --
>> if you for some reason have difficulty with this, then see [link]'.  A
>> text like that presumes that the reader is grown-up, but indicates, for
>> the avoidance of doubt, that adult civility is indeed expected in the
>> meeting.
>>
>> The problem with the longer text, such as the Strange Loop one[1], is
>> that it's manifestly _very_ hard to come up with a text that doesn't
>> radiate censoriousness; and however much this isn't the literal
>> implication of the text, it does implant the notion that the reader or
>> the community has behaviour problems.  That text does not radiate 'you
>> are welcome' -- it tells me, 'we have so many gits roaming the corridors
>> of our conference that we have to police them'.  In its phrasing, a text
>> like this appears to presume that the reader is an undersocialised thug,
>> who needs to be given an extensive but non-exhaustive list of things to
>> remember not to do.  One has to carefully suppress one's initial
>> reaction to it, and smile sweetly.
>>
>> Also, any text like that almost inevitably acquires a legalistic air,
>> and just screams out for disputation, and the reddit thread...
>>
>> > For the unconvinced, I really appreciated Graydon Hoare's perspective
>> > on
>> > why he implemented the Rust CoC.
>> > https://www.reddit.com/r/rust/comments/6ewjt5/question_
>> > about_rusts_odd_code_of_conduct/didrult/
>> > https://www.reddit.com/r/rust/comments/6ewjt5/question_
>> > about_rusts_odd_code_of_conduct/dif1xvb/
>>
>> ...seems to corroborate this.
>>
>> To clarify, this remark is about communication and presentation.  The
>> underlying wish to encourage civility is entirely laudable, and the
>> experience of being on the wrong end of careless or careful incivility
>> would be entirely unpleasant and deplorable, and a conference should aim
>> to discourage such incivility by any available effective mechanisms.
>>
>> If, after all, the only effective mechanism is a rule-book such as is
>> being discussed, then can I commend the FreeBSD code [2] which I think
>> communicates the underlying goals very well, even though it's primarily
>> intended

Re: [racket-users] RacketCon Code of Conduct

[John Berry]

I will always 100% support the adoption of a CoC drafted by people with
experience in dealing with discrimination, harassment, and toxic behaviour.
It is impossible to understate just how much gets swept under the rug
without one, and increasingly, the lack of one itself tends to attract
toxic people who use terms like "virtue signalling" unironically.

The GFW/Strange Loop CoC is well worn and considered and would be as good
as any we'd be liable to come up with ourselves.

Nothing about a document saying "hey, don't be an ass" implies that the
reader themselves, or the community, are asses. Only that the community
values not being an ass, and those who might wish to join that community
and not be an ass are welcome, and that those who have had to deal with too
many asses will hopefully find fewer here.

For the unconvinced, I really appreciated Graydon Hoare's perspective on
why he implemented the Rust CoC.
https://www.reddit.com/r/rust/comments/6ewjt5/question_
about_rusts_odd_code_of_conduct/didrult/
https://www.reddit.com/r/rust/comments/6ewjt5/question_
about_rusts_odd_code_of_conduct/dif1xvb/

On Fri, Jun 16, 2017 at 9:44 PM, Leif Andersen 
wrote:

> RacketCon 2017 should have a code of conduct, as pointed out by Claire on
> twitter [1], and I absolutely agree. It doesn't have to be anything fancy,
> and can be a fairly standard one.
>
> Although we are not co-located with Strange Loop this year, they have a
> fairly sensible one that we could use [2], which is adapted from the one
> from the geek feminism wiki [3].
>
> Does anyone have any opinions on what we use? I would also be happy to add
> it to the RacketCon web page.
>
> [1]: https://twitter.com/chckadee/status/874345544977707008
> [2]: https://www.thestrangeloop.com/policies.html
> [3]: https://geekfeminism.org/about/code-of-conduct/
>
> ~Leif Andersen
>
> --
> 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] Heresy v0.2.0

[John Berry]

It is my pleasure to announce that version 0.2.0 of the Heresy language has
been released.

The new version brings a new implementation of do notation, better
inheritance for things, and other under the hood fun stuff.

Check out the changelog here: https://github.com/jarcane/heresy/pull/47

I've asked the package server to refresh, so it should soon be available
with raco pkg install heresy.

-- 
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] for/vector with accumulator?

[John Berry]

For Heresy, I got to thinking about all the different special for loops in
Racket, and how I could generalize them into a single form, and what I
realized is that all you need for that is to just build in an accumulator.

Every for loop in Heresy contains the inbuilt variable "cry", which is a
value that is passed forward to each subsequent iteration of the loop, and
can be assigned to explicitly with the "carry" keyword. When the loop
reaches its final iteration, it returns the value of "cry".

If I need to carry more than one value forward at once then, I just use an
object as "cry".

Heresy doesn't have vectors yet (though I could call out of course to
Racket and use its functions of course), but here's a list-based solution:

(def fn init-vec (n)
  ((for (x in (range 0 to n) with (thing (acc '())
 (vec '(
 (carry (cry `(,(join 'zzz (cry 'acc))
   ,(append (cry 'vec) (list (cry 'acc)))
   'vec))

(init-vec 3)
;=> '(() (zzz) (zzz zzz) (zzz zzz zzz))

It's wordier, obviously, but the trade-off is you can do some incredibly
powerful stuff with it. Earlier in the year I was working on
implementations for stuff like Clojure's threading macro (just iterating
over a list of functions and applying them to the start value stored in
cry), to a full-blown implementation of Haskell-like do notation (by using
an object in cry as a name-space and doing some macro magic to bind the
names for local use).

It also means having one for loop, that can be customized and written with
as much or as little logic as you need, instead of a whole library full of
them.

On Fri, Mar 11, 2016 at 11:21 PM, Matthias Felleisen 
wrote:

>
> Three observations:
>
> 1. The counter-argument to the RnRS quotation would be that
> for/vector/accum is that it expands into a plain old use of the same
> feature, because "it's just a macro."
>
> 2. People designed all kinds of 'loops' in the 70s to find just the right
> one: for/while/repeat/do and all of them with various
> pre/post/exit/continue/break options so that the invariant-wp logicians
> would be happy (and there is something to be said for this). Few of these
> loops survived because designers didn't want them in their languages.
>
> If you solve the same problem functionally, you often get away with the
> combination of two orthogonal features: tail-calls and accumulators. With
> that, cond and non-recursion in the proper clause.
>
> 3. Pyret's solution is to separate the 'for' from the 'vector' part and I
> think one could also separate the 'accum' part from those two. Then the
> whole thing may read like this:
>
>  (for vector (accum [t '()] ...)
>
> And to create a similar list structure, you'd write
>
>  (for list (accum [t '()] ...)
>
> And then you might ask whether (a) this affects performance and (b) such
> for loops can be abstracted over the second aspect, as in,
>
>   (lambda (build) (for build (accum [t '()]) ...)
>
>
> -- Matthias
>
> p.s. I like the elegance of your solution.
>
>
>
>
>
>
>
> On Mar 11, 2016, at 1:02 PM, 'John Clements' via Racket Users <
> racket-users@googlegroups.com> wrote:
>
> > Often, mutation provides “obvious” ways to do things that may be more
> difficult to do without it. Here’s one that I came across today: for/vector
> with an accumulator.
> >
> > In this case, I want to create an array of length ’n’ where each cell
> contains a list of n copies of the symbol ‘zzz. That is,
> >
> > (check-equal? (init-vec 3)
> >  ‘#(() (zzz) (zzz zzz) (zzz zzz zzz)))
> >
> > … and yes, the vector is of length n+1. No worries.
> >
> > The ‘natural’ way to do this is with a helper function that just
> recomputes a list of ’n’ copies of ‘zzz’. This does actually turn a linear
> algorithm into an n^2 one, though.
> >
> > There’s also a super-easy solution using for/vector with mutation:
> >
> > #lang racket
> >
> > (require rackunit)
> >
> > ;; construct a vector of lists of 'zzzs
> > (define (init-vec n)
> >  (define t '())
> >  (for/vector ([i (in-range (add1 n))])
> >(begin0 t
> >(set! t (cons 'zzz t)
> >
> > (check-equal? (init-vec 3)
> >  '#(() (zzz) (zzz zzz) (zzz zzz zzz)))
> >
> >
> > … but the “right” solution sounds like a for/vector with an accumulator,
> so that I could write:
> >
> > ;; construct a vector of lists of 'zzzs
> > (define (init-vec n)
> >  (for/vector/accum ([t '()]) ([i (in-range (add1 n))])
> >(values t (cons 'zzz t
> >
> > Honestly, this feels a lot like one of Will Clinger’s “piling feature
> upon feature” situations, where the problem is that list comprehensions
> aren’t as flexible as they could be.
> >
> > Aaand, naturally, apologies in advance if this feature already exists;
> about half the time when I ask for a feature in Racket, someone added it
> last year and I just didn’t notice :).
> >
> > Back to your regularly scheduled program,
> >
> > John Clements
> >
> > P.S.: using for/fold to produce a 

Re: [racket-users] Try-Raket is not working

[John Berry]

After two nights of monkeying I managed to restart the server, but the
iptables got nuked and have to be rebuilt in order for it to start
forwarding the Racket server's ports correctly (and prevent still more
malicious action than was already possible.)

Frankly speaking, I don't have time for that this week. Employment,
classes, and other obligations are sapping my time of late, and my sysadmin
skills are basically non-existent. Every time something happens with it,
it's a day's work just learning how to actually do what minimum I need to
do to keep the server working.

So it is at this time that I would like to open the call for anyone who
would like to volunteer time and server and take over hosting. I'm
perfectly happy to hand over the domain, or just start forwarding it to a
new host. I'd previously suggested even just pointing toward's Mr.
Arguello's fork, as at this point it's much more well developed, but I
think he intended another direction for it.

On Mon, Feb 1, 2016 at 11:46 PM, John Berry <jarc...@gmail.com> wrote:

> Argh. Someone's really hammered it this time. I'm looking into it, but it
> might take a bit to figure out what the hell's even been done to it.
>
>
> On Fri, Jan 29, 2016 at 2:25 PM, Gustavo Massaccesi <gust...@oma.org.ar>
> wrote:
>
>> From: http://try-racket.org/
>>
>> > Exception
>> > The application raised an exception with the message:
>> > resolver: undefined;
>> >  cannot reference an identifier before its definition
>> >   in module: "/usr/share/racket/collects/planet/private/resolver.rkt"
>>
>>
>> I don't know the email of the owner, but I guess s/he is in the list.
>>
>> Gustavo
>>
>> PS: Is it possible to add a link to http://try-racket.org/ and
>> http://pasterack.org/ in the webpage of Racket?
>>
>> --
>> 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] Try-Raket is not working

[John Berry]

Argh. Someone's really hammered it this time. I'm looking into it, but it
might take a bit to figure out what the hell's even been done to it.


On Fri, Jan 29, 2016 at 2:25 PM, Gustavo Massaccesi 
wrote:

> From: http://try-racket.org/
>
> > Exception
> > The application raised an exception with the message:
> > resolver: undefined;
> >  cannot reference an identifier before its definition
> >   in module: "/usr/share/racket/collects/planet/private/resolver.rkt"
>
>
> I don't know the email of the owner, but I guess s/he is in the list.
>
> Gustavo
>
> PS: Is it possible to add a link to http://try-racket.org/ and
> http://pasterack.org/ in the webpage of Racket?
>
> --
> 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] Try Racket is ABORTING.

[John Berry]

Kicked the server. Seems to work now.

On Fri, Dec 18, 2015 at 3:57 PM, Taro Annual 
wrote:

> over
>
> --
> 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] Help with a bewildering bug.

[John Berry]

I've been working on a new feature for Heresy and I've run into a bug I
cannot even begin to track down the actual cause of.

There's a Github issue here: https://github.com/jarcane/heresy/issues/37

I've tried a few naive solutions, but to be honest I really don't even know
where to start because even the errors I get aren't even very informative.
Run locally in the monadish module the code returns an error with line
number and highlights the for loop in :>, run in another file I've had
errors flag on both #%app and make-thing in the mentioned modules in the
Github issue.

Any pointers would be rather appreciated, I suspect there's some simple
abuse of scope or hygiene I'm missing but I'm having trouble following the
layers and layers of abstraction involved here.

-- 
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] Racket v6.3

[John Berry]

Under OS X Yosemite I get some odd behavior with the menus. My view menu
has missing items, and the windows menu does nothing at all.  See picture
below:

​

On Tue, Nov 24, 2015 at 6:34 AM, Ryan Culpepper  wrote:

> Racket version 6.3 is now available from
>
> http://racket-lang.org/
>
> - Racket's macro expander uses a new representation of binding called
>   "set of scopes". The new binding model provides a simpler
>   explanation of how macros preserve binding, especially across module
>   boundaries and in hygiene-bending expansions. The new expander is
>   mostly compatible with existing Racket macros, but there are some
>   incompatibilities. For the formally inclined, a research paper on
>   this macro system will appear at POPL next year:
>
>   http://www.cs.utah.edu/plt/scope-sets/
>
> - Racket's GUI library now uses Gtk+ 3 when available, instead of Gtk+
>   2. Set the `PLT_GTK2` environment variable to select Gtk+ 2.
>
> - Added a new Redex tutorial based on a week-long workshop in SLC.
>
> - Better syntax error checking for Redex patterns that do not use
>   holes correctly.
>
> - The blueboxes are more agressive about finding names to look up in
>   the docs, meaning they are useful much more often.
>
> - Submodules are now fully supported in Typed Racket. Previously, some
>   uses of submodules would produce internal errors, making it hard to
>   `module+ test` and `module+ main` effectively in Typed Racket. The
>   switch to the set-of-scopes expander fixed these problems, and
>   submodules are now happily at home in Typed Racket.
>
> - The `typed/racket/unsafe` library provides import and export forms
>   that circumvent contract generation. This improves performance for
>   typed-untyped interaction at the cost of safety and debuggability.
>
> - Typed Racket provides experimental support for units (from
>   `racket/unit`).
>
> - The experimental `define-new-subtype` form allows overlaying finer
>   distinctions between otherwise identical types, similar to Haskell's
>   `newtype`.
>
> - The `Promise` type constructor changes in a backwards-incompatible
>   way to exclude promises created with `promise/name`.
>
> - The `unstable-*` packages are out of the main distribution. Most of
>   their contents have been either merged with established Racket
>   libraries or spun off as their own packages. This change is
>   backwards compatible for packages that properly list their
>   dependencies. Full details:
>   http://blog.racket-lang.org/2015/10/retiring-unstable.html
>
> - edu: `big-bang` supports a display-mode clause so that world
>   programs can take over the entire screen.
>
> Feedback welcome
>
> --
> 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.