RE: [racket-users] Re: local variables arehyperlinkedinscribble/manual

2020-06-14 Thread Jos Koot
Well, thanks to both Ryan C and Ryan K.
Sorry for my confusion.
Best wishes, Jos Koot

From: Ryan Kramer
Sent: 14 June 2020 02:20
To: Racket Users
Subject: Re: [racket-users] Re: local variables arehyperlinkedinscribble/manual

That was actually Ryan Culpepper. Sorry for the noise, but I can't implicitly 
take credit for something that I didn't do.

By the way, thank you Ryan C for both of those techniques. I've already happily 
used `make-element-id-transformer`

On Saturday, June 13, 2020 at 4:07:06 PM UTC-5, jos.koot wrote:
defaul...@gmail.com gave me a clear and usable answer.
His email follows below.
Best wishes, Jos
 
 
 
>From Ryan Kramer
You can also use make-element-id-transformer, like this:
 
    (define-syntax SET
      (make-element-id-transformer
       (lambda _ #'(racketvarfont "set"
 
Then Scribble will automatically replace SET within rendered code with the 
element expression above.
 
Another trick is to break the for-label binding by introducing a local binding 
that shadows it. For example, if you write

    (let ([set #f])
      (racket set))
 
then the occurrence of `set` within the `racket` form isn't linked to `set` 
from racket/set. This trick relies on being able to put a let around the 
occurrences you don't want linked but not the ones that you do want linked, so 
it might not work in all cases.
 
Ryan
 
 
 
-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/f7162464-1d7b-4113-8883-03f022f0cf5fo%40googlegroups.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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/5ee6a08b.1c69fb81.acbb0.1753%40mx.google.com.


Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Bruce O'Neel

Hi,  
  
And you can find the file that generates that at  
  
share/pkgs/drracket/drracket/private  


  
called honu-logo.rkt  
  
The file deciding it is a special day is in the same place   
  
 drracket-normal.rkt  


  
  
cheers  
  
bruce  

> On 2020‐06‐11, DrRacket, at initialization, presented to me, instead of the 
> Racket logo, a sea turtle’s outline in thick, gray strokes, filled with the 
> deep blue and deep red of the Racket logo, against a background of plaid of 
> light blue and medium blue. The image is quite appealing, even beautiful. 
> What is the association between 2020‐06‐11 and sea turtles?  
>   
>  --  
>  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.  
>  To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/2020-06-14_DrRacket_Easter_egg_2020-06-11_sea_turtle%40r-6.org.
  

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/1592160337-5834d36d9295a3c8049b48ec094aa0a9%40pckswarms.ch.


Re: [racket-users] Re: Andy Wingo's fold

2020-06-14 Thread Catonano
Il giorno ven 12 giu 2020 alle ore 10:57 Philip McGrath <
phi...@philipmcgrath.com> ha scritto:

> On Fri, Jun 12, 2020 at 2:46 AM Catonano  wrote:
>
>> the original paper Andy Wingo refers to uses Haskell to express this
>> operator and I can't read Haskell and I'm not willing to learn
>>
>
> I'm confused about what you mean: in the version of "Applications of Fold
> to XML Transformation", on Andy Wingo's blog
> , all of the
> examples are in Scheme. Here is a version of the example from the paper
> that will run in Racket—most of the code is just copied and pasted from the
> figures
>


I'm referring to a paper titled: "A better XML parser through functional
programming"

by Oleg Kiselyov

I'd like to understand how exactly I'm supposed to arrange the "up" and
"down" functions that I should pass as arguments to Andy's operator

What are these operators supposed to take as arguments ?

And I was trying to start from the original paper Andy cites, because
that's where the original operator is defined (in haskell)

I know Andy's examples work

But I don't understand why they do and what I should do to apply that thing
to different use cases

i was trying to understand, not just running the examples

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAJ98PDwHPDrk8OcmKnS8FMwRiPfSY4VMFXZtMR5_gcxV6QKkWg%40mail.gmail.com.


Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread 'Richard Cleis' via Racket Users
I work out here for a company that doesn’t provide that holiday, but at least I 
developed in DrRacket the whole day.  :)

RAC

> On Jun 14, 2020, at 7:48 AM, Robby Findler  wrote:
> 
> 
> I don't know that there is a direct connection except that some of us (maybe 
> just me?) love the place that celebrates a holiday there.
> 
> https://en.wikipedia.org/wiki/King_Kamehameha_I_Day
> 
> In addition to the honu, the pattern in the background is palaka.
> 
> Robby
> 
> 
>> On Sun, Jun 14, 2020 at 12:41 PM Etan Wexler  wrote:
>> On 2020‐06‐11, DrRacket, at initialization, presented to me, instead of the 
>> Racket logo, a sea turtle’s outline in thick, gray strokes, filled with the 
>> deep blue and deep red of the Racket logo, against a background of plaid of 
>> light blue and medium blue. The image is quite appealing, even beautiful. 
>> What is the association between 2020‐06‐11 and sea turtles?
>> 
>> -- 
>> 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.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/2020-06-14_DrRacket_Easter_egg_2020-06-11_sea_turtle%40r-6.org.
> 
> -- 
> 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.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/CAL3TdONyWMckYzsHCY8rY%2B5RW2UC_r63PwjVqx-xczUUOFgrRA%40mail.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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/792A203A-47E6-47DD-B2C4-3BEB50E3F09D%40icloud.com.


Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Robby Findler
I don't know that there is a direct connection except that some of us
(maybe just me?) love the place that celebrates a holiday there.

https://en.wikipedia.org/wiki/King_Kamehameha_I_Day

In addition to the honu, the pattern in the background is palaka.

Robby


On Sun, Jun 14, 2020 at 12:41 PM Etan Wexler 
wrote:

> On 2020‐06‐11, DrRacket, at initialization, presented to me, instead of
> the Racket logo, a sea turtle’s outline in thick, gray strokes, filled with
> the deep blue and deep red of the Racket logo, against a background of
> plaid of light blue and medium blue. The image is quite appealing, even
> beautiful. What is the association between 2020‐06‐11 and sea turtles?
>
> --
> 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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/2020-06-14_DrRacket_Easter_egg_2020-06-11_sea_turtle%40r-6.org
> .
>

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdONyWMckYzsHCY8rY%2B5RW2UC_r63PwjVqx-xczUUOFgrRA%40mail.gmail.com.


turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Etan Wexler

On 2020‐06‐11, DrRacket, at initialization, presented to me, instead of the 
Racket logo, a sea turtle’s outline in thick, gray strokes, filled with the 
deep blue and deep red of the Racket logo, against a background of plaid of 
light blue and medium blue. The image is quite appealing, even beautiful. What 
is the association between 2020‐06‐11 and sea turtles?

--
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/2020-06-14_DrRacket_Easter_egg_2020-06-11_sea_turtle%40r-6.org.