[racket-users] CfP: Scheme '24

2024-04-29 Thread Kristopher Micinski
e

through SIGPLAN (https://www.sigplan.org/Resources/Author/).

Lightning talks can be submitted as either a text file or a PDF file.

* Workshop Organization

Organizing Committee:

Kristopher Micinski (Syracuse University, United States)

Youyou Cong (Tokyo Institute of Technology, Japan)

Program Committee:

Julia Belyakova (Purdue University, United States)

Kimball Germane (Brigham Young University, United States)

Yuki Nishida (Kyoto University, Japan)

Gabriel Scherer (Inria Saclay, France)

Philipp Schuster (University of Tübingen, Germany)

Taro Sekiyama (National Institute of Informatice, Japan)

Michael Sperber (Active Group GmbH, Germany)

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/127ba0e3-74ad-42df-89ba-7117731768e2n%40googlegroups.com.


[racket-users] IFL 2024: First call for papers

2024-04-09 Thread Mart Lubbers
===
IFL 2024

36rd Symposium on Implementation and Application of Functional Languages


venue: Radboud University Nijmegen, The Netherlands
August 26 - 28 2024

   https://ifl24.cs.ru.nl

===

### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2024 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.


### Industrial track and topics of interest

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques


### Peer-review process

Following IFL tradition, IFL 2024 will use a post-symposium review
process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers
will be screened by the program chairs to make sure that they are within
the scope of IFL. The draft papers will be made available to all
participants at the symposium. Each draft paper is presented by one of
the authors at the symposium.

After the symposium, a formal review process will take place, conducted
by the program committee. Reviewing is single blind. There will be at
least 3 reviews per paper. The reviewers have 6 weeks to write their
reviews. For the camera-ready version the authors can make minor
revisions which are accepted without further reviewing.


### Important dates

Submission deadline of draft papers  August 4th, 2024
Notification of acceptance for presentation  August 6th, 2024
Early registration deadline  August 11th, 2024
Late registration deadline   August 21th, 2024
IFL symposiumAugust 26-28, 2024
Submission of papers for proceedings December 1st, 2024
Notification of acceptance   February 2nd, 2025
Camera-ready version March 2nd, 2025


### Submission details

All contributions must be written in English. Papers must use the ACM
two columns conference format, which can be found at:

http://www.acm.org/publications/proceedings-template


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.


### Organisation

PC Chairs:
Mart Lubbers Radboud University, The Netherlands

Local Chairs:
Peter Achten Radboud University, The Netherlands
Sven-Bodo Scholz, Radboud University, The Netherlands


### Program committee:

t.b.d.


### Venue

IFL 2024 will be held physically in Nijmegen, the Netherlands. See the
website for more information.

https://ifl24.cs.ru.nl (under construction)


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from
previous instances of IFL. We are grateful to prior organisers for their
work, which is reused here.

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CAGtcRvCAuQWFD%3DXiDHgDiSn%2BibgDqRpMO65FYO3LXLwY7qa40g%40mail.gmail.com.


Re: [racket-users] Smart contracts in Racket

2023-12-29 Thread Adam Golding
this exists now  Introducing Blockchain with Lisp: Implement and Extend 
Blockchains with the Racket Language | SpringerLink 
<https://link.springer.com/book/10.1007/978-1-4842-6969-5?fbclid=IwAR2Me_iFOPv7sq3lHbTmfIr5rW44L7XMIg5PPIVc_crPSXxbubxuTV5oE5g>

On Tuesday 20 April 2021 at 14:29:58 UTC-4 Adam Golding wrote:

> Thanks Stephen, perhaps you can help get the ball rolling again--I had 
> written to suggest that racketers may want to enter the moralis hackathon 
> as there are some points of convergence:
>
> - racket seeks to bridge multiple languages, moralis seeks to bridge 
> multiple blockchains with different smart contract languages
> - racket has a powerful contract system which will ultimately need to 
> interoperate with smart contracts 
> - racket is aimed at web applications as one use case and moralis is first 
> (I think) in what will be many CMS-type platforms for the new web3 
> paradigm--if racket does not have a web3 solution it will be left behind 
> and it is already not widely used for web servers--this is an 
> opportunity for the Racket community to front-run the web development 
> industry, get it?
>
> I am not an experienced racketer but I would be happy to help out.  I also 
> got Mr. Ivan to create an #off-topic in the moralis discord for 
> brainstorming that is not strictly development, by analogy to how freenode 
> has both #math and #not-math.  I also suggest the racket discord create a 
> channel specifically for decentralized systems of all kinds--torrents, 
> web3, crypto, voting systems, markets, etc.
>
> Cheers,
> Adam
>
>
>
> On Tue, 20 Apr 2021 at 10:47, Stephen De Gabrielle  
> wrote:
>
>> Dear all,  
>>
>> I write to apologise for my behaviour. 
>>
>> I inappropriately deleted a post and subsequent discussion from the 
>> Racket Discord. 
>>
>> I believe this community is for all kinds of developers making all kinds 
>> of programs with Racket, and I want everyone to feel welcome to participate 
>> in ways that suit them. 
>>
>> Kind regards
>>
>> Stephen
>>
>> On Tuesday, April 20, 2021 at 1:58:55 AM UTC+1 --- wrote:
>>
>>> I was just told this topic is off-topic on the racket discord--clearly 
>>> an injustice:
>>>
>>>
>>> -- 
>> 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...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/1e4ec15c-4c14-46bc-813f-0212360e6f9en%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/racket-users/1e4ec15c-4c14-46bc-813f-0212360e6f9en%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/899b5112-5bc7-4231-8fd9-3ed592004473n%40googlegroups.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-12 Thread Matthias Felleisen


We tried embedding Python into Racket nee PLT Scheme some 20 years ago, twice: 

Here is a paper on the second attempt: 

  From Python to PLT Scheme 
  https://www2.ccs.neu.edu/racket/pubs/#scheme2003-ms

Daniel Silva took the lead on this initiative. The surface language was (back 
then) covered. 
It’s Python runtime system that made it essentially impossible to interop with 
the (even 
then) many C libs. 

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/C4A7AF02-5A8B-4BB1-8864-67EC358471D6%40felleisen.org.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-12 Thread Jens Axel Søgaard
Den man. 9. okt. 2023 kl. 19.35 skrev Adam Golding :

> I am going to write a language called 'micronatrix' that is pythonic in
> its use of whitespace and even with python 2 type print statements but very
> minimal and pared down -- has similar ground been trodden?
>

There a #lang python implementation here:

https://github.com/pedropramos/PyonR/tree/master

A paper on it:

https://www.inesc-id.pt/ficheiros/publicacoes/10173.pdf

/Jens Axel

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CABefVgxnySZVEK5vAm-goZ3VJN69CG0gZe%2BVc0TiNVWst_%3DS2Q%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread Adam Golding
Thank god I don't have to use discord ;-)

On Tue, 10 Oct 2023 at 12:30, Adam Golding  wrote:

> OH
>
> On Tue, 10 Oct 2023 at 12:28, D. Ben Knoble  wrote:
>
>> Nor on Discourse: I use the mailing list mode.
>>
>> On Tue, Oct 10, 2023 at 12:14 PM Adam Golding 
>> wrote:
>> >
>> > ah well the practice of email lists does not depend on google... we
>> should presumbly be using matrix chat instead
>> >
>> > On Tue, 10 Oct 2023 at 12:12, Daniel Patterson  wrote:
>> >>
>> >> Unlike, e.g., Google?
>> >>
>> >> On Oct 10, 2023, at 12:11 PM, Adam Golding 
>> wrote:
>> >>
>> >> Yikes, how do we protest introducing a dependency on some corporation?
>> >>
>> >> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble 
>> wrote:
>> >>>
>> >>> You'll probably get more replies on Discourse. A short answer is to
>> mention Rhombus and to recommend looking at all the #langs on the package
>> server and in the docs.
>> >>>
>> >>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>> >>>>
>> >>>> I am going to write a language called 'micronatrix' that is pythonic
>> in its use of whitespace and even with python 2 type print statements but
>> very minimal and pared down -- has similar ground been trodden?
>> >>>> --
>> >>>> adamgolding.ca
>> >>>>
>> >>>> ps I have registered micronatrix.com
>> >>>
>> >>>
>> >>> --
>> >>> This group is deprecated and retained as an archive.
>> >>>
>> >>> Racket discussions have moved to the Racket Discourse at
>> https://racket.discourse.group/ .
>> >>>
>> >>> ---
>> >>> 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.
>> >>> ---
>> >>> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com
>> .
>> >>
>> >>
>> >> --
>> >> This group is deprecated and retained as an archive.
>> >>
>> >> Racket discussions have moved to the Racket Discourse at
>> https://racket.discourse.group/ .
>> >>
>> >> ---
>> >> 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.
>> >> ---
>> >> 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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com
>> .
>> >>
>> >>
>>
>>
>> --
>> D. Ben Knoble
>>
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALiGnDCFwmo6DfFgf3jRWJDxZbRAzpVkuJPd0A8mhcnBcOEwMA%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread Adam Golding
OH

On Tue, 10 Oct 2023 at 12:28, D. Ben Knoble  wrote:

> Nor on Discourse: I use the mailing list mode.
>
> On Tue, Oct 10, 2023 at 12:14 PM Adam Golding 
> wrote:
> >
> > ah well the practice of email lists does not depend on google... we
> should presumbly be using matrix chat instead
> >
> > On Tue, 10 Oct 2023 at 12:12, Daniel Patterson  wrote:
> >>
> >> Unlike, e.g., Google?
> >>
> >> On Oct 10, 2023, at 12:11 PM, Adam Golding 
> wrote:
> >>
> >> Yikes, how do we protest introducing a dependency on some corporation?
> >>
> >> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble 
> wrote:
> >>>
> >>> You'll probably get more replies on Discourse. A short answer is to
> mention Rhombus and to recommend looking at all the #langs on the package
> server and in the docs.
> >>>
> >>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
> >>>>
> >>>> I am going to write a language called 'micronatrix' that is pythonic
> in its use of whitespace and even with python 2 type print statements but
> very minimal and pared down -- has similar ground been trodden?
> >>>> --
> >>>> adamgolding.ca
> >>>>
> >>>> ps I have registered micronatrix.com
> >>>
> >>>
> >>> --
> >>> This group is deprecated and retained as an archive.
> >>>
> >>> Racket discussions have moved to the Racket Discourse at
> https://racket.discourse.group/ .
> >>>
> >>> ---
> >>> 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.
> >>> ---
> >>> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com
> .
> >>
> >>
> >> --
> >> This group is deprecated and retained as an archive.
> >>
> >> Racket discussions have moved to the Racket Discourse at
> https://racket.discourse.group/ .
> >>
> >> ---
> >> 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.
> >> ---
> >> 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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com
> .
> >>
> >>
>
>
> --
> D. Ben Knoble
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALiGnDCQv1G-JKdKUYdCF4ieOe62uGDCLogF7Ln8DuzSd7V3xw%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread D. Ben Knoble
Nor on Discourse: I use the mailing list mode.

On Tue, Oct 10, 2023 at 12:14 PM Adam Golding  wrote:
>
> ah well the practice of email lists does not depend on google... we should 
> presumbly be using matrix chat instead
>
> On Tue, 10 Oct 2023 at 12:12, Daniel Patterson  wrote:
>>
>> Unlike, e.g., Google?
>>
>> On Oct 10, 2023, at 12:11 PM, Adam Golding  wrote:
>>
>> Yikes, how do we protest introducing a dependency on some corporation?
>>
>> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble  wrote:
>>>
>>> You'll probably get more replies on Discourse. A short answer is to mention 
>>> Rhombus and to recommend looking at all the #langs on the package server 
>>> and in the docs.
>>>
>>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>>>>
>>>> I am going to write a language called 'micronatrix' that is pythonic in 
>>>> its use of whitespace and even with python 2 type print statements but 
>>>> very minimal and pared down -- has similar ground been trodden?
>>>> --
>>>> adamgolding.ca
>>>>
>>>> ps I have registered micronatrix.com
>>>
>>>
>>> --
>>> This group is deprecated and retained as an archive.
>>>
>>> Racket discussions have moved to the Racket Discourse at 
>>> https://racket.discourse.group/ .
>>>
>>> ---
>>> 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.
>>> ---
>>> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com.
>>
>>
>> --
>> This group is deprecated and retained as an archive.
>>
>> Racket discussions have moved to the Racket Discourse at 
>> https://racket.discourse.group/ .
>>
>> ---
>> 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.
>> ---
>> 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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com.
>>
>>


-- 
D. Ben Knoble

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALnO6CAEu8xT5rXuR0ZPv0ke66tXeQu3LAV%3D0ADCJrG8QzSVrw%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread J. Ryan Stinnett
In case there's confusion, we're talking about _Discourse_ here (the
open-source forum hosted at https://racket.discourse.group/), and not
_Discord_ (though there's also a Racket channel there).

- Ryan

On Tue, 10 Oct 2023 at 17:16, Adam Golding  wrote:
>
> that being said, it's about minimizing the number of corporations one depends 
> on, not reducing it to zero which is impossible
>
> On Tue, 10 Oct 2023 at 12:14, Adam Golding  wrote:
>>
>> ah well the practice of email lists does not depend on google... we should 
>> presumbly be using matrix chat instead
>>
>> On Tue, 10 Oct 2023 at 12:12, Daniel Patterson  wrote:
>>>
>>> Unlike, e.g., Google?
>>>
>>> On Oct 10, 2023, at 12:11 PM, Adam Golding  wrote:
>>>
>>> Yikes, how do we protest introducing a dependency on some corporation?
>>>
>>> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble  wrote:
>>>>
>>>> You'll probably get more replies on Discourse. A short answer is to 
>>>> mention Rhombus and to recommend looking at all the #langs on the package 
>>>> server and in the docs.
>>>>
>>>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>>>>>
>>>>> I am going to write a language called 'micronatrix' that is pythonic in 
>>>>> its use of whitespace and even with python 2 type print statements but 
>>>>> very minimal and pared down -- has similar ground been trodden?
>>>>> --
>>>>> adamgolding.ca
>>>>>
>>>>> ps I have registered micronatrix.com
>>>>
>>>>
>>>> --
>>>> This group is deprecated and retained as an archive.
>>>>
>>>> Racket discussions have moved to the Racket Discourse at 
>>>> https://racket.discourse.group/ .
>>>>
>>>> ---
>>>> 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.
>>>> ---
>>>> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com.
>>>
>>>
>>> --
>>> This group is deprecated and retained as an archive.
>>>
>>> Racket discussions have moved to the Racket Discourse at 
>>> https://racket.discourse.group/ .
>>>
>>> ---
>>> 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.
>>> ---
>>> 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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com.
>>>
>>>
> --
> This group is deprecated and retained as an archive.
>
> Racket discussions have moved to the Racket Discourse at 
> https://racket.discourse.group/ .
>
> ---
> 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.
> ---
> 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/CALiGnDDDUfq2ODMLuf%2B1WgvQycZV1SN%2BC31JN2J0FWVsh0%3DchQ%40mail.gmail.com.

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CA%2B952Wp4uc682CDhyn--rbhcrdr_%2BS6Bj8GLPO9108_-MX5%2Bzg%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread Adam Golding
that being said, it's about minimizing the number of corporations one
depends on, not reducing it to zero which is impossible

On Tue, 10 Oct 2023 at 12:14, Adam Golding  wrote:

> ah well the practice of email lists does not depend on google... we should
> presumbly be using matrix chat instead
>
> On Tue, 10 Oct 2023 at 12:12, Daniel Patterson  wrote:
>
>> Unlike, e.g., Google?
>>
>> On Oct 10, 2023, at 12:11 PM, Adam Golding  wrote:
>>
>> Yikes, how do we protest introducing a dependency on some corporation?
>>
>> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble  wrote:
>>
>>> You'll probably get more replies on Discourse. A short answer is to
>>> mention Rhombus and to recommend looking at all the #langs on the package
>>> server and in the docs.
>>>
>>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>>>
>>>> I am going to write a language called 'micronatrix' that is pythonic in
>>>> its use of whitespace and even with python 2 type print statements but very
>>>> minimal and pared down -- has similar ground been trodden?
>>>> --
>>>> adamgolding.ca
>>>>
>>>> ps I have registered micronatrix.com
>>>>
>>>
>>> --
>>> This group is deprecated and retained as an archive.
>>>
>>> Racket discussions have moved to the Racket Discourse at
>>> https://racket.discourse.group/ .
>>>
>>> ---
>>> 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.
>>> ---
>>> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com
>>> <https://groups.google.com/d/msgid/racket-users/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com?utm_medium=email_source=footer>
>>> .
>>>
>>
>> --
>> This group is deprecated and retained as an archive.
>>
>> Racket discussions have moved to the Racket Discourse at
>> https://racket.discourse.group/ .
>>
>> ---
>> 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.
>> ---
>> 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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com
>> <https://groups.google.com/d/msgid/racket-users/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com?utm_medium=email_source=footer>
>> .
>>
>>
>>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALiGnDDDUfq2ODMLuf%2B1WgvQycZV1SN%2BC31JN2J0FWVsh0%3DchQ%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread Adam Golding
ah well the practice of email lists does not depend on google... we should
presumbly be using matrix chat instead

On Tue, 10 Oct 2023 at 12:12, Daniel Patterson  wrote:

> Unlike, e.g., Google?
>
> On Oct 10, 2023, at 12:11 PM, Adam Golding  wrote:
>
> Yikes, how do we protest introducing a dependency on some corporation?
>
> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble  wrote:
>
>> You'll probably get more replies on Discourse. A short answer is to
>> mention Rhombus and to recommend looking at all the #langs on the package
>> server and in the docs.
>>
>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>>
>>> I am going to write a language called 'micronatrix' that is pythonic in
>>> its use of whitespace and even with python 2 type print statements but very
>>> minimal and pared down -- has similar ground been trodden?
>>> --
>>> adamgolding.ca
>>>
>>> ps I have registered micronatrix.com
>>>
>>
>> --
>> This group is deprecated and retained as an archive.
>>
>> Racket discussions have moved to the Racket Discourse at
>> https://racket.discourse.group/ .
>>
>> ---
>> 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.
>> ---
>> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com
>> <https://groups.google.com/d/msgid/racket-users/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>
> --
> This group is deprecated and retained as an archive.
>
> Racket discussions have moved to the Racket Discourse at
> https://racket.discourse.group/ .
>
> ---
> 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.
> ---
> 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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com
> <https://groups.google.com/d/msgid/racket-users/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
>
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALiGnDDYJf7XQw9ZGRnSDjbgsucB-6EqXtrdkpG%3Dq1UM4LSu4g%40mail.gmail.com.


Re: [racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread Daniel Patterson
Unlike, e.g., Google? 

> On Oct 10, 2023, at 12:11 PM, Adam Golding  wrote:
> 
> Yikes, how do we protest introducing a dependency on some corporation?
> 
> On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble  <mailto:ben.kno...@gmail.com>> wrote:
>> You'll probably get more replies on Discourse. A short answer is to mention 
>> Rhombus and to recommend looking at all the #langs on the package server and 
>> in the docs.
>> 
>> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>>> I am going to write a language called 'micronatrix' that is pythonic in its 
>>> use of whitespace and even with python 2 type print statements but very 
>>> minimal and pared down -- has similar ground been trodden?
>>> --
>>> adamgolding.ca <http://adamgolding.ca/>
>>> 
>>> ps I have registered micronatrix.com <http://micronatrix.com/>
>> 
>> -- 
>> This group is deprecated and retained as an archive. 
>>  
>> Racket discussions have moved to the Racket Discourse at 
>> https://racket.discourse.group/ .
>>  
>> ---
>> 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 
>> <mailto:racket-users%2bunsubscr...@googlegroups.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 
>> <mailto:racket-users+unsubscr...@googlegroups.com>.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/racket-users/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com?utm_medium=email_source=footer>.
> 
> 
> -- 
> This group is deprecated and retained as an archive. 
>  
> Racket discussions have moved to the Racket Discourse at 
> https://racket.discourse.group/ .
>  
> ---
> 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.
> --- 
> 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 
> <mailto:racket-users+unsubscr...@googlegroups.com>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com
>  
> <https://groups.google.com/d/msgid/racket-users/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com?utm_medium=email_source=footer>.

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/6D1308B2-B925-4079-81E5-F73752C77358%40dbpmail.net.


Re: [racket-users] Re: How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread Adam Golding
Yikes, how do we protest introducing a dependency on some corporation?

On Tue, 10 Oct 2023 at 12:09, D. Ben Knoble  wrote:

> You'll probably get more replies on Discourse. A short answer is to
> mention Rhombus and to recommend looking at all the #langs on the package
> server and in the docs.
>
> On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:
>
>> I am going to write a language called 'micronatrix' that is pythonic in
>> its use of whitespace and even with python 2 type print statements but very
>> minimal and pared down -- has similar ground been trodden?
>> --
>> adamgolding.ca
>>
>> ps I have registered micronatrix.com
>>
> --
> This group is deprecated and retained as an archive.
>
> Racket discussions have moved to the Racket Discourse at
> https://racket.discourse.group/ .
>
> ---
> 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.
> ---
> 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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALiGnDBKj6fz6_Onw1-DVstUHSQPn8T-Qmeir3hnF6k8J_kGmA%40mail.gmail.com.


[racket-users] Re: How 'Pythonic' Can Racket Be Made?

2023-10-10 Thread D. Ben Knoble
You'll probably get more replies on Discourse. A short answer is to mention 
Rhombus and to recommend looking at all the #langs on the package server 
and in the docs.

On Monday, October 9, 2023 at 1:35:11 PM UTC-4 Adam Golding wrote:

> I am going to write a language called 'micronatrix' that is pythonic in 
> its use of whitespace and even with python 2 type print statements but very 
> minimal and pared down -- has similar ground been trodden?
> --
> adamgolding.ca
>
> ps I have registered micronatrix.com
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/ba2e2e23-c21b-43d0-9649-86a7fefa8d2bn%40googlegroups.com.


[racket-users] How 'Pythonic' Can Racket Be Made?

2023-10-09 Thread Adam Golding
I am going to write a language called 'micronatrix' that is pythonic in its
use of whitespace and even with python 2 type print statements but very
minimal and pared down -- has similar ground been trodden?
--
adamgolding.ca

ps I have registered micronatrix.com

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CALiGnDDv9_jqpOCbKeObKX0wW1_uyLNrNb_WxdWzS8TcyqC1qQ%40mail.gmail.com.


[racket-users] Calling into a Chez Scheme library -- imported symbol rewritten in vm-eval?

2023-08-27 Thread Andrew Wilcox
I have a Chez Scheme library "foo.ss":

(library (foo)
   (export bar)
   (import (rnrs))

   (define (bar) "hello"))


>From Chez Scheme:

$ chezscheme
Chez Scheme Version 9.5.4
Copyright 1984-2020 Cisco Systems, Inc.

> (eval '((lambda () (import (foo)) (bar
"hello"


A Racket program "call.rkt" which attempts to use the library:

#lang racket

(require ffi/unsafe/vm)

(vm-eval
 '((lambda () (import (foo)) (bar


$ racket call.rkt 
variable bar554 is not bound
  context...:
   body of "/home/andrew/prj/audit/compile/call.rkt"


What would be the right way to do this?

Thank you,

Andrew

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/40a8ebe9-f48f-47ed-9e2e-266aa02fa844n%40googlegroups.com.


[racket-users] The Racket Foreign Interface

2023-08-14 Thread Stephen De Gabrielle
# The Racket Foreign Interface

by Eli Barzilay

> The `ffi/unsafe` library enables the direct use of C-based APIs within 
Racket programs—without writing any new C code. From the Racket 
perspective, functions and data with a C-based API are foreign, hence the 
term foreign interface. Furthermore, since most APIs consist mostly of 
functions, the foreign interface is sometimes called a foreign function 
interface, abbreviated FFI.

Find out more at https://docs.racket-lang.org/foreign

Questions and discussion at the Racket community 
[Discourse](https://racket.discourse.group/invites/VxkBcXY7yL) or 
[Discord](https://discord.gg/6Zq8sH5)

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/1874e25b-4d7e-4433-9e1f-97b0ab632825n%40googlegroups.com.


[racket-users] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages

2023-07-31 Thread Pieter Koopman
Dear all,

on special request, the deadline for draft paper submissions is extended
until *August 7th*, 2023.

*Scope*

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2022 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Topics of interest to IFL include, but are not limited to:

* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* embedded domain specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications
*Submissions and peer-review*

Following IFL tradition, IFL 2023 will use a post-symposium review
process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers
will be screened by the program chair to make sure that they are
within the scope of IFL. The draft papers will be made available to
all participants at the symposium. Each draft paper is presented by
one of the authors at the symposium. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2023 website at https://ifl23.github.io/
<https://ifl21-publicity-dot-yamm-track.appspot.com/2jjL0lz7r7oEpqObbW1mymiHgHFwKl1vPWdy-OcEDHBlfh9-riQGez7BdJ2VVylx6LJOaUfQiPDc1IngifvYrBbPtrW2GrYaKNihBNwQLVwa7wVd4Uq2XhRHlBREwj0FL2FlAJ7GMYcG51oF8NBhK74OX8OKbBZFyFxZW-Z7sCp2o-OYEDZHjyTs>
.
*Where*

IFL 2023 will be held physically in Braga, Portugal, arranged by
University of Minho.

See the IFL 2023 website at https://ifl23.github.io/
<https://ifl21-publicity-dot-yamm-track.appspot.com/23xyQYmKZONf-hLKW6KtG-mnh-zylaMBY3TBZT75rVIdph9-riQGDzB_dIyY6KrqQRApZaLU1CbqTpMlznP_xNE6OeXRxG-bDtHThA6B1BQdVrkVpzXYHzs2MxaJwYHmkkLoMSxIP1lJvI-ipzldLicCAGSGNFXuxdCswLphbW7Eg3iXRBBzGrE4>
for more
information.

[image: beacon]

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CAGtcRvCqOyUwXoCKM3ULJTigWBK2_hN0KSPWoBEFcJ%3D13ZEbqg%40mail.gmail.com.


[racket-users] IFL23 last Call for papers

2023-07-28 Thread Pieter Koopman
dded as soon as possible.
[image: beacon]

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CAGtcRvBKhMBuxLROWc4n8Me3CaadFsZHAzPZ%3DMBjScs-XxJNNg%40mail.gmail.com.


[racket-users] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers

2023-07-25 Thread fith...@gmail.com
 is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/7b063113-6693-4dd3-9659-f46634b9bb96n%40googlegroups.com.


Re: [racket-users] The Racket programming language mailing list has moved!!

2023-07-21 Thread Sam Tobin-Hochstadt
We're using the free-for-open-source plan from Discourse:
https://free.discourse.group/

Sam

On Fri, Jul 21, 2023 at 1:13 PM Ryan Johnson  wrote:

> Thanks
>
> How did you guys get a discourse.group subdomain? I visited
> discourse.group and the domain is unreachable.
>
> What software is it running?
> On 7/21/2023 11:49 AM, Racket Users wrote:
>
> The Racket programming language mailing list is deprecated and gets very
> little traffic.
>
> Forum/mailing list discussion has moved to https://racket.discourse.group/
> - this is a web forum that supports use via email like a mailing list.
>
> Please use this invitation:
> https://racket.discourse.group/invites/VxkBcXY7yL
> The welcome post includes a link mailing list access guidance for those
> who prefer it.
>
> Best regards
>
> Stephen
>
> --
> This group is deprecated and retained as an archive.
>
> Racket discussions have moved to the Racket Discourse at
> https://racket.discourse.group/ .
>
> ---
> 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.
> ---
> 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/7fafdede-dba2-4afc-9343-91266ea0ad2bn%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/7fafdede-dba2-4afc-9343-91266ea0ad2bn%40googlegroups.com?utm_medium=email_source=footer>
> .
>
>
>
> <https://www.avast.com/sig-email?utm_medium=email_source=link_campaign=sig-email_content=emailclient>
> Virus-free.www.avast.com
> <https://www.avast.com/sig-email?utm_medium=email_source=link_campaign=sig-email_content=emailclient>
> <#m_5314016891397136404_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> --
> This group is deprecated and retained as an archive.
>
> Racket discussions have moved to the Racket Discourse at
> https://racket.discourse.group/ .
>
> ---
> 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.
> ---
> 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/edde0187-15c8-bcc9-4ce1-32e44c646297%40gmail.com
> <https://groups.google.com/d/msgid/racket-users/edde0187-15c8-bcc9-4ce1-32e44c646297%40gmail.com?utm_medium=email_source=footer>
> .
>

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/CAK%3DHD%2BauRLNYQOFJLiaZHLH3Vs5N-3BYj1eQ7iWce9qQ9crO5Q%40mail.gmail.com.


Re: [racket-users] The Racket programming language mailing list has moved!!

2023-07-21 Thread Ryan Johnson

Thanks

How did you guys get a discourse.group subdomain? I visited 
discourse.group and the domain is unreachable.


What software is it running?

On 7/21/2023 11:49 AM, Racket Users wrote:
The Racket programming language mailing list is deprecated and gets 
very little traffic.


Forum/mailing list discussion has moved to 
https://racket.discourse.group/ - this is a web forum that supports 
use via email like a mailing list.


Please use this invitation: 
https://racket.discourse.group/invites/VxkBcXY7yL
The welcome post includes a link mailing list access guidance for 
those who prefer it.


Best regards

Stephen

--
This group is deprecated and retained as an archive.

Racket discussions have moved to the Racket Discourse at 
https://racket.discourse.group/ .


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

---
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/7fafdede-dba2-4afc-9343-91266ea0ad2bn%40googlegroups.com 
<https://groups.google.com/d/msgid/racket-users/7fafdede-dba2-4afc-9343-91266ea0ad2bn%40googlegroups.com?utm_medium=email_source=footer>.


--
This email has been checked for viruses by Avast antivirus software.
www.avast.com

--
This group is deprecated and retained as an archive. 


Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/edde0187-15c8-bcc9-4ce1-32e44c646297%40gmail.com.


[racket-users] The Racket programming language mailing list has moved!!

2023-07-21 Thread Racket Users
The Racket programming language mailing list is deprecated and gets very 
little traffic. 

Forum/mailing list discussion has moved to https://racket.discourse.group/ 
- this is a web forum that supports use via email like a mailing list.

Please use this invitation: 
https://racket.discourse.group/invites/VxkBcXY7yL
The welcome post includes a link mailing list access guidance for those who 
prefer it. 

Best regards

Stephen

-- 
This group is deprecated and retained as an archive. 

Racket discussions have moved to the Racket Discourse at  
https://racket.discourse.group/ .

---
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.
--- 
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/7fafdede-dba2-4afc-9343-91266ea0ad2bn%40googlegroups.com.


[racket-users] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension

2023-07-13 Thread fith...@gmail.com
 
available in the ACM Digital Library. This date may be up to two weeks 
before the first day of your conference. The official publication date 
affects the deadline for any patent filings related to published work.

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/08087008-2aab-4b7a-82c1-4f91c3834b1fn%40googlegroups.com.


[racket-users] SCHEME 2023 deadline fast approaching!

2023-07-04 Thread mora...@gmail.com
Dear All,

The submission deadline for Scheme 2023 is fast approaching: July 14. 
Kindly consider submitting an article or abstract to present.

Your may find the CFP here: 
https://icfp23.sigplan.org/home/scheme-2023#Call-for-Papers

If you have any questions, please let me know.

I hope to see you in Seattle!

Marco

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/4679d962-ae39-42de-b4c4-9187b0373dc0n%40googlegroups.com.


[racket-users] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers

2023-06-21 Thread fith...@gmail.com




Call for Papers

Workshop on Virtual Machines and Language Implementations (VMIL’23)

Co-located with SPLASH 2023

October 22-27, 2023, Cascais, Portugal

https://2023.splashcon.org/home/vmil-2023



The concept of Virtual Machines is pervasive in the design and 
implementation of programming systems. Virtual Machines and the languages 
they implement are crucial in the specification, implementation and/or 
user-facing deployment of most programming technologies.

The VMIL workshop is a forum for researchers and cutting-edge practitioners 
in language virtual machines, the intermediate languages they use, and 
related issues.

The workshop is intended to be welcoming to a wide range of topics and 
perspectives, covering all areas relevant to the workshop’s theme. Aspects 
of interest include, but are not limited to:

- design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism);

- compilation (static and dynamic compilation strategies, optimizations, 
data representations);

- memory management;

- security considerations;

- concurrency (both internal and user-facing);

- performance engineering;

- tool support and related infrastructure (profiling, debugging, liveness, 
persistence);

- the experience of VM development (use of high-level languages, 
bootstrapping and self-hosting, reusability, portability, developer 
tooling, etc.);

- empirical studies on related topics, such as usage patterns, the 
usability of languages or tools, experimental methodology, or benchmark 
design;

- the use of VMs in teaching programming, programming languages, and 
programming language implementation.

--

Submission Guidelines

--

We invite high-quality papers in the following two categories:

- Research and experience papers: These submissions should describe work 
that advances the current state of the art in the above or related areas. 
The suggested length of these submissions is 6–10 pages (maximum 10 pages, 
excluding references).

- Work-in-progress or position papers: These papers should document ongoing 
efforts in an area of interest which have not yet yielded final results, 
and/or should present and defend the authors’ position on a topic related 
to the broad area of the workshop. The maximum length of these submissions 
is 6 pages, but we will consider shorter submissions (e.g. a well-written 
2-page abstract).

Submissions will be judged on novelty, clarity, timeliness, relevance, and 
potential to stimulate discussion during the workshop.

The workshop has two submission deadlines. 

For the first submission deadline, all paper types are considered for 
publication in the ACM Digital Library, except if the authors prefer not to 
be included. Publication of work-in-progress and position papers at VMIL is 
not intended to preclude later publication elsewhere.

For the second deadline, we will consider only work-in-progress and 
position papers. These will not be published in the ACM DL, and will only 
appear on the website.

The address of the submission site is: https://vmil23.hotcrp.com

--

Important Dates

--

All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h


2023-07-12: Abstract submission deadline (research and experience papers)

2023-07-17: Submission deadline (research and experience papers)

2023-07-27: Submission deadline (WIP and position papers only)

2023-08-24: Acceptance notification

2023-09-10: Camera-ready paper deadline

--

Format Instructions

--

Please use the SIGPLAN acmart style (`sigplan` option) for all papers: 
https://sigplan.org/Resources/Author/#acmart-format. The provided 
double-column template is available for Latex and Word.


--

Organization

--

PC Chairs:

Andrea Rosà, Università della Svizzera italiana

Martin Henz, National University Singapore



Program Committee:

Edd Barrett, King’s College London
Rodrigo Bruno, INESC-ID / Técnico, ULisboa
Juan Fumero, University of Manchester
Christine H. Flood, Red Hat, Inc.
Doug Lea, State University of New York (SUNY) Oswego
Hidehiko Masuhara, Tokyo Institute of Technology
Fabio Niephaus, Oracle Labs, Potsdam
Guido Salvaneschi, University of St. Gallen
Adam Welc, Uber Technologies


-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Gro

[racket-users] IFL23 2nd Call for papers

2023-06-19 Thread Pieter Koopman
Important Dates
Draft Paper Submission Deadline 31st July, 2023
Notification of Acceptance for Presentation 1st August, 2023
Early Registration Deadline 11th August, 2023
Late Registration Deadline 23rd August, 2023
IFL Symposium 29th - 31st August, 2023
Submission of Papers for Peer-Reviewed Proceedings 24th November, 2023
Notification of Acceptance 2nd February, 2024
Camera-ready Version 8th March, 2024
SCOPE AND TOPICS
The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. You can find more information about
the symposium on its oficial website
<https://ifl21-publicity-dot-yamm-track.appspot.com/25oCl-JqRcPUbsKR2dROtB87fxe3b979RRFeGasA8bL5b5OnSiAH33E72eVZt1xxCWz1ZEwwEq4DoFyNpZEWiU57o0O1NaOonMmgPVaDOGFa4_-aZVtTJkcunQ7ACIIWx5BeYwUC0fCQ-0GmjKekBzdHqMoAhyMjfzN_ACQiYykzrsblrHHIw>.
IFL 2023 will be a venue for researchers to present and discuss new ideas
and concepts, work in progress, and publication-ripe results related to the
implementation and application of functional languages and function-based
programming. See the call for papers in text format
<https://ifl21-publicity-dot-yamm-track.appspot.com/2E_sFp5xAvzpnrRTvzJXjr7eizQyrxSVO7bF9uyVObNtf5OnSiAEcm9qcW6BUEu8eLjqsvBYQrFdIAmkx8B-KK98O8pv-xLnZ2o-iueQEKy-THgf1NX2zJkn24CW6JYT7hAVfgsxfuMEQbb5QVqbSLIssiT2t6FsJHMFAt5hj5krlA5Mt05fUOJx_rcyNanU28PSrKpA>
.
Areas of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- abstract interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- embedded domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- industrial applications
PAPER SUBMISSIONS
Following IFL tradition, IFL 2023 will use a post-symposium review process
to produce the formal proceedings.
Before the symposium, authors submit draft papers. These draft papers will
be screened by the program chair to make sure that they are within the
scope of IFL. The draft papers will be made available to all participants
at the symposium. Each draft paper is presented by one of the authors at
the symposium. Notice that it is a requirement that accepted draft papers
are presented physically at the symposium.
After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality, relevance, significance, and clarity, and will thereby
determine whether the paper is accepted or rejected for the formal
proceedings. As in previous years, we will try to have the papers that are
accepted for the formal proceedings published in the International
Conference Proceedings Series of the ACM Digital Library. This possibility
will be confirmed as soon as possible.
Reviewing is single blind. There will be at least 3 reviews per paper. For
the camera-ready version the authors can make minor revisions which are
accepted without further reviewing.
Papers must use the ACM two columns conference format, which can be found
here
<https://ifl21-publicity-dot-yamm-track.appspot.com/2r-UqdBl9dDd0oJvv17GBS_ijco4qEqIQqEzuiHDFKFBj5OnSiAGcMg64u5XetPeHOHLXspKo700b1s8HNmvArPyTZw3NglZfoKNe9ZoUNbDttvRYY9BQaMfJYD9f7DBhch2uCStK5YJMwbS2_VEe7CXsSxLJ1t4FhEEJaQOy8hQY0b0TAGaPsWJF2L-hmFFPzXwE6Os>.
(For LaTeX users, start your document with
\documentclass[sigconf,screen,review]{acmart}.) All contributions must be
written in English. Note that this format has a rather long but limited
list of packages that can be used. Please make sure that your document
adheres to this list.
The page limit for papers is twelve pages (excluding references). Only
papers that were presented at the IFL 2023 Symposium will be considered for
publication.
LOCATION
IFL 2023 will be held physically in Braga, Portugal. For more information,
click here
<https://ifl21-publicity-dot-yamm-track.appspot.com/2_Bt8BfkXTKA_-9lmamWY5yup419bvbsglIYPj0_eAoJn5OnSiAG96Fw5JdN4VR0AijZScn2-KBZMk9BjqSdAC4Re_qmoWGlKp4Gdm64orWwVuzzKe6H78JmjEqaDr77t6cIOF2u945AHMIELdRog5l7USIGUEUcQZvE9XUw5Z-uIYmMU8SnIhzRgbRxsKSFNcsQ>
.
[image: beacon]

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from th

[racket-users] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering

2023-06-16 Thread Andrei Chis
ished work.

---
SLE and Doctoral Students
---

SLE encourages students to submit to the SPLASH doctoral symposium. Authors 
of accepted papers will have the chance to present their work to the SLE 
audience, too.

---
Organisation
---

Chairs:

* General chair: João Saraiva, Universidade do Minho, Portugal
* PC co-chair: Thomas Degueule, CNRS/LaBRI, France
* PC co-chair: Elizabeth Scott, Royal Holloway University of London, United 
Kingdom
* Publicity chair: Andrei Chis, feenk gmbh, Switzerland

Program committee:

Jean-Christophe Bach, IMT Atlantique, France
Thomas van Binsbergen, University of Amsterdam, Netherlands
Mark van den Brand, Eindhoven University of Technology, Netherlands
Jordi Cabot, Luxembourg Institute of Science and Technology, Luxembourg
Horatiu Cirstea, University of Lorraine and Loria, France
Romina Eramo, University of l’Aquila, Italy
Bernd Fischer, Stellenbosch University, South Africa
Görel Hedin, Lund University, Sweden
Felienne Hermans, VU Amsterdam, Netherlands
Robert Hirschfeld, University of Potsdam, Germany
Zhenjiang Hu, Peking University, China
Adrian Johnstone, Royal Holloway University of London, UK
Dimitris Kolovos, University of York, UK
Ivan Kurtev, Eindhoven University of Technology, Netherlands
Ralf Lämmel, University of Koblenz-Landau, Germany
Julien Lange, Royal Holloway University of London, UK
Stefan Marr, University of Kent, UK
Marjan Mernik, University of Maribor, Slovenia
Gunter Mussbacher, McGill University, Canada
Oscar Nierstrasz, feenk GmbH, Switzerland
Bruno Oliveira, University of Hong Kong, Hong Kong
Casper Bach Poulsen, Delft University of Technology, Netherlands
Juri Di Rocco, University of l’Aquila, Italy
Davide Di Ruscio, University of l’Aquila, Italy
Bernhard Rumpe, RWTH Aachen University, Germany
Neil Sculthorpe, Nottingham Trent University, UK
Luís Eduardo de Souza Amorim, Australian National University, Australia
Tijs van der Storm, CWI and University of Groningen, Netherlands
Tamás Szabó, GitHub Next, Germany
Mauricio Verano Merino, VU Amsterdam, Netherlands
Manuel Wimmer, Johannes Kepler University Linz, Austria
Vadim Zaytsev, University of Twente, Netherlands
Philipp Zech, University of Innsbruck, Austria

---
Contact
---

For additional information, clarification, or answers, please get in touch 
with the program co-chairs (E.Scott at rhul.ac.uk and thomas.degueule at 
labri.fr).

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/7eaba13e-4f81-41a6-9c2a-48178a0b48c8n%40googlegroups.com.


Re: [racket-users] Macro generating macro question

2023-05-24 Thread Kevin Forchione


> On May 24, 2023, at 2:11 AM, Jens Axel Søgaard  wrote:
> 
> #lang racket
> (require (for-syntax syntax/parse
>  racket/syntax))
> 
> (define-syntax (make-id-macro stx)
>   (syntax-parse stx
> [(_ id)
>  (with-syntax ([name (format-id #'id "do-~a" #'id)]
>[ooo  #'(... ...)])
>#'(define-syntax (name stx)
>(syntax-parse stx
>  [(_ parms ooo)
>   #'(list parms ooo)])))]))
> 
> (make-id-macro foo)
> (do-foo 1 2)

Thanks! That was the fundamental concept I was missing. I don’t recall seeing 
that in the documentation, but now that I know I’ll search for that and see if 
I glossed over it somehow. 

-Kevin

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/D299A992-F57A-4050-B8DD-67DCAC468124%40gmail.com.


Re: [racket-users] Macro generating macro question

2023-05-24 Thread Jens Axel Søgaard
Hi Kevin,

When you are writing macro generating macros there are two levels of
ellipsis.
The outer one, which you can write as ... as normal and the inner one which
you need to escape.
You can escape it with (... ...). That looks odd to me, so I usually bind
it to an identifier named ooo.

#lang racket
(require (for-syntax syntax/parse
 racket/syntax))

(define-syntax (make-id-macro stx)
  (syntax-parse stx
[(_ id)
 (with-syntax ([name (format-id #'id "do-~a" #'id)]
   [ooo  #'(... ...)])
   #'(define-syntax (name stx)
   (syntax-parse stx
 [(_ parms ooo)
  #'(list parms ooo)])))]))

(make-id-macro foo)
(do-foo 1 2)


See you on Racket Discourse.
/Jens Axel


Den ons. 24. maj 2023 kl. 06.27 skrev Kevin Forchione :

> Hi guys,
> I’m stumped.  In a nutshell I want to write a macro that is passed  an id
> and will produce a macro called id that can take variable arguments. I’m
> sure I’m overlooking something fundamental. The basic form below “works” if
> I don’t have ellipsis aver the variables, but that’s not what I’m after.
> Here’s an example that is obviously wrong, but is along the lines of what
> I’m looking for:
>
> #lang racket
>
>
> (require (for-syntax syntax/parse
>  racket/syntax))
>
> (define-syntax (make-id-macro stx)
>   (syntax-parse stx
> [(_ id)
>  (with-syntax ([name (format-id #'id "do-~a" #'id)])
>#'(define-syntax (name stx)
>(syntax-parse stx
>  [(_ parms ...)
>   #'( list parms ...)])))]))
>
> Any help in this and explaining why it fails would be greatly appreciated.
>
> -Kevin
>
> --
> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
> .
>
> Beyond the Racket Users Google Group, Racket Discussions take place on
> Discourse ( https://racket.discourse.group/ ) and Discord (
> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
> place on the Racket Slack https://racket.slack.com/ ( sign up at
> https://racket-slack.herokuapp.com/ ), and IRC #racket
> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/6BC84910-3AC4-4729-8BAA-D1488E84A54B%40gmail.com
> .
>


-- 
-- 
Jens Axel Søgaard

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CABefVgxroAUQhxD6sGaAbL%2B_2WwLAzMdRa_8o_%3DBFx%3DByXS9yw%40mail.gmail.com.


Re: [racket-users] Macro generating macro question

2023-05-24 Thread Stephen De Gabrielle
Hi Kevin

The most active places for ‘Racketeers’ is the Racket [Discourse](
https://racket.discourse.group/) and [Discord](https://discord.gg/6Zq8sH5)


Please join us!


See also https://github.com/racket/racket/wiki/Macros - in particular i
think you may find what you are looking for in
https://docs.racket-lang.org/syntax-parse-example/index.html


(many who prefer email just use discourse in ‘mailing list mode’)


Best regards

Stephen

On Wed, 24 May 2023 at 05:27, Kevin Forchione  wrote:

> Hi guys,
> I’m stumped.  In a nutshell I want to write a macro that is passed  an id
> and will produce a macro called id that can take variable arguments. I’m
> sure I’m overlooking something fundamental. The basic form below “works” if
> I don’t have ellipsis aver the variables, but that’s not what I’m after.
> Here’s an example that is obviously wrong, but is along the lines of what
> I’m looking for:
>
> #lang racket
>
>
> (require (for-syntax syntax/parse
>  racket/syntax))
>
> (define-syntax (make-id-macro stx)
>   (syntax-parse stx
> [(_ id)
>  (with-syntax ([name (format-id #'id "do-~a" #'id)])
>#'(define-syntax (name stx)
>(syntax-parse stx
>  [(_ parms ...)
>   #'( list parms ...)])))]))
>
> Any help in this and explaining why it fails would be greatly appreciated.
>
> -Kevin
>
> --
> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
> .
>
> Beyond the Racket Users Google Group, Racket Discussions take place on
> Discourse ( https://racket.discourse.group/ ) and Discord (
> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
> place on the Racket Slack https://racket.slack.com/ ( sign up at
> https://racket-slack.herokuapp.com/ ), and IRC #racket
> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/6BC84910-3AC4-4729-8BAA-D1488E84A54B%40gmail.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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGHj7-Jda1tiv4xQu-4CCV212LMPQ3bPwRV0uzMqu4B%2Bk99R%2Bw%40mail.gmail.com.


[racket-users] Macro generating macro question

2023-05-23 Thread Kevin Forchione
Hi guys, 
I’m stumped.  In a nutshell I want to write a macro that is passed  an id and 
will produce a macro called id that can take variable arguments. I’m sure I’m 
overlooking something fundamental. The basic form below “works” if I don’t have 
ellipsis aver the variables, but that’s not what I’m after. Here’s an example 
that is obviously wrong, but is along the lines of what I’m looking for:

#lang racket


(require (for-syntax syntax/parse
 racket/syntax))

(define-syntax (make-id-macro stx)
  (syntax-parse stx
[(_ id)
 (with-syntax ([name (format-id #'id "do-~a" #'id)])
   #'(define-syntax (name stx)
   (syntax-parse stx
 [(_ parms ...)
  #'( list parms ...)])))]))

Any help in this and explaining why it fails would be greatly appreciated.

-Kevin

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/6BC84910-3AC4-4729-8BAA-D1488E84A54B%40gmail.com.


Re: [racket-users] Scheme 2023 @ ICFP

2023-05-16 Thread Stephen De Gabrielle
Hi Marco,

The Racket community has mostly moved to [Discourse](
https://racket.discourse.group/) and [Discord](https://discord.gg/6Zq8sH5)

we would welcome you posting your call

If you do post please use the #general category/channel on
discourse/discord respectively.  (#announcements is used for
community announcements)

When you post on Racket Discourse, you can use the tags 'event' and 'call'

[image: image.png]
https://racket.discourse.group/c/general/12

best regards,
Stephen

On Sat, May 13, 2023 at 4:55 PM mora...@gmail.com 
wrote:

> Dear All,
>
> I am chairing Scheme 2023 (as part of the ICFP events in Seattle this
> September). Kindly consider submitting an article to present.
>
> Please find the CFP here:
> https://icfp23.sigplan.org/home/scheme-2023#Call-for-Papers
>
> If you have any questions, please let me know.
>
> I hope to see you in Seattle!
>
> Marco
>
> --
> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
> .
>
> Beyond the Racket Users Google Group, Racket Discussions take place on
> Discourse ( https://racket.discourse.group/ ) and Discord (
> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
> place on the Racket Slack https://racket.slack.com/ ( sign up at
> https://racket-slack.herokuapp.com/ ), and IRC #racket
> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/176f9037-fb9e-4d53-b39b-0c7848e9c467n%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/176f9037-fb9e-4d53-b39b-0c7848e9c467n%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGHj7-KuT%2B2qKryKAkqXpAhvXXTkekNSJRuVjrbpOJs1SEWHNg%40mail.gmail.com.


[racket-users] Scheme 2023 @ ICFP

2023-05-13 Thread mora...@gmail.com
Dear All,

I am chairing Scheme 2023 (as part of the ICFP events in Seattle this 
September). Kindly consider submitting an article to present. 

Please find the CFP here: 
https://icfp23.sigplan.org/home/scheme-2023#Call-for-Papers

If you have any questions, please let me know.

I hope to see you in Seattle!

Marco

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/176f9037-fb9e-4d53-b39b-0c7848e9c467n%40googlegroups.com.


[racket-users] IFL23 first CFP

2023-04-03 Thread Pieter Koopman
*Call for papers*

The 35th Symposium on Implementation and Application of Functional
Languages (IFL 2023)

Braga, Portugal, August 29th-August 31st, 2023
*Important dates*

Draft paper submission:  July   31st, 2023
Draft paper notification:August  1st, 2023
Early registration deadline: August 11th, 2023
Late registration deadline:  August 23rd, 2023
Symposium:   August 29th - August 31st (3 days)
*Scope*

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2022 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Topics of interest to IFL include, but are not limited to:

* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* embedded domain specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications
*Submissions and peer-review
*
Following IFL tradition, IFL 2023 will use a post-symposium review
process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers
will be screened by the program chair to make sure that they are
within the scope of IFL. The draft papers will be made available to
all participants at the symposium. Each draft paper is presented by
one of the authors at the symposium. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2023 website at https://ifl23.github.io/
<https://ifl21-publicity-dot-yamm-track.appspot.com/2nCDpOeItqE9nNnxHE_R8WbkVxJ86sYfH1Qw0qUPfiltOV4tGhwFob1e2xbzr0SnyjZs6BrXPyvxlFd83KjhmAyJnRyrRp1FhfZixkPh0C8RZ1t72ivm-Vw7q1bwc6sYWYAbQQajV1cgzW9L_AnF2K2sN7SAj1TwsiSt_UO_vRpYkQkTzvNg0vOo>
.
*Where
*
IFL 2023 will be held physically in Braga, Portugal, arranged by
University of Minho.

See the IFL 2023 website at https://ifl23.github.io/
<https://ifl21-publicity-dot-yamm-track.appspot.com/2jEODX5G4EoJza4mLBIwxFqDaFt8OlZyqIRp_YXgm8XpRV4tGhwGZ06rkazpjtTQsIlfkzBTQk_ciYtmfjvV4wgWR0jKpZK_xVwX4njH5mCPu8BRjpGUals5lIfB0TyDjeLB43_0FozWoM7ZJkWbmQgaC4gcYuaRDO8IijpvmNJIrPYyyPEWqZ3I>
for more
information.

[image: beacon]

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGtcRvCFnJdBgkWqk3GAu%2ByEQTw5H07dN35R%2BHnFTa65h1Qz3A%40mail.gmail.com.


[racket-users] Override printing for vectors

2023-02-05 Thread TheMetaSchemer
Hi All,

I'm looking to find a way to override how vectors are printed in 
write/display/print (similar to using gen:custom-write for structs), as 
well as in the repl (including for DrRacket). 

So far I've tried overriding the port handlers for (current-output-port) 
and (current-error-port), but that does not seem to work recursively, and 
doesn't work in the Repl either. 

Thanks,

Anurag. 

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/acf743d0-1196-42d6-9850-4459127996fbn%40googlegroups.com.


Re: [racket-users] trying to install Rhombus

2023-02-01 Thread Dan Synek
It worked with the latest version. Thanks so much,  Alex!

On Tuesday, January 31, 2023 at 5:52:14 PM UTC+2 alex...@knauth.org wrote:

>
> On Jan 31, 2023, at 10:27 AM, Dan Synek  wrote:
>
> Hi,
>
> I used Racket a couple of years ago, but is now quiet rusty. So please 
> forgive m if my question is obvious. I wanted to experiment with a language 
> with algebraic style(infix etc), but with powerful macros, so I thought it 
> could be interesting to check out Rhombus.
> Below  are my attempts at installing Rhombus in version 8.7 and 8,6 of 
> Racket without any success.
> I installed the latest racket (8.7) and tried:
> raco pkg install --auto rhombus-prototype
>
> It looked hopeful, but after a while I got a lot of errors like this:
> 
> --- summary of errors ---  [17:12:53]
> raco setup: error: during making for /rhombus-prototype/scribble
> raco setup:   phase+space+: contract violation
> raco setup: expected: phase+space?
> raco setup: given: '(0 . #f)
> raco setup: compiling: 
> /rhombus-prototype/rhombus/private/ellipsis.rkt
> raco setup: error: during making for /rhombus-prototype/rhombus
> raco setup:   phase+space+: contract violation
> raco setup: expected: phase+space?
> raco setup: given: '(0 . #f)
>
>
> Parts of the Rhombus prototype like this can depend on *very* recent 
> Racket snapshot / nightly versions.
>
> The `phase+space+` behavior it's relying on here was last updated in the 
> snapshot version 8.2.0.3.
>
> You can get a snapshot build from one of the options at 
> https://snapshot.racket-lang.org/. The current most up-to-date snapshot 
> available from the University of Utah is version 8.8.0.5.
>
> Alex Knauth
> he/him or they/them
>
>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/5ae93136-d563-4f3e-a70b-9d401f70815cn%40googlegroups.com.


Re: [racket-users] trying to install Rhombus

2023-01-31 Thread Alex Knauth

> On Jan 31, 2023, at 10:27 AM, Dan Synek  wrote:
> 
> Hi,
> 
> I used Racket a couple of years ago, but is now quiet rusty. So please 
> forgive m if my question is obvious. I wanted to experiment with a language 
> with algebraic style(infix etc), but with powerful macros, so I thought it 
> could be interesting to check out Rhombus.
> Below  are my attempts at installing Rhombus in version 8.7 and 8,6 of Racket 
> without any success.
> I installed the latest racket (8.7) and tried:
> raco pkg install --auto rhombus-prototype
> 
> It looked hopeful, but after a while I got a lot of errors like this:
> 
> --- summary of errors ---  [17:12:53]
> raco setup: error: during making for /rhombus-prototype/scribble
> raco setup:   phase+space+: contract violation
> raco setup: expected: phase+space?
> raco setup: given: '(0 . #f)
> raco setup: compiling: 
> /rhombus-prototype/rhombus/private/ellipsis.rkt
> raco setup: error: during making for /rhombus-prototype/rhombus
> raco setup:   phase+space+: contract violation
> raco setup: expected: phase+space?
> raco setup: given: '(0 . #f)

Parts of the Rhombus prototype like this can depend on *very* recent Racket 
snapshot / nightly versions.

The `phase+space+` behavior it's relying on here was last updated in the 
snapshot version 8.2.0.3.

You can get a snapshot build from one of the options at 
https://snapshot.racket-lang.org/. The current most up-to-date snapshot 
available from the University of Utah is version 8.8.0.5.

Alex Knauth
he/him or they/them

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/D461B6A7-4614-4CE7-9F64-B579EFAE8270%40knauth.org.


[racket-users] trying to install Rhombus

2023-01-31 Thread Dan Synek
Hi,

I used Racket a couple of years ago, but is now quiet rusty. So please 
forgive m if my question is obvious. I wanted to experiment with a language 
with algebraic style(infix etc), but with powerful macros, so I thought it 
could be interesting to check out Rhombus.
Below  are my attempts at installing Rhombus in version 8.7 and 8,6 of 
Racket without any success.
I installed the latest racket (8.7) and tried:
raco pkg install --auto rhombus-prototype

It looked hopeful, but after a while I got a lot of errors like this:

--- summary of errors ---  [17:12:53]
raco setup: error: during making for /rhombus-prototype/scribble
raco setup:   phase+space+: contract violation
raco setup: expected: phase+space?
raco setup: given: '(0 . #f)
raco setup: compiling: 
/rhombus-prototype/rhombus/private/ellipsis.rkt
raco setup: error: during making for /rhombus-prototype/rhombus
raco setup:   phase+space+: contract violation
raco setup: expected: phase+space?
raco setup: given: '(0 . #f)

Anything i can do to get around these errors?
I tried the same command with Racket version 8.6, but then I got this error:

The following out-of-date packages are listed as dependencies of 
rhombus-prototype
and they will be automatically updated:
   base (have 8.6, need 8.6.0.10)
raco pkg install: package installed in a different scope
Inferred package scope: installation
Resolving "base" via https://download.racket-lang.org/releases/8.6/catalog/
No updates available
  package: base
  current scope: user
  installed in scope: installation


As a lest attempt I tried to  update base with:
bin/raco pkg update base
but got 
Inferred package scope: installation
Resolving "base" via https://download.racket-lang.org/releases/8.6/catalog/
No updates available

Any idea what to do?


-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/2466f718-1e55-40cc-98d6-4ae11ad689f9n%40googlegroups.com.


Re: [racket-users] Some DrRacket preferences unreadable

2022-12-30 Thread Robby Findler
I am sorry to hear that. But it may be something specific to that
particular font. My favorite fixed width font is Inconsolata but there are
a lot of good options out there. Might be worth trying some others?

Robby

On Fri, Dec 30, 2022 at 5:45 AM AvW  wrote:

> Indeed I did change the system font a while ago.
> The reason for that was that I very much like to have a non-proportional
> font (especially in the explorer).
>
> And yes, reverting it to the default font is the solution!
>
> But maybe is would be possible to change this behaviour of DrRacket.
> Since in most tabs of the Preferences Window it does work out-of-the-box,
> I cannot understand why in those cases it works differently ...
>
> Anyway, many thanks.
> Now I must cope with that ugly proportional font :-)
>
> Op donderdag 29 december 2022 om 15:26:02 UTC+1 schreef Robby Findler:
>
>> For those shown portions of the UI, I believe DrRacket is trying to use
>> the system font. It looks like that font is reporting size information in a
>> way that confuses something, somehow (I am not sure how).
>>
>> Has the system font been changed? Can you reset it back to a default to
>> see if that improves the situation?
>>
>> Robby
>>
>> On Thu, Dec 29, 2022 at 7:48 AM Jens Axel Søgaard 
>> wrote:
>>
>>> This looks odd indeed.
>>>
>>> Does it help to:
>>>   1. Change the font DrRacket uses
>>>   2. Restart DrRacket
>>>
>>>
>>> Den tor. 29. dec. 2022 kl. 13.54 skrev AvW :
>>>
>>>> Hi,
>>>>
>>>> after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs
>>>> of the preferences window; the other tabs appear to be OK.
>>>>
>>>> See attachments.
>>>>
>>>> Some relevant data:
>>>> - Windows 11 Pro 22H2 build 22621.963
>>>> - Racket installation: racket-8.7-x86_64-win32-cs.exe
>>>>
>>>> Any ideas?
>>>>
>>>> TIA,
>>>>Arie
>>>>
>>>> --
>>>> 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...@googlegroups.com.
>>>> To view this discussion on the web visit
>>>> https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
>>>> .
>>>>
>>>> Beyond the Racket Users Google Group, Racket Discussions take place on
>>>> Discourse ( https://racket.discourse.group/ ) and Discord (
>>>> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
>>>> place on the Racket Slack https://racket.slack.com/ ( sign up at
>>>> https://racket-slack.herokuapp.com/ ), and IRC #racket
>>>> https://kiwiirc.com/nextclient/irc.libera.chat/#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...@googlegroups.com.
>>>> To view this discussion on the web visit
>>>> https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com
>>>> <https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com?utm_medium=email_source=footer>
>>>> .
>>>>
>>>
>>>
>>> --
>>> --
>>> Jens Axel Søgaard
>>>
>>> --
>>> 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...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
>>> .
>>>
>>> Beyond the Racket Users Google Group, Racket Discussions take place on
>>> Discourse ( https://racket.discourse.group/ ) and Discord (
>>> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
>>> place on the Racket Slack https://racket.slack.com/ ( sign up at
>>> https://racket-slack.herokuapp.com/ ), and IRC #racket
>>> https://kiwiirc.com/nextclient/irc.libera.chat/#racket
>>> ---
>>> You rec

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-30 Thread AvW
Indeed I did change the system font a while ago.
The reason for that was that I very much like to have a non-proportional 
font (especially in the explorer).

And yes, reverting it to the default font is the solution!

But maybe is would be possible to change this behaviour of DrRacket.
Since in most tabs of the Preferences Window it does work out-of-the-box, I 
cannot understand why in those cases it works differently ...

Anyway, many thanks.
Now I must cope with that ugly proportional font :-)

Op donderdag 29 december 2022 om 15:26:02 UTC+1 schreef Robby Findler:

> For those shown portions of the UI, I believe DrRacket is trying to use 
> the system font. It looks like that font is reporting size information in a 
> way that confuses something, somehow (I am not sure how). 
>
> Has the system font been changed? Can you reset it back to a default to 
> see if that improves the situation?
>
> Robby
>
> On Thu, Dec 29, 2022 at 7:48 AM Jens Axel Søgaard  
> wrote:
>
>> This looks odd indeed.
>>
>> Does it help to:
>>   1. Change the font DrRacket uses
>>   2. Restart DrRacket
>>
>>
>> Den tor. 29. dec. 2022 kl. 13.54 skrev AvW :
>>
>>> Hi,
>>>
>>> after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs 
>>> of the preferences window; the other tabs appear to be OK.
>>>
>>> See attachments.
>>>
>>> Some relevant data:
>>> - Windows 11 Pro 22H2 build 22621.963
>>> - Racket installation: racket-8.7-x86_64-win32-cs.exe
>>>
>>> Any ideas?
>>>
>>> TIA,
>>>Arie
>>>
>>> -- 
>>> 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...@googlegroups.com.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
>>> .
>>>  
>>> Beyond the Racket Users Google Group, Racket Discussions take place on 
>>> Discourse ( https://racket.discourse.group/ ) and Discord ( 
>>> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes 
>>> place on the Racket Slack https://racket.slack.com/ ( sign up at 
>>> https://racket-slack.herokuapp.com/ ), and IRC #racket 
>>> https://kiwiirc.com/nextclient/irc.libera.chat/#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...@googlegroups.com.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com
>>>  
>>> <https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com?utm_medium=email_source=footer>
>>> .
>>>
>>
>>
>> -- 
>> -- 
>> Jens Axel Søgaard
>>
>> -- 
>> 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...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
>> .
>>  
>> Beyond the Racket Users Google Group, Racket Discussions take place on 
>> Discourse ( https://racket.discourse.group/ ) and Discord ( 
>> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes 
>> place on the Racket Slack https://racket.slack.com/ ( sign up at 
>> https://racket-slack.herokuapp.com/ ), and IRC #racket 
>> https://kiwiirc.com/nextclient/irc.libera.chat/#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...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com
>>  
>> <https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com?utm_medium=email_source=footer>
>> .
>>
>

-- 

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread Robby Findler
For those shown portions of the UI, I believe DrRacket is trying to use the
system font. It looks like that font is reporting size information in a way
that confuses something, somehow (I am not sure how).

Has the system font been changed? Can you reset it back to a default to see
if that improves the situation?

Robby

On Thu, Dec 29, 2022 at 7:48 AM Jens Axel Søgaard 
wrote:

> This looks odd indeed.
>
> Does it help to:
>   1. Change the font DrRacket uses
>   2. Restart DrRacket
>
>
> Den tor. 29. dec. 2022 kl. 13.54 skrev AvW :
>
>> Hi,
>>
>> after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs
>> of the preferences window; the other tabs appear to be OK.
>>
>> See attachments.
>>
>> Some relevant data:
>> - Windows 11 Pro 22H2 build 22621.963
>> - Racket installation: racket-8.7-x86_64-win32-cs.exe
>>
>> Any ideas?
>>
>> TIA,
>>Arie
>>
>> --
>> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
>> .
>>
>> Beyond the Racket Users Google Group, Racket Discussions take place on
>> Discourse ( https://racket.discourse.group/ ) and Discord (
>> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
>> place on the Racket Slack https://racket.slack.com/ ( sign up at
>> https://racket-slack.herokuapp.com/ ), and IRC #racket
>> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com
>> <https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>
>
> --
> --
> Jens Axel Søgaard
>
> --
> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
> .
>
> Beyond the Racket Users Google Group, Racket Discussions take place on
> Discourse ( https://racket.discourse.group/ ) and Discord (
> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
> place on the Racket Slack https://racket.slack.com/ ( sign up at
> https://racket-slack.herokuapp.com/ ), and IRC #racket
> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com
> <https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com?utm_medium=email_source=footer>
> .
>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdOOEhO5AMjpkcuqK_i0%3DxGJ1%3DAmpyQ-kzgryriVuPXNHkw%40mail.gmail.com.


Re: [racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread Jens Axel Søgaard
This looks odd indeed.

Does it help to:
  1. Change the font DrRacket uses
  2. Restart DrRacket


Den tor. 29. dec. 2022 kl. 13.54 skrev AvW :

> Hi,
>
> after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs of
> the preferences window; the other tabs appear to be OK.
>
> See attachments.
>
> Some relevant data:
> - Windows 11 Pro 22H2 build 22621.963
> - Racket installation: racket-8.7-x86_64-win32-cs.exe
>
> Any ideas?
>
> TIA,
>Arie
>
> --
> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
> .
>
> Beyond the Racket Users Google Group, Racket Discussions take place on
> Discourse ( https://racket.discourse.group/ ) and Discord (
> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
> place on the Racket Slack https://racket.slack.com/ ( sign up at
> https://racket-slack.herokuapp.com/ ), and IRC #racket
> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com?utm_medium=email_source=footer>
> .
>


-- 
-- 
Jens Axel Søgaard

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com.


[racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread AvW
Hi,

after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs of 
the preferences window; the other tabs appear to be OK.

See attachments.

Some relevant data:
- Windows 11 Pro 22H2 build 22621.963
- Racket installation: racket-8.7-x86_64-win32-cs.exe

Any ideas?

TIA,
   Arie

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com.


Re: [racket-users] racket -m from commandline

2022-12-17 Thread Wolfgang Hukriede
Great, thanks David, that did the trick.
And someone might want to fix the "racket --help" output, if you ask me.
Happy holidays!


On 12/17/22, David Van Horn  wrote:
> You likely want to also use the -t option so that the module is required.
> Here's an example:
>
> % cat try.rkt
>
> #lang racket
>
> (provide main)
>
> (define (main . args)
>
>   (displayln (cons "HELLO:" args)))
>
> % racket -tm try.rkt there
>
> (HELLO: there)
>
>
>
> On Sat, Dec 17, 2022 at 11:50 AM whuk...@gmail.com 
> wrote:
>
>> racket --help says:
>>
>>   -m, --main
>>  Call `main` with command-line arguments, print results
>>
>> but I cannot get this to work. All I get is
>>
>> main: not defined or required into the top-level environment
>>
>> in all (to me) conceivable variants. Could anyone provide an actually
>> working example?
>> Please don't recommend books or so, I have a life.
>>
>> Thanks.
>>
>> --
>> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
>> .
>>
>> Beyond the Racket Users Google Group, Racket Discussions take place on
>> Discourse ( https://racket.discourse.group/ ) and Discord (
>> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
>> place on the Racket Slack https://racket.slack.com/ ( sign up at
>> https://racket-slack.herokuapp.com/ ), and IRC #racket
>> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/racket-users/10d44364-fafb-4ead-9b35-2ed5a70f827fn%40googlegroups.com
>> <https://groups.google.com/d/msgid/racket-users/10d44364-fafb-4ead-9b35-2ed5a70f827fn%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CACHOGSi_efoG5mGB%3Da3EsxQ2OXf5wpPdOCiKGHUgs19jXkj9Jw%40mail.gmail.com.


Re: [racket-users] racket -m from commandline

2022-12-17 Thread David Van Horn
You likely want to also use the -t option so that the module is required.
Here's an example:

% cat try.rkt

#lang racket

(provide main)

(define (main . args)

  (displayln (cons "HELLO:" args)))

% racket -tm try.rkt there

(HELLO: there)



On Sat, Dec 17, 2022 at 11:50 AM whuk...@gmail.com 
wrote:

> racket --help says:
>
>   -m, --main
>  Call `main` with command-line arguments, print results
>
> but I cannot get this to work. All I get is
>
> main: not defined or required into the top-level environment
>
> in all (to me) conceivable variants. Could anyone provide an actually
> working example?
> Please don't recommend books or so, I have a life.
>
> Thanks.
>
> --
> 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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com
> .
>
> Beyond the Racket Users Google Group, Racket Discussions take place on
> Discourse ( https://racket.discourse.group/ ) and Discord (
> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes
> place on the Racket Slack https://racket.slack.com/ ( sign up at
> https://racket-slack.herokuapp.com/ ), and IRC #racket
> https://kiwiirc.com/nextclient/irc.libera.chat/#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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/10d44364-fafb-4ead-9b35-2ed5a70f827fn%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/10d44364-fafb-4ead-9b35-2ed5a70f827fn%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGuFJS-5Eq3h3NCdLm7-HNDvtLfxk6hoiLQwfOyZkCnKT_G-gQ%40mail.gmail.com.


[racket-users] racket -m from commandline

2022-12-17 Thread whuk...@gmail.com
racket --help says:

  -m, --main
 Call `main` with command-line arguments, print results

but I cannot get this to work. All I get is 

main: not defined or required into the top-level environment

in all (to me) conceivable variants. Could anyone provide an actually 
working example?
Please don't recommend books or so, I have a life.

Thanks.

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/10d44364-fafb-4ead-9b35-2ed5a70f827fn%40googlegroups.com.


[racket-users] Re: a for/fold #:break question, I think

2022-12-13 Thread tbh...@gmail.com


I read docs, played with examples, and (re-)discovered, that the position 
of #:break or #:final in the iterator clauses (of course) matters. So this, 
e.g.
(for/fold ([j-found? #f] [pos 0]) ([ch ch-stream] [ch-idx (in-naturals 1)] 
#:break j-found?) 

solves my problem.

On Tuesday, December 13, 2022 at 8:40:06 AM UTC+1 tbh...@gmail.com wrote:

> I haven't asked any questions here for a long time, so hope it's OK to 
> cross-post here:
>
>
>https://racket.discourse.group/
>
> (which I just discovered.)
>
>
> Cheers,
>
> Tim
>
> On Monday, December 12, 2022 at 10:28:22 PM UTC+1 tbh...@gmail.com wrote:
>
>> hi, I'm trying to do something slightly harder than what the attached 
>> example tries to do, but this example suffices to show that I, evidently, 
>> am missing something about how for/fold and/or #:break work together. 
>>
>> (I have used both before, but have gotten out of practice with racket of 
>> late and am stuck longer on this than seems reasonable.)
>>
>> I expect both tests to pass, but both fail (the "j" for jewel in "xxjxx") 
>> is seen but not "found", as it were.
>>
>> I'd be grateful for a bug fix and/or explanation.
>>
>> Cheers,
>>
>> Tim Hanson
>>
>> 
>>
>> #lang racket
>>
>> (require rackunit)
>>
>> (define (port->char-stream aport)
>>   (printf "(port->char-stream aport)~n")
>>   (define (process-next-ch-iter)
>> (let ([ch (read-char aport)])
>>   (printf "p->cs ch: ~a~n" ch)
>>   (if (eof-object? ch)
>>   empty-stream
>>   (stream-cons
>>ch
>>(process-next-ch-iter)
>>   
>>   (process-next-ch-iter))
>>
>>
>> (let ([my-port
>>(open-input-string "xxjxx")])
>>   
>>   (let ([ch-stream (port->char-stream my-port)])
>> (let-values ([(pos-found? pos)
>>   (for/fold ([j-found? #f]
>>  [pos 0])
>> (#:break j-found?
>>  ;#:final j-found?
>>  [ch ch-stream]
>>  [ch-idx (in-naturals 1)])
>> (begin
>>   (printf "ch: ~a~n" ch)
>>   (printf "ch-idx: ~a~n" ch-idx)
>>   (printf "(eq? ch #\\j): ~a~n" (eq? ch #\j))
>>   (values
>>(eq? ch #\j)
>>        ch-idx)))])
>>   
>>   (check-equal? pos-found? #t)
>>
>>   (check-equal? pos 3)
>>
>>   (close-input-port my-port
>>
>>
>>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/2fa4a1a8-32ad-4c03-9194-e4b856fd4ae3n%40googlegroups.com.


[racket-users] Re: a for/fold #:break question, I think

2022-12-12 Thread tbh...@gmail.com
I haven't asked any questions here for a long time, so hope it's OK to 
cross-post here:
   

   https://racket.discourse.group/

(which I just discovered.)


Cheers,

Tim

On Monday, December 12, 2022 at 10:28:22 PM UTC+1 tbh...@gmail.com wrote:

> hi, I'm trying to do something slightly harder than what the attached 
> example tries to do, but this example suffices to show that I, evidently, 
> am missing something about how for/fold and/or #:break work together. 
>
> (I have used both before, but have gotten out of practice with racket of 
> late and am stuck longer on this than seems reasonable.)
>
> I expect both tests to pass, but both fail (the "j" for jewel in "xxjxx") 
> is seen but not "found", as it were.
>
> I'd be grateful for a bug fix and/or explanation.
>
> Cheers,
>
> Tim Hanson
>
> 
>
> #lang racket
>
> (require rackunit)
>
> (define (port->char-stream aport)
>   (printf "(port->char-stream aport)~n")
>   (define (process-next-ch-iter)
> (let ([ch (read-char aport)])
>   (printf "p->cs ch: ~a~n" ch)
>   (if (eof-object? ch)
>   empty-stream
>   (stream-cons
>ch
>(process-next-ch-iter)
>   
>   (process-next-ch-iter))
>
>
> (let ([my-port
>(open-input-string "xxjxx")])
>   
>   (let ([ch-stream (port->char-stream my-port)])
> (let-values ([(pos-found? pos)
>   (for/fold ([j-found? #f]
>  [pos 0])
> (#:break j-found?
>  ;#:final j-found?
>  [ch ch-stream]
>  [ch-idx (in-naturals 1)])
> (begin
>   (printf "ch: ~a~n" ch)
>   (printf "ch-idx: ~a~n" ch-idx)
>   (printf "(eq? ch #\\j): ~a~n" (eq? ch #\j))
>   (values
>    (eq? ch #\j)
>ch-idx)))])
>   
>   (check-equal? pos-found? #t)
>
>   (check-equal? pos 3)
>
>   (close-input-port my-port
>
>
>

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/1489252c-4a85-4250-81a0-ef73e270a6bfn%40googlegroups.com.


[racket-users] PLDI 2023 Student Research Competition (SRC)

2022-12-12 Thread 'PLDI 2023 Publicity Chairs' via Racket Users
. For some 
cross-over, we will organize for a TV in the in-person session, which will 
rotate through the virtual posters.

The top three undergraduate participants and the top three graduate 
participants (selected across both the virtual and in-person tracks) will 
proceed to the Final Presentation Round. The final round of SRC will be 
conducted in a conference room where in-person finalists will first present 
(streamed over Zoom), and virtual finalists will present via Zoom. Both the 
virtual and in-person judges/attendees will get a chance to ask questions 
during the Q session after each talk.

## Participation

The Student Research Competition (SRC) at PLDI has always strived to improve 
engagement and accessibility to students around the world. To this aim, we will 
provide the opportunity for a round of asynchronous peer-review discussions 
amongst the SRC participants. The peer-review process is an opportunity for the 
SRC speakers to share their feedback, ask questions to their fellow peers, and 
help them make improvements for the poster and presentation round. This is also 
an opportunity for in-person and virtual speakers to engage prior to the SRC 
poster round.

We hope to utilize our experiences over the last two years to enable sufficient 
engagement in both tracks. We will work to provide tooling support, 
organization, and publicity to ensure all participants have a positive 
experience.

Good luck, and we hope to see you in June!

## SRC Chairs:
- Chandrakana Nandi, Certora, inc.
- Jubi Taneja, Microsoft Research


--
PLDI 2023 Publicity Chairs
 William J. Bowman
 Anders Miltner

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/Y5eoHc6D3DrXI8nq%40williamjbowman.com.


[racket-users] a for/fold #:break question, I think

2022-12-12 Thread tbh...@gmail.com
hi, I'm trying to do something slightly harder than what the attached 
example tries to do, but this example suffices to show that I, evidently, 
am missing something about how for/fold and/or #:break work together. 

(I have used both before, but have gotten out of practice with racket of 
late and am stuck longer on this than seems reasonable.)

I expect both tests to pass, but both fail (the "j" for jewel in "xxjxx") 
is seen but not "found", as it were.

I'd be grateful for a bug fix and/or explanation.

Cheers,

Tim Hanson



#lang racket

(require rackunit)

(define (port->char-stream aport)
  (printf "(port->char-stream aport)~n")
  (define (process-next-ch-iter)
(let ([ch (read-char aport)])
  (printf "p->cs ch: ~a~n" ch)
  (if (eof-object? ch)
  empty-stream
  (stream-cons
   ch
   (process-next-ch-iter)
  
  (process-next-ch-iter))


(let ([my-port
   (open-input-string "xxjxx")])
  
  (let ([ch-stream (port->char-stream my-port)])
(let-values ([(pos-found? pos)
  (for/fold ([j-found? #f]
 [pos 0])
(#:break j-found?
 ;#:final j-found?
 [ch ch-stream]
 [ch-idx (in-naturals 1)])
(begin
  (printf "ch: ~a~n" ch)
  (printf "ch-idx: ~a~n" ch-idx)
  (printf "(eq? ch #\\j): ~a~n" (eq? ch #\j))
  (values
   (eq? ch #\j)
   ch-idx)))])
  
  (check-equal? pos-found? #t)

  (check-equal? pos 3)

  (close-input-port my-port


-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/b2f243a7-9ae9-40c5-97fb-3d159bdbbdf8n%40googlegroups.com.


[racket-users] TFPIE 2023 call for submissions (deadline Dec 27th)

2022-12-03 Thread 'Elena Machkasova' via Racket Users
Please consider submitting, and spread the word!

TFPIE 2023 Call for papers
https://wiki.tfpie.science.ru.nl/TFPIE2023
(January 12th 2023, Boston, MA, USA, co-located with TFP 2023 and followed
by
POPL 2023)

TFPIE 2023 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's
your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture
topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. In addition, the speaker can
provide
commentary on effectiveness or student feedback.

Submissions

Potential presenters are invited to submit an extended abstract (4-6 pages)
or
a draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations
will have their preprints and their slides made available on the workshop's
website.
Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2023

After the workshop, presenters are invited to submit (a revised version of)
their
article for the formal review. The PC will select the best articles for
publication
in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles
rejected for presentation and extended abstracts will not be formally
reviewed
by the PC.

Important Dates

 Submission deadline: December 27th 2022, Anywhere on Earth.
 Notification: December 30th 2022 (Note: earlier submissions will receive
earlier response)
 TFPIE Registration Deadline: see https://trendsfp.github.io/register.html
 Workshop: January 12th 2023
 Submission for formal review: April 19th 2023, Anywhere on Earth.
 Notification of full article: May 24th 2023
 Camera ready: July 1st 2023

Program Committee

Christopher Anand - McMaster University, Canada
Attila Egri-Nagy - Akita International University, Japan
Jason Hemann - Seton Hall University, USA
Kevin Kappelmann - Technical University of Munich, Germany
Elena Machkasova (Chair) - University of Minnesota Morris, USA
Kristina Sojakova - INRIA, France
Jørgen Villadsen - Technical University of Denmark, Denmark

Invited Speaker:

Shriram Krishnamurthi, Brown University

Registration information:

See https://wiki.tfpie.science.ru.nl/TFPIE2023 for updated information.

Registration and attendance are mandatory for at least one author of every
paper
that is presented at the workshop.

Only papers that have been presented at TFPIE may be submitted to the
post-reviewing process.


-- 
Dr. Elena Machkasova
Associate Professor of Computer Science
Division of Science and Mathematics
University of Minnesota, Morris
Office: Sci 2325
(320) 589-6308
http://cda.morris.umn.edu/~elenam/
Pronouns: she/her/hers or any other

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CABVKp4f1siE27gwhHTj85LXvRUFv3nCSB7hdNNEY79vLz_j_Jg%40mail.gmail.com.


[racket-users] Possible to serve multiple stateless webservers?

2022-11-11 Thread Don Green
I can successfully serve one stateless webserver from one racket webserver 
file.
I'd like to serve multiple stateless webservers from one racket webserver 
file.

(define (my-app req)
  (response/full
   200 #"Okay"
   (current-seconds) TEXT/HTML-MIME-TYPE
   empty
   (list (string->bytes/utf-8 (include-template "file.htm"
  )

(serve/servlet my-app
   #:listen-ip #f
   #:port 8000
   #:servlet-path "/webserver.rkt" 
   #:extra-files-paths (list (build-path 
"/home/don/ServerX/clients/a1")) 
   #:stateless? #t
   )
;With current configuration directory must contain both the .rkt and .htm 
files.
;Assuming 1 .rkt file could serve multiple servelets, I would also need to 
learn how to
;reference the .htm files in different directories.

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/72c4ef76-cd88-4712-8305-f5da78caa040n%40googlegroups.com.


[racket-users] TFPIE 2023 call for submissions (deadline Dec 27th)

2022-10-21 Thread 'Elena Machkasova' via Racket Users
Please consider submitting and spread the word!

TFPIE 2023 Call for papers
https://wiki.tfpie.science.ru.nl/TFPIE2023
(January 12th 2023, Boston, MA, USA, co-located with TFP 2023 and POPL 2023)

TFPIE 2023 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's 
your
best lecture topic in an FP related course? Do you have a fun way to 
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture 
topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. In addition, the speaker can 
provide
commentary on effectiveness or student feedback.

Submissions

Potential presenters are invited to submit an extended abstract (4-6 pages) 
or
a draft paper (up to 20 pages) in EPTCS style. The authors of accepted 
presentations
will have their preprints and their slides made available on the workshop's 
website.
Papers and abstracts can be submitted via easychair at the following link:

https://easychair.org/conferences/?conf=tfpie2023

After the workshop, presenters are invited to submit (a revised version of) 
their
article for the formal review. The PC will select the best articles for 
publication
in the Electronic Proceedings in Theoretical Computer Science (EPTCS). 
Articles
rejected for presentation and extended abstracts will not be formally 
reviewed
by the PC.

Important Dates

  Submission deadline: December 27th 2022, Anywhere on Earth.
  Notification: December 30th 2022 (Note: earlier submissions will 
receive earlier response)
  TFPIE Registration Deadline: TBA
  Workshop: January 12th 2023
  Submission for formal review: April 19th 2023, Anywhere on Earth.
  Notification of full article: May 24th 2023
  Camera ready: July 1st 2023

Program Committee

Christopher Anand - McMaster University, Canada
Attila Egri-Nagy - Akita International University, Japan
Jason Hemann - Seton Hall University, USA
Kevin Kappelmann - Technical University of Munich, Germany
Elena Machkasova (Chair) - University of Minnesota Morris, USA
Kristina Sojakova - INRIA, France
Jørgen Villadsen - Technical University of Denmark, Denmark

Registration information

See https://wiki.tfpie.science.ru.nl/TFPIE2023 for updated information. 

Registration and attendance are mandatory for at least one author of every 
paper
that is presented at the workshop. Presenters will have their registration 
fee waived.

Only papers that have been presented at TFPIE may be submitted to the 
post-reviewing
process.

Best regards,
Elena  Machkasova (program committee chair)




-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/1f42dee7-49b4-4300-b37e-de0258cdfb95n%40googlegroups.com.


[racket-users] Get a job hacking scheme to save the internet!

2022-10-20 Thread Christine Lemmer-Webber
We're hiring over at the Spritely Institute (where I'm CTO!)
Put all that Racket'y PLT and Scheme'y experience to use!

  https://spritely.institute/news/we-are-hiring.html

We have implementations in Racket and Guile (though the latter is the
primary one these days, but both are being supported)!

We're an all-remote US based nonprofit, everything is free and open
source software.  Nice people too!  Come work with us!

 - Christine

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/87edv2fg0w.fsf%40dustycloud.org.


[racket-users] It is now possible to get a RacketCon ticket!

2022-10-12 Thread Stephen De Gabrielle
(resending here in case people have not subscribed 
to https://racket.discourse.group )

It is now possible to get a RacketCon ticket! The URL is 

https://payment.brown.edu/C20460_ustores/web/product_detail.jsp?PRODUCTID=4596=true=true

details here https://con.racket-lang.org

best wishes.

s.

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/419ffd0d-f5f3-479b-9360-3259aecb33c9n%40googlegroups.com.


[racket-users] PLDI 2023, Call for Workshops and Tutorials

2022-10-11 Thread 'William J. Bowman' via Racket Users
Please distribute widely:

# Call for Workshops and Tutorials

PLDI 2023 is a world-class forum for researchers and practitioners in 
programming language design and implementation. As in previous years, PLDI is 
soliciting proposals for co-located workshops and tutorials that will take 
place on **Saturday June 17th**, and **Sunday June 19th**. Please propose your 
workshop or tutorial via the submission system.

The following details will be asked on submission:

* Name of the workshop/tutorial.
* Duration of the workshop/tutorial.
* Organizers: names, affiliation, contact information, brief (100 words) 
biography.
* A short description (150-200 words) of the topic.
* Event format: workshop/tutorial; type of submissions, if any; review process; 
results dissemination.
* Expected attendance and target audience within the PLDI community.
* How you plan to foster an inclusive environment and promote a diverse 
attendance.
* Information on any previous iterations of the workshop or tutorial.

*Note:* Workshops must make their own acceptance decisions by **April 21, 
2023** if there will be proceedings (final versions due **May 5, 2023**), or 
**May 5, 2023** if they do not have proceedings.

## Submission
Submission site: 
https://pldi23.sigplan.org/createProposal/56d4b837-caa0-487c-85b8-61f855c8aa4f

Workshops that would like their proceedings included in the ACM Digital Library 
must submit a proposal by **November 18, 2022**.

Workshops and tutorials that will have no formal proceedings should submit a 
proposal by **November 30, 2022**.

## Review

Proposals are reviewed by the Workshop and Tutorials Chairs, and if necessary, 
by the PLDI general chair.

* Proposals will be evaluated according to the relevance of the topic, the 
expertise and experience of the workshop organizers, and their potential to 
attract participants.
* Proposals submitted between November 18th and 30th will be evaluated on a 
first-come-first-served basis.

## Notification

We will notify workshop/tutorial acceptance by **December 9th*.

## Timeline

Submission deadline (with proceedings): **November 18**

Submission deadline (no proceedings): **November 30**

Notification: **December 9**

## Dissemination

A proposal should clearly state how the results of the workshop — i.e., 
published papers and other outcomes — will be made available to participants 
and others before and after the workshop event. The Workshops and Tutorials 
Chair will provide guidance to the organizers of accepted workshops that wish 
to publish proceedings in the ACM Digital Library. For those that choose to 
publish their papers in ACM Digital Library, please add the following text in 
the workshop call for papers and on the website:

*AUTHORS TAKE NOTE:* The official publication date is the date the proceedings 
are made available in the ACM Digital Library. This date may be up to two weeks 
prior to the first day of your conference. The official publication date 
affects the deadline for any patent filings related to published work. (For 
those rare conferences whose proceedings are published in the ACM Digital 
Library after the conference is over, the official publication date remains the 
first day of the conference.)

Workshops that elect to publish proceedings can do so in the ACM Digital 
Library with sponsoring by SIGPLAN. The application for SIGPLAN sponsorship 
includes reviewing the proposed program committee with the SIGPLAN Executive 
Committee, a process which the chairs will help facilitate.

## Workshop Co-Chairs
- Nadia Polikarpova, U. of California at San Diego
- Zachary Tatlock, U. of Washington

-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.

Beyond the Racket Users Google Group, Racket Discussions take place on 
Discourse ( https://racket.discourse.group/ ) and Discord ( 
https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on 
the Racket Slack https://racket.slack.com/ ( sign up at 
https://racket-slack.herokuapp.com/ ), and IRC #racket 
https://kiwiirc.com/nextclient/irc.libera.chat/#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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/Y0XHINh8UXgsshbT%40williamjbowman.com.


[racket-users] still time to join the Summer #lang Party

2022-09-09 Thread Stephen De Gabrielle


There is still time to join the Summer #lang Party 
<https://github.com/lang-party/Summer2022/issues/new/choose>

Building a large language can take time, but have you considered a *little 
language*?

You might be able to do a little language in an afternoon or a weekend so 
there is plenty of time.

For inspiration maybe read Programming pearls: little languages Jon Bentley 
(CACM, 1986) <https://doi.org/10.1145/6424.315691>

To get started you have a choice

   - 17 Creating Languages 
   <https://docs.racket-lang.org/guide/languages.html> in the Racket Guide 
   (free)
   - Beautiful Racket 1 <https://beautifulracket.com/> ($39 / $19)

And don’t forget to ask for help: 

https://racket.discourse.group/c/questions

Discourse <https://racket.discourse.group/> (web forum / mailing list) and 
Discord <https://discord.gg/6Zq8sH5> (chat) are good places to ask.

Best regards

Stephen






-- 
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/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com.


Re: [racket-users] Writing a "command-line front-end" for a language

2022-09-08 Thread 'Reuben Thomas' via Racket Users
On Mon, 5 Sept 2022 at 02:20, Shu-Hung You 
wrote:

>
> Okay, if you want to bypass the #lang protocol entirely, here is the
> needed code. As you have expected, it uses eval and then calls
> dynamic-require.
>

Thanks very much for this code and detailed explanation, that was a great
help.

-- 
https://rrt.sc3d.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/CAOnWdojbFzJeD63jKeciqY0Zqq7WdXB5v%2B__qpwH2N9uEEJHFQ%40mail.gmail.com.


Re: Fwd: [racket-users] Writing a "command-line front-end" for a language

2022-09-08 Thread 'Reuben Thomas' via Racket Users
On Sun, 4 Sept 2022 at 19:39, Philip McGrath 
wrote:

>
> You may indeed want a tool that supports files without #lang if you are
> working with an existing language and there isn't a way to make the #lang
> line acceptable to its existing grammar.
>

That's exactly it!


> Despite the title of the chapter, this isn't limited to DrRacket: you also
> get editor support for your language in Emacs' racket-mode, VSCode, and
> other clients of the Language Server Protocol.
>

This is very cool! I didn't know until now. In particular, pleasing to this
Emacs user!

>
>- (Small caveat: I have not actually read Beautiful Racket, just
>looked at it admiringly, recommended it to others, and wished MB had
>written it a year earlier than he did.)
>
> I think I've already said I found it a good introduction; I will reiterate
that recommendation!

Thanks very much for the further advice.

-- 
https://rrt.sc3d.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/CAOnWdogXJ1grax-KJw8SDvmCbEK0QsbrmCvrMt_BJ0ygpv0ApQ%40mail.gmail.com.


Re: [racket-users] Math-quiz program

2022-09-07 Thread Hrvoje Blazevic
Thanks for the advice. I did not know about these tools, but apart from the 
fact that I really should know how to use them, I did just fine with 
DrRacket IDE where I just click on Racket->Crete Executable->Distribution 
(to install on other machines), and GRacket, and all is done for me.
My original question was not how to create stand alone executable, but 
where can I post my executable for others to use.


On Wednesday, September 7, 2022 at 3:40:49 AM UTC+8 johnbclements wrote:

> There are two raco tools that might be of use to you: here’s a link to the 
> documentation for both of them:
>
> https://docs.racket-lang.org/guide/exe.html
>
> Also, I personally recommend using the discourse forum rather than this 
> mailing list. Following the transition to discourse last year, the users 
> mailing list is much less frequently used.
>
> https://racket.discourse.group/
>
> John Clements
>
>
> On Sep 5, 2022, at 07:25, Hrvoje Blazevic  wrote:
>
> I've been working last several months on a GUI math training/understanding 
> program for my 6 year old daughter who just started grade 1 (in Philippines 
> - they start beginning of June). 
> Originally I started with addition and subtraction, but as every new topic 
> (math related) was introduced in school (like basic idea of fractions, 
> clock and many others) and as I saw problems in understanding, I would add 
> a new exercise to the program. It contains 12 exercises in all now, and is 
> pretty much complete (I run out of ideas) :-) .
>
> My problem/question is following. 
> As I've seen with my daughter, the program is very successful in teaching 
> (at least it is with my daughter), and she actually enjoys using it (which 
> was not the case when I originally started with papers of printed 
> problems). Therefore I would like to post this program on the internet for 
> other parents to use, but I can't find where Racket compiled/standalone 
> programs are posted.
>
> I have of-course found Racket packages repository, but (I admit I know 
> nothing of Racket packages) it does not seem to be what I need. As far as I 
> see it, packages are for people who use racket, have racket installed on 
> their computers, and know how to handle packages. 
> This is definitely not the folks I have in mind for my program.
>
> So is there such a repository where I can post tarball containing compiled 
> program, and source code.
>
> Hrvoje Blazevic
>
>
> -- 
> 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...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com
>  
> <https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com?utm_medium=email_source=footer>
> .
>
>

-- 
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/0366fe1d-3e7f-45ec-a0f5-b7031de0572bn%40googlegroups.com.


Re: [racket-users] Math-quiz program

2022-09-07 Thread Hrvoje Blazevic
Sure, here is the link:  https://hrvoje064.itch.io/jasnas-math-quiz



On Wednesday, September 7, 2022 at 3:41:50 AM UTC+8 jimmy...@gmail.com 
wrote:

> Can you link the game ?
>
> I would like to check it out.
>
> On Tue, Sep 6, 2022 at 2:40 PM 'John Clements' via Racket Users <
> racket...@googlegroups.com> wrote:
>
>> There are two raco tools that might be of use to you: here’s a link to 
>> the documentation for both of them:
>>
>> https://docs.racket-lang.org/guide/exe.html
>>
>> Also, I personally recommend using the discourse forum rather than this 
>> mailing list. Following the transition to discourse last year, the users 
>> mailing list is much less frequently used.
>>
>> https://racket.discourse.group/
>>
>> John Clements
>>
>>
>> On Sep 5, 2022, at 07:25, Hrvoje Blazevic  wrote:
>>
>> I've been working last several months on a GUI math 
>> training/understanding program for my 6 year old daughter who just started 
>> grade 1 (in Philippines - they start beginning of June). 
>> Originally I started with addition and subtraction, but as every new 
>> topic (math related) was introduced in school (like basic idea of 
>> fractions, clock and many others) and as I saw problems in understanding, I 
>> would add a new exercise to the program. It contains 12 exercises in all 
>> now, and is pretty much complete (I run out of ideas) :-) .
>>
>> My problem/question is following. 
>> As I've seen with my daughter, the program is very successful in teaching 
>> (at least it is with my daughter), and she actually enjoys using it (which 
>> was not the case when I originally started with papers of printed 
>> problems). Therefore I would like to post this program on the internet for 
>> other parents to use, but I can't find where Racket compiled/standalone 
>> programs are posted.
>>
>> I have of-course found Racket packages repository, but (I admit I know 
>> nothing of Racket packages) it does not seem to be what I need. As far as I 
>> see it, packages are for people who use racket, have racket installed on 
>> their computers, and know how to handle packages. 
>> This is definitely not the folks I have in mind for my program.
>>
>> So is there such a repository where I can post tarball containing 
>> compiled program, and source code.
>>
>> Hrvoje Blazevic
>>
>>
>> -- 
>> 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...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>>
>> -- 
>> 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...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/e6302ee9-c345-45fe-8576-a4fd1223d176%40mtasv.net
>>  
>> <https://groups.google.com/d/msgid/racket-users/e6302ee9-c345-45fe-8576-a4fd1223d176%40mtasv.net?utm_medium=email_source=footer>
>> .
>>
>

-- 
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/d7226be6-ffc8-4c66-90d1-34c6776bc58bn%40googlegroups.com.


Re: [racket-users] Math-quiz program

2022-09-06 Thread Jimmy Ruska
Can you link the game ?

I would like to check it out.

On Tue, Sep 6, 2022 at 2:40 PM 'John Clements' via Racket Users <
racket-users@googlegroups.com> wrote:

> There are two raco tools that might be of use to you: here’s a link to the
> documentation for both of them:
>
> https://docs.racket-lang.org/guide/exe.html
>
> Also, I personally recommend using the discourse forum rather than this
> mailing list. Following the transition to discourse last year, the users
> mailing list is much less frequently used.
>
> https://racket.discourse.group/
>
> John Clements
>
>
> On Sep 5, 2022, at 07:25, Hrvoje Blazevic  wrote:
>
> I've been working last several months on a GUI math training/understanding
> program for my 6 year old daughter who just started grade 1 (in Philippines
> - they start beginning of June).
> Originally I started with addition and subtraction, but as every new topic
> (math related) was introduced in school (like basic idea of fractions,
> clock and many others) and as I saw problems in understanding, I would add
> a new exercise to the program. It contains 12 exercises in all now, and is
> pretty much complete (I run out of ideas) :-) .
>
> My problem/question is following.
> As I've seen with my daughter, the program is very successful in teaching
> (at least it is with my daughter), and she actually enjoys using it (which
> was not the case when I originally started with papers of printed
> problems). Therefore I would like to post this program on the internet for
> other parents to use, but I can't find where Racket compiled/standalone
> programs are posted.
>
> I have of-course found Racket packages repository, but (I admit I know
> nothing of Racket packages) it does not seem to be what I need. As far as I
> see it, packages are for people who use racket, have racket installed on
> their computers, and know how to handle packages.
> This is definitely not the folks I have in mind for my program.
>
> So is there such a repository where I can post tarball containing compiled
> program, and source code.
>
> Hrvoje Blazevic
>
>
> --
> 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/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com?utm_medium=email_source=footer>
> .
>
>
> --
> 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/e6302ee9-c345-45fe-8576-a4fd1223d176%40mtasv.net
> <https://groups.google.com/d/msgid/racket-users/e6302ee9-c345-45fe-8576-a4fd1223d176%40mtasv.net?utm_medium=email_source=footer>
> .
>

-- 
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/CAGKH0e3DVSpCrjSth6rVH2b1FH9deWBLM9KP5sjsMkN48nva_Q%40mail.gmail.com.


Re: [racket-users] Math-quiz program

2022-09-06 Thread 'John Clements' via Racket Users
There are two raco tools that might be of use to you: here’s a link to the 
documentation for both of them:

https://docs.racket-lang.org/guide/exe.html

Also, I personally recommend using the discourse forum rather than this mailing 
list. Following the transition to discourse last year, the users mailing list 
is much less frequently used.

https://racket.discourse.group/

John Clements


> On Sep 5, 2022, at 07:25, Hrvoje Blazevic  wrote:
> 
> I've been working last several months on a GUI math training/understanding 
> program for my 6 year old daughter who just started grade 1 (in Philippines - 
> they start beginning of June). 
> Originally I started with addition and subtraction, but as every new topic 
> (math related) was introduced in school (like basic idea of fractions, clock 
> and many others) and as I saw problems in understanding, I would add a new 
> exercise to the program. It contains 12 exercises in all now, and is pretty 
> much complete (I run out of ideas) :-) .
> 
> My problem/question is following. 
> As I've seen with my daughter, the program is very successful in teaching (at 
> least it is with my daughter), and she actually enjoys using it (which was 
> not the case when I originally started with papers of printed problems). 
> Therefore I would like to post this program on the internet for other parents 
> to use, but I can't find where Racket compiled/standalone programs are posted.
> 
> I have of-course found Racket packages repository, but (I admit I know 
> nothing of Racket packages) it does not seem to be what I need. As far as I 
> see it, packages are for people who use racket, have racket installed on 
> their computers, and know how to handle packages. 
> This is definitely not the folks I have in mind for my program.
> 
> So is there such a repository where I can post tarball containing compiled 
> program, and source code.
> 
> Hrvoje Blazevic
> 
> 
> -- 
> 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 
> <mailto:racket-users+unsubscr...@googlegroups.com>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com
>  
> <https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com?utm_medium=email_source=footer>.

-- 
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/e6302ee9-c345-45fe-8576-a4fd1223d176%40mtasv.net.


Re: [racket-users] Math-quiz program

2022-09-05 Thread Jimmy Ruska
Hmm try itch.io

I also made the some a long time back
http://www.jimmyr.com/blog/Speed_Math_Trainer_Program_126_2006.php
But it now requires a local download of flash player to open the swf files
from that page
https://get.adobe.com/flashplayer/about

On Mon, Sep 5, 2022 at 9:25 AM Hrvoje Blazevic  wrote:

> I've been working last several months on a GUI math training/understanding
> program for my 6 year old daughter who just started grade 1 (in Philippines
> - they start beginning of June).
> Originally I started with addition and subtraction, but as every new topic
> (math related) was introduced in school (like basic idea of fractions,
> clock and many others) and as I saw problems in understanding, I would add
> a new exercise to the program. It contains 12 exercises in all now, and is
> pretty much complete (I run out of ideas) :-) .
>
> My problem/question is following.
> As I've seen with my daughter, the program is very successful in teaching
> (at least it is with my daughter), and she actually enjoys using it (which
> was not the case when I originally started with papers of printed
> problems). Therefore I would like to post this program on the internet for
> other parents to use, but I can't find where Racket compiled/standalone
> programs are posted.
>
> I have of-course found Racket packages repository, but (I admit I know
> nothing of Racket packages) it does not seem to be what I need. As far as I
> see it, packages are for people who use racket, have racket installed on
> their computers, and know how to handle packages.
> This is definitely not the folks I have in mind for my program.
>
> So is there such a repository where I can post tarball containing compiled
> program, and source code.
>
> Hrvoje Blazevic
>
> --
> 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/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/CAGKH0e1iFeR%2BuZ5hx-BTgM9LmQc4QXHxqWbtWsjWVbgs-7fC%2Bw%40mail.gmail.com.


[racket-users] Math-quiz program

2022-09-05 Thread Hrvoje Blazevic
I've been working last several months on a GUI math training/understanding 
program for my 6 year old daughter who just started grade 1 (in Philippines 
- they start beginning of June). 
Originally I started with addition and subtraction, but as every new topic 
(math related) was introduced in school (like basic idea of fractions, 
clock and many others) and as I saw problems in understanding, I would add 
a new exercise to the program. It contains 12 exercises in all now, and is 
pretty much complete (I run out of ideas) :-) .

My problem/question is following. 
As I've seen with my daughter, the program is very successful in teaching 
(at least it is with my daughter), and she actually enjoys using it (which 
was not the case when I originally started with papers of printed 
problems). Therefore I would like to post this program on the internet for 
other parents to use, but I can't find where Racket compiled/standalone 
programs are posted.

I have of-course found Racket packages repository, but (I admit I know 
nothing of Racket packages) it does not seem to be what I need. As far as I 
see it, packages are for people who use racket, have racket installed on 
their computers, and know how to handle packages. 
This is definitely not the folks I have in mind for my program.

So is there such a repository where I can post tarball containing compiled 
program, and source code.

Hrvoje Blazevic

-- 
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/41d08993-f323-4044-8c7c-239b58dcca8en%40googlegroups.com.


Re: [racket-users] Writing a "command-line front-end" for a language

2022-09-04 Thread Shu-Hung You
On Sun, Sep 4, 2022 at 4:21 AM Reuben Thomas  wrote:
>
> On Sat, 3 Sept 2022 at 19:10, Shu-Hung You  wrote:
>>
>> Running `racket foo.asm` will produce the desired output, so a shell
>> script that directly passes the arguments to Racket could work.
>> Otherwise, just use (dynamic-require filename #f) in main.rkt.
>
>
> Thanks for helping!
>
> Don't both of these methods require a #lang line in the input file? That's 
> not part of the assembly format, so I want to be able to specify the language 
> in the main module. Indeed, when I try it with a file with a #lang line, 
> dynamic-require works; when I remove that line, I get an error about a 
> missing module declaration (no surprise). I can see an obvious workaround, 
> namely to slurp the file and prepend a module declaration before 
> dynamic-requiring it, but that's ugly.
>
> So it seems that in fact what I want is to call something like 
> dynamic-require with a module object. But I'm not sure what to call or how to 
> get one of those: read-syntax returns a syntax object, not a module, while I 
> don't (yet) know how to apply my expander's #%module-begin to it to obtain a 
> module.
>

Okay, if you want to bypass the #lang protocol entirely, here is the
needed code. As you have expected, it uses eval and then calls
dynamic-require.

diff --git a/asm.rkt b/asm.rkt
index f2f1e89..4d024d8 100644
--- a/asm.rkt
+++ b/asm.rkt
@@ -6,6 +6,7 @@

 (define (read-syntax path port)
   (define parse-tree (parse path (make-tokenizer port path)))
-  (strip-bindings
-   #`(module hackasm-mod hackasm/expander
-   #,parse-tree)))
+  (datum->syntax
+   #f
+   `(,#'module hackasm-mod hackasm/expander
+  ,parse-tree)))
diff --git a/main.rkt b/main.rkt
index 9f2af0b..9cccf22 100644
--- a/main.rkt
+++ b/main.rkt
@@ -8,4 +8,6 @@
   #:program "hackasm" ; FIXME: get name from project
   #:args (filename)
   filename)))
-(dynamic-require filename #f)))
\ No newline at end of file
+(parameterize ([current-namespace (make-base-empty-namespace)])
+  (eval (read-syntax filename (open-input-file filename)))
+  (dynamic-require '(quote hackasm-mod) #f

There are two technical details. The eval function takes pretty much
everything --- plain values, syntax objects, or just S-expressions,
etc. For eval, the difference between syntax objects and S-expressions
is that syntax objects carry binding information with them, therefore
eval can correctly run the code without the risk of misinterpreting
identifiers. The syntax object that your read-syntax returns is almost
runnable, so I use eval to evaluate the resulting module form (i.e.
#'(module hackasm-mod hackasm/expander ...)). This will declare a
module called ‘hackasm-mod’ together with its code in the current
namespace's module registry. Subsequently, dynamic-require
instantiates the module ‘hackasm-mod’ to run its body. The reference
https://docs.racket-lang.org/reference/module.html#%28form._%28%28quote._~23~25kernel%29._module%29%29
specifies what evaluating a module form results in (search for
"evaluation"). In dynamic-require, the module path (quote hackasm-mod)
refers to the module declared with the name ‘hackasm-mod’. In the more
common cases, module paths would be complete file paths. The page
https://docs.racket-lang.org/guide/module-paths.html explains the
syntax of module paths.

In the original read-syntax, I suppose strip-bindings removes all
binding information associated with the given syntax objects.
Consequently, eval would fail to interpret the resulting module form
because the "module" identifier in it is unbound and thus has no
meaning. To fix the issue, I explicitly use the #'module identifier
found in asm.rkt (which is the Racket binding of ‘module’, brought
into context by #lang br/quicklang). Then datum->syntax turns the
entire list into a syntax object with no binding information.
Equivalently, instead of changing read-syntax you can manually fix the
#'module identifier before `eval` using the low-level APIs syntax-e
and datum->syntax.

>> At the technical level, foo.asm is in fact an ordinary Racket module,
>> just like any other .rkt file. Therefore it can be run in the same way
>> using APIs that require and instantiate modules.
>
>
> Right! That's what I've obviously not fully understood yet.
>
> (Thanks for the side node about moving to Discourse—it's a while since I've 
> been active on the list!)
>
> --
> https://rrt.sc3d.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/CAMTzy%2BavnPCDvR8wHN3O_9BgnpQK%2BtamD9PqmBwd%2B9j-YGHUqg%40mail.gmail.com.


Re: Fwd: [racket-users] Writing a "command-line front-end" for a language

2022-09-04 Thread Philip McGrath
html> to get the contents of 
the non-#lang files. A simple approach would have a wrapper file for every 
#lang-less file, and it could automatically include a file of the same name but 
a different extension. More elaborate wrapper languages would also be possible: 
it could work like a sort of linker specification. I mention this because it 
can be a useful technique sometimes, though I don't think it's what you want. 
For an example of how this sort of thing can be useful, see `#lang s-exp 
srfi/provider`, which simplifies making SRFI libraries available under several 
different names, for compatibility: it's implemented in 
<https://github.com/racket/srfi/blob/master/srfi-lite-lib/srfi/provider.rkt> 
and used e.g. in 
<https://github.com/racket/srfi/blob/master/srfi-lite-lib/srfi/1.rkt> and 
<https://github.com/racket/srfi/blob/master/srfi-lib/srfi/%253a63/arrays.rkt>.

Hope this helps!

-Philip

-- 
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/c97601c4-22ae-44d6-a464-30a032fd36fc%40www.fastmail.com.


Re: Fwd: [racket-users] Writing a "command-line front-end" for a language

2022-09-04 Thread 'Reuben Thomas' via Racket Users
On Sun, 4 Sept 2022 at 10:31, Reuben Thomas  wrote:

> On Sun, 4 Sept 2022 at 04:13, Philip McGrath 
> wrote:
>
>>
>> However, in some cases you might really want a program other than
>> `racket` as the entry point for your language: for instance, maybe you want
>> to have flags for controlling where the output goes. One example of such a
>> program is the `scribble` executable included in the main Racket
>> distribution. The implementation is in <
>> https://github.com/racket/scribble/blob/master/scribble-lib/scribble/run.rkt>,
>> and the associated "info.rkt" file (<
>> https://github.com/racket/scribble/blob/master/scribble-lib/scribble/info.rkt>)
>> arranges for `raco setup` to create a `scribble` to run it. (This example
>> uses the old mzscheme-launcher-names/mzscheme-launcher-libraries instead of
>> the newer racket-launcher-names/racket-launcher-libraries: see
>> documentation at <
>> https://docs.racket-lang.org/raco/setup-info.html#%28idx._%28gentag._18._%28lib._scribblings%2Fraco%2Fraco..scrbl%29%29%29
>> >.)
>>
>
> Thanks for the pointer.
>
>
>> It is possible to use Racket to implement languages that don't use #lang,
>> but you would loose many advantages like IDE support and well-defined
>> separate compilation, and you would need to use some fairly low-level
>> mechanisms. Unless there is a hard requirement, I'd recommend that you just
>> use #lang in your programs.
>
>
> I'm trying to write a standalone assembler (nothing to do with Racket), so
> I'm happy to lose this advantage!
>

OK, I've had another look, and I still can't see how to do this, so I would
appreciate a hint. I have updated my repo to add a launcher script, but
again this only works with files that have a #lang line. As I said before,
I have worked out how to parse a file without a #lang line (just pass it to
my language's read-syntax), but I can't work out how to turn that into a
module and execute it. I guess I need something like dynamic-require that
takes a syntax-object and an expander module or #%begin-module macro as
arguments?

-- 
https://rrt.sc3d.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/CAOnWdojuQbYuUAkGmN-thwSzq4iEyV%2BA20QzEj1FxUgoRKr5CA%40mail.gmail.com.


Re: Fwd: [racket-users] Writing a "command-line front-end" for a language

2022-09-04 Thread 'Reuben Thomas' via Racket Users
On Sun, 4 Sept 2022 at 04:13, Philip McGrath 
wrote:

>
> However, in some cases you might really want a program other than `racket`
> as the entry point for your language: for instance, maybe you want to have
> flags for controlling where the output goes. One example of such a program
> is the `scribble` executable included in the main Racket distribution. The
> implementation is in <
> https://github.com/racket/scribble/blob/master/scribble-lib/scribble/run.rkt>,
> and the associated "info.rkt" file (<
> https://github.com/racket/scribble/blob/master/scribble-lib/scribble/info.rkt>)
> arranges for `raco setup` to create a `scribble` to run it. (This example
> uses the old mzscheme-launcher-names/mzscheme-launcher-libraries instead of
> the newer racket-launcher-names/racket-launcher-libraries: see
> documentation at <
> https://docs.racket-lang.org/raco/setup-info.html#%28idx._%28gentag._18._%28lib._scribblings%2Fraco%2Fraco..scrbl%29%29%29
> >.)
>

Thanks for the pointer.


> It is possible to use Racket to implement languages that don't use #lang,
> but you would loose many advantages like IDE support and well-defined
> separate compilation, and you would need to use some fairly low-level
> mechanisms. Unless there is a hard requirement, I'd recommend that you just
> use #lang in your programs.


I'm trying to write a standalone assembler (nothing to do with Racket), so
I'm happy to lose this advantage!

There are many possible ways to organize this…


Thanks for this, that's exactly what I was after.

-- 
https://rrt.sc3d.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/CAOnWdogTj%3DzMsqCZJhBv%2BiS8zpU2nqETgsiOOt7Wr7aAOmzNzA%40mail.gmail.com.


Re: [racket-users] Writing a "command-line front-end" for a language

2022-09-04 Thread 'Reuben Thomas' via Racket Users
On Sat, 3 Sept 2022 at 19:10, Shu-Hung You 
wrote:

> Running `racket foo.asm` will produce the desired output, so a shell
> script that directly passes the arguments to Racket could work.
> Otherwise, just use (dynamic-require filename #f) in main.rkt.
>

Thanks for helping!

Don't both of these methods require a #lang line in the input file? That's
not part of the assembly format, so I want to be able to specify the
language in the main module. Indeed, when I try it with a file with a #lang
line, dynamic-require works; when I remove that line, I get an error about
a missing module declaration (no surprise). I can see an obvious
workaround, namely to slurp the file and prepend a module declaration
before dynamic-requiring it, but that's ugly.

So it seems that in fact what I want is to call something like
dynamic-require with a module object. But I'm not sure what to call or how
to get one of those: read-syntax returns a syntax object, not a module,
while I don't (yet) know how to apply my expander's #%module-begin to it to
obtain a module.

At the technical level, foo.asm is in fact an ordinary Racket module,
> just like any other .rkt file. Therefore it can be run in the same way
> using APIs that require and instantiate modules.
>

Right! That's what I've obviously not fully understood yet.

(Thanks for the side node about moving to Discourse—it's a while since I've
been active on the list!)

-- 
https://rrt.sc3d.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/CAOnWdojngwzQRGz0dj1QpA4OJixOKGMXGLrepdae08D8dhpJfQ%40mail.gmail.com.


Re: Fwd: [racket-users] Writing a "command-line front-end" for a language

2022-09-03 Thread Philip McGrath
On Sat, Sep 3, 2022, at 2:09 PM, Shu-Hung You wrote:
> -- Forwarded message -
> From: Shu-Hung You 
> Date: Sat, Sep 3, 2022 at 1:03 PM
> Subject: Re: [racket-users] Writing a "command-line front-end" for a language
> To: Reuben Thomas 
>
>
> Running `racket foo.asm` will produce the desired output, so a shell
> script that directly passes the arguments to Racket could work.
> Otherwise, just use (dynamic-require filename #f) in main.rkt.
>
> At the technical level, foo.asm is in fact an ordinary Racket module,
> just like any other .rkt file. Therefore it can be run in the same way
> using APIs that require and instantiate modules.
>
> ---
>
> On a side note, the forum has mostly moved to Discourse
> (https://racket.discourse.group/).
>

This is all correct, and you can also make just `./foo.asm` work: 
https://docs.racket-lang.org/guide/scripts.html

However, in some cases you might really want a program other than `racket` as 
the entry point for your language: for instance, maybe you want to have flags 
for controlling where the output goes. One example of such a program is the 
`scribble` executable included in the main Racket distribution. The 
implementation is in 
<https://github.com/racket/scribble/blob/master/scribble-lib/scribble/run.rkt>, 
and the associated "info.rkt" file 
(<https://github.com/racket/scribble/blob/master/scribble-lib/scribble/info.rkt>)
 arranges for `raco setup` to create a `scribble` to run it. (This example uses 
the old mzscheme-launcher-names/mzscheme-launcher-libraries instead of the 
newer racket-launcher-names/racket-launcher-libraries: see documentation at 
<https://docs.racket-lang.org/raco/setup-info.html#%28idx._%28gentag._18._%28lib._scribblings%2Fraco%2Fraco..scrbl%29%29%29>.)

A couple additional details:

> On Sat, Sep 3, 2022 at 6:01 AM 'Reuben Thomas' via Racket Users
>  wrote:
>>
>> I have a partial implementation up and running using #lang lines. I would 
>> like to add a more traditional command-line interface, so I can (eventually) 
>> say:
>>
>> hackasm foo.asm
>>
>> on a file without a #lang line.
>>
>> My code is available at https://github.com/rrthomas/hackasm
>>
>> [...]
>>
>> So far, all I've worked out how to do is run the language's read-syntax 
>> function (imported from parser.rkt), and thereby return the parsed syntax 
>> object as the result.
>>
>> What I'd like to do is call the evaluator on the parse tree, but after a lot 
>> of scratching my head over the Racket documentation and search results, I 
>> cannot work out how to do that.

It is possible to use Racket to implement languages that don't use #lang, but 
you would loose many advantages like IDE support and well-defined separate 
compilation, and you would need to use some fairly low-level mechanisms. Unless 
there is a hard requirement, I'd recommend that you just use #lang in your 
programs. For example, the whole family of languages supported by the 
`scribble` command-line tool use #lang. (Indeed, #lang is how the tool can 
support a whole *family* of languages.)

> On Sat, Sep 3, 2022 at 6:01 AM 'Reuben Thomas' via Racket Users
>  wrote:
>>
>> I have implemented the language as a dialect, so that the "main.rkt" module 
>> is "free" to be used for the command-line interface. (Perhaps this can be 
>> fixed too, that would be nice!)
>>
>> [...]
>>
>> The contents of my main.rkt looks like this:
>>
>> #lang br/quicklang
>> (require "parser.rkt" "tokenizer.rkt" (submod "asm.rkt" reader))
>>
>> (module+ main
>>   (require racket/cmdline)
>>   (let ((filename
>>  (command-line
>>   #:program "hackasm" ;
>>   #:args (filename)
>>   filename)))
>> (read-syntax filename (open-input-file filename
>>

There are many possible ways to organize this: to some extent it's a matter of 
how you expect your language and cli to be used, and to some extent it's a 
matter of taste. I wouldn't consider your current organization "wrong", 
necessarily. But, if you'd like hackasm to be a multi-purpose entry point, one 
way to do that would be:

 1. Move "expander.rkt" to "main.rkt"

 2. Add a reader submodule like the one in "asm.rkt", but using just hackasm 
where you currently have hackasm/expander in the result of read-systax. 
Optionally, you might consider using syntax/module-reader (Guide: 
<https://docs.racket-lang.org/guide/syntax_module-reader.html> Reference: 
<https://docs.racket-lang.org/syntax/reader-helpers.html#%28mod-path._syntax%2Fmodule-reader%29>)
 with the #:w

Fwd: [racket-users] Writing a "command-line front-end" for a language

2022-09-03 Thread Shu-Hung You
-- Forwarded message -
From: Shu-Hung You 
Date: Sat, Sep 3, 2022 at 1:03 PM
Subject: Re: [racket-users] Writing a "command-line front-end" for a language
To: Reuben Thomas 


Running `racket foo.asm` will produce the desired output, so a shell
script that directly passes the arguments to Racket could work.
Otherwise, just use (dynamic-require filename #f) in main.rkt.

At the technical level, foo.asm is in fact an ordinary Racket module,
just like any other .rkt file. Therefore it can be run in the same way
using APIs that require and instantiate modules.

---

On a side note, the forum has mostly moved to Discourse
(https://racket.discourse.group/).

On Sat, Sep 3, 2022 at 6:01 AM 'Reuben Thomas' via Racket Users
 wrote:
>
> I'm a relative Racket newbie, and I've just enjoyed Beautiful Racket.
>
> I am working on a Racket implementation of a simple assembler (for the Hack 
> VM in the NAND2Tetris course).
>
> I have a partial implementation up and running using #lang lines. I would 
> like to add a more traditional command-line interface, so I can (eventually) 
> say:
>
> hackasm foo.asm
>
> on a file without a #lang line.
>
> My code is available at https://github.com/rrthomas/hackasm
>
> Here's the nub of the problem: I can't work out how to call the language 
> evaluator "manually". I have implemented the language as a dialect, so that 
> the "main.rkt" module is "free" to be used for the command-line interface. 
> (Perhaps this can be fixed too, that would be nice!)
>
> A typical assembler file might start like this:
>
> #lang hackasm/asm
> @2
> D=A
> @3
>
> When I run this file (e.g. in DrRacket), I get some output as expected:
>
> 0010
> 11101101
> 0011
>
> (The assembler outputs ASCII-encoded binary!)
>
> The contents of my main.rkt looks like this:
>
> #lang br/quicklang
> (require "parser.rkt" "tokenizer.rkt" (submod "asm.rkt" reader))
>
> (module+ main
>   (require racket/cmdline)
>   (let ((filename
>  (command-line
>   #:program "hackasm" ;
>   #:args (filename)
>   filename)))
> (read-syntax filename (open-input-file filename
>
> So far, all I've worked out how to do is run the language's read-syntax 
> function (imported from parser.rkt), and thereby return the parsed syntax 
> object as the result.
>
> What I'd like to do is call the evaluator on the parse tree, but after a lot 
> of scratching my head over the Racket documentation and search results, I 
> cannot work out how to do that. I presume the code should look something like:
>
> (eval (??? (read-syntax filename (open-input-file filename
>
> where in the end I'm eval-ing a form, and where ??? represents something that 
> turns the syntax object into a runnable module.
>
> Apologies for the length of this post (I was unsure how I could make it 
> shorter), and thanks in advance for any help!
>
> --
> https://rrt.sc3d.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/CAOnWdohy31fHyvUd9rbY8tZFLJKUpevgnZ8jPH2-5_QtSFm%2BhA%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/CAMTzy%2BYSy2DH3zzdpzujRuiu37zMzKYZvu0p%2Bfk1RsNqeuJRDQ%40mail.gmail.com.


[racket-users] Writing a "command-line front-end" for a language

2022-09-03 Thread 'Reuben Thomas' via Racket Users
I'm a relative Racket newbie, and I've just enjoyed *Beautiful Racket*.

I am working on a Racket implementation of a simple assembler (for the Hack
VM in the NAND2Tetris course).

I have a partial implementation up and running using #lang lines. I would
like to add a more traditional command-line interface, so I can
(eventually) say:

hackasm foo.asm

on a file without a #lang line.

My code is available at https://github.com/rrthomas/hackasm

Here's the nub of the problem: I can't work out how to call the language
evaluator "manually". I have implemented the language as a dialect, so that
the "main.rkt" module is "free" to be used for the command-line interface.
(Perhaps this can be fixed too, that would be nice!)

A typical assembler file might start like this:

#lang hackasm/asm
@2
D=A
@3

When I run this file (e.g. in DrRacket), I get some output as expected:

0010
11101101
0011

(The assembler outputs ASCII-encoded binary!)

The contents of my main.rkt looks like this:

#lang br/quicklang
(require "parser.rkt" "tokenizer.rkt" (submod "asm.rkt" reader))

(module+ main
  (require racket/cmdline)
  (let ((filename
 (command-line
  #:program "hackasm" ;
  #:args (filename)
  filename)))
(read-syntax filename (open-input-file filename

So far, all I've worked out how to do is run the language's read-syntax
function (imported from parser.rkt), and thereby return the parsed syntax
object as the result.

What I'd like to do is call the evaluator on the parse tree, but after a
lot of scratching my head over the Racket documentation and search results,
I cannot work out how to do that. I presume the code should look something
like:

(eval (??? (read-syntax filename (open-input-file filename

where in the end I'm eval-ing a form, and where ??? represents something
that turns the syntax object into a runnable module.

Apologies for the length of this post (I was unsure how I could make it
shorter), and thanks in advance for any help!

-- 
https://rrt.sc3d.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/CAOnWdohy31fHyvUd9rbY8tZFLJKUpevgnZ8jPH2-5_QtSFm%2BhA%40mail.gmail.com.


[racket-users] IFL22: Early registration deadline August 15th

2022-08-15 Thread Pieter Koopman
papers will be made available to all participants
at the symposium. Each draft paper is presented by one of the authors at
the symposium. Notice that it is a requirement that draft papers that are
accepted for presentation be presented physically at the symposium.


After the symposium the authors are invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality, relevance, significance, and clarity, and will thereby
determine whether the paper will be accepted or rejected for the formal
proceedings. Papers that are accepted for the formal proceedings are
published in the International Conference Proceedings Series of the ACM
Digital Library, as in previous years.


*Peter Landin Prize*


The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program
committee based on the submissions received for the formal review process.
The prize carries a cash award equivalent to 150 Euros.


*Sponsors*


IFL 2022 is financially supported by

   - Meta (Silver sponsor),
   - Well-typed (Bronze sponsor),
   - Funktionelle Københavnere (Bronze sponsor), and
   - University of Copenhagen (administrative support, host).


*Organisation*


General chair Fritz Henglein, University of Copenhagen

Program chair Martin Elsman, University of Copenhagen

Communications chair  Troels Henriksen, University of Copenhagen


*Program committee*


Laura M. Castro   Universidade da Coruña, Spain

David ChristiansenHaskell Foundation

Martin Elsman University of Copenhagen, Denmark (chair)

Matthew Fluet Rochester Institute of Technology, USA

Clemens GrelckUniversiteit van Amsterdam, The Netherlands

Zhenjiang Hu  Peking University, China

Robin Kaarsgaard  University of Edinburgh, Scotland

Gabriele Keller   Utrecht University, The Netherlands

Oleg Kiselyov Tohoku University, Japan

Neil Mitchell Facebook

Stefan MonnierUniversite de Montreal, Canada

Magnus Myreen Chalmers University, Sweden

Cyrus OmarUniversity of Michigan, USA

Romain PéchouxUniversity of Lorraine, Inria, France

Rinus Plasmeijer  Radboud University, The Netherlands

Morten Rhiger Roskilde University, Denmark

Peter van Roy Catholic University of Louvain, Belgium

Olin Shivers  Northeastern University, USA

Peter ThiemannUniversity of Freiburg, Germany

Marcos Viera  Universidad de la República, Uruguay

Meng Wang University of Bristol, UK

[image: beacon]

-- 
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/CAGtcRvCvaWTzV%2BL3bYO573pwiT8pLuovL7WPxRfGxAJeYAEN9w%40mail.gmail.com.


[racket-users] Racket v8.6 is now available

2022-08-11 Thread Stephen De Gabrielle


Racket v8.6 is now available from https://download.racket-lang.org/ 
Enhancements 
include equal-always?, stencil vectors, Windows on Arm64, simultaneous 
substitutions in Redex, enhancement to the Web Server, LOP build system and 
many other repairs and changes!

See https://blog.racket-lang.org/2022/08/racket-v8-6.html for details.


-- 
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/fc643db8-def5-4922-8d2f-24e4f3e8b861n%40googlegroups.com.


Re: [racket-users] how do I remove a specified collection?

2022-08-10 Thread David Storrs
The problem is more likely to do with the shell misunderstanding '?', but
you can find a collection using:
https://docs.racket-lang.org/raco-fc/index.html

On Mon, Aug 8, 2022 at 11:31 AM Don Green 
wrote:

> $ raco setup ?
> collection-path: collection not found
>   collection: "t"
>
> How do I go about finding and removing: collection: "t"  ?
> Thanks.
>
> --
> 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/57fecc34-3485-415b-8c9d-fcb57ef4d15cn%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/57fecc34-3485-415b-8c9d-fcb57ef4d15cn%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/CAE8gKod%3DJb7To0_YJPUWjPDLJ-Z1Ndq8Jzqw6u-4p%3DzXWyeVtA%40mail.gmail.com.


Re: [racket-users] raco pkg for a one-directory, moveable installation

2022-08-09 Thread knigh...@gmail.com
Thanks, that fixed it - I had set up  a script to do this a while ago but 
lost it, 
and forgot that this was in there. 

On Monday, August 8, 2022 at 10:24:11 PM UTC-4 Philip McGrath wrote:

> Hi,
>
> On Mon, Aug 8, 2022, at 5:46 PM, knigh...@gmail.com wrote:
> > Hello all
> > 
> > I'm trying to generate an installation that is self-contained, that I 
> can move to another machine just by tar-untar or zip-unzip.
> > 
> > The target machine may never be connected to the internet, so if I want 
> to install packages I must follow this procedure. 
> > 
>
> I would suggest running:
>
> ./bin/raco pkg config -i --set default-scope installation
>
> Setting the default scope to `installation` will cause commands like `raco 
> pkg install` to install packages in the "pkgs" directory of your 
> self-contained installation, rather than putting packages in a 
> user-specific place by default.
>
> (The more general `--scope` option is tricky to use correctly: I would 
> think of it as a hook for higher-level tools.)
>
> -Philip
>

-- 
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/11ccb897-b418-46e0-bfb4-eaa5c6caf793n%40googlegroups.com.


[racket-users] Re: how could I obtain more context to isolate the problem?

2022-08-09 Thread D. Ben Knoble
Are you passing the `?` to `raco setup`? If so, I suspect your shell is 
expanding that to a file or directory named `t` (which matches the glob 
`?`), which is then used as a collection name.

On Monday, August 8, 2022 at 12:43:27 PM UTC-4 infodeve...@gmail.com wrote:

> $ raco setup ?
> collection-path: collection not found
>   collection: "t"
>   in collection directories:
>/home/don/.plt-scheme/4.2.1/collects
>/home/don/.racket/8.1/collects
>/home/don/racket/collects/
>... [175 additional linked and package directories]
>
> Thanks
>
>

-- 
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/9d90c018-ae66-4a9a-bd27-c381227b636cn%40googlegroups.com.


Re: [racket-users] How shall I add collection path?

2022-08-08 Thread Philip McGrath
Hi,

On Mon, Aug 8, 2022, at 12:59 PM, Don Green wrote:
> For some reason, the collection directories below does not include the only 
> collection directory that I use: 
> /home/don/.plt-scheme/4.2.1/collects
> which I do have showing up in DrRacket's options: /Language/Choose Language/ 
> Collection Paths: 
> <>
> /home/don/.plt-scheme/4.2.1/collects
> --
> Error Msg:
> standard-module-name-resolver: collection not found
>   for module path: DG/all/copy-dir-without-subdirs
>   collection: "DG/all"
>   in collection directories:
>/home/don/.racket/8.1/collects
>/home/don/racket/collects/
>... [175 additional linked and package directories]
>   context...:
>/home/don/racket/share/pkgs/scribble-lib/scribble/search.rkt:69:5: loop
>[repeats 1 more time]
>/home/don/racket/share/pkgs/scribble-lib/scribble/xref.rkt:122:2: 
> xref-binding-tag
>.../private/coroutine.rkt:20:33
>/home/don/racket/share/pkgs/gui-lib/framework/private/coroutine.rkt:47:20
>/home/don/racket/share/pkgs/gui-lib/framework/private/coroutine.rkt:56:0: 
> coroutine-run
>
> /home/don/racket/collects/racket/contract/private/arrow-val-first.rkt:486:18
>
> /home/don/racket/share/pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt:457:4:
>  update-the-strs method in docs-text-gui-mixin
>
> /home/don/racket/share/pkgs/gui-lib/framework/private/logging-timer.rkt:41:0: 
> log-timeline/proc
>/home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/timer.rkt:34:38
>/home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:435:6
>/home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:486:32
>/home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:634:3
> 

It would be easier to help if you could keep you could keep your replies within 
a single thread.

This error message reveals that the update-the-strs method of 
docs-text-gui-mixin defined in 
<https://github.com/racket/drracket/blob/v8.1/drracket/drracket/private/syncheck/blueboxes-gui.rkt>,
 which seems to be part of how DrRacket displays "blue boxes" with 
documentation, is calling the Scribble function `find-racket-tag` defined at 
<https://github.com/racket/scribble/blob/v8.1/scribble-lib/scribble/search.rkt#L26>.

Could you explain what you are doing when you encounter this error? For 
example, are you hovering over an identifier in DrRacket? Is the error 
displayed in a dialog box saying "DrRacket Internal Error".

Also, it would help to know if you have made any changes to your Racket 
installation recently, such as changing to a new Racket version.

One possibility is that DrRacket may not communicate the collection paths set 
through the GUI to the functions that look up documentation. I'm not sure if 
DrRacket intends to support finding documentation for collections configured 
that way (though, even if not, it shouldn't cause an internal error).

More generally, it sounds like you have code in 
"/home/don/.plt-scheme/4.2.1/collects" that predates Racket's package system. 
You are of course free to continue to manage it using "collection links", but 
manipulating collection links directly is no longer recommended: it is 
difficult to do correctly, there are limited tools to assist you, and you may 
encounter bugs in tools that haven't thought about non-standard configurations. 
(Buggy tools should be fixed, of course! And I say this as someone who myself 
runs Racket in non-standard configurations that sometimes expose such bugs.)

But I think it would be much easier for you if you could structure the code in 
"/home/don/.plt-scheme/4.2.1/collects" as a package, as I suggested before: 
https://groups.google.com/g/racket-users/c/OtJV3yUDp2k/m/swka-AWXBwAJ

-Philip

-- 
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/cc0ac6a9-8e6b-4859-9daf-c80886049ee7%40www.fastmail.com.


Re: [racket-users] raco pkg for a one-directory, moveable installation

2022-08-08 Thread Philip McGrath
Hi,

On Mon, Aug 8, 2022, at 5:46 PM, knigh...@gmail.com wrote:
> Hello all
> 
> I'm trying to generate an installation that is self-contained, that I can 
> move to another machine just by tar-untar or zip-unzip.
> 
> The target machine may never be connected to the internet, so if I want to 
> install packages I must follow this procedure. 
> 

I would suggest running:

./bin/raco pkg config -i  --set default-scope installation

Setting the default scope to `installation` will cause commands like `raco pkg 
install` to install packages in the "pkgs" directory of your self-contained 
installation, rather than putting packages in a user-specific place by default.

(The more general `--scope` option is tricky to use correctly: I would think of 
it as a hook for higher-level tools.)

-Philip

-- 
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/dd82c2f0-af52-41d4-8231-2cd659389f62%40www.fastmail.com.


[racket-users] raco pkg for a one-directory, moveable installation

2022-08-08 Thread knigh...@gmail.com
Hello all

I'm trying to generate an installation that is self-contained, that I can 
move to another machine just by tar-untar or zip-unzip.

The target machine may never be connected to the internet, so if I want to 
install packages I must follow this procedure. 

This command 
.\raco pkg install  --scope-dir ../PKGS 

fails with this message:
raco pkg install: cannot link a directory that overlaps with a collection 
path
  collection path: C:\sks\bin\rkt85\collects\
  link path: C:\sks\bin\rkt85\
  as package: rkt85

Any suggestions on how to proceed? 

-- 
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/a031a5df-f85e-4942-8cbd-247d990ef435n%40googlegroups.com.


[racket-users] collection resolver problem...

2022-08-08 Thread Don Green
I don't see why the collection resolver has a problem because the desired 
collection path: #, is shown to 
be in the current-library-collection-paths:

(current-library-collection-paths)
'(# # 
#)

Thanks
Don.


-- 
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/8738956b-1416-4ed3-90ed-daca03343ea6n%40googlegroups.com.


[racket-users] How shall I add collection path?

2022-08-08 Thread Don Green
For some reason, the collection directories below does not include the only 
collection directory that I use: 
/home/don/.plt-scheme/4.2.1/collects
which I do have showing up in DrRacket's options: /Language/Choose 
Language/ Collection Paths: 
<>
/home/don/.plt-scheme/4.2.1/collects
--
Error Msg:
standard-module-name-resolver: collection not found
  for module path: DG/all/copy-dir-without-subdirs
  collection: "DG/all"
  in collection directories:
   /home/don/.racket/8.1/collects
   /home/don/racket/collects/
   ... [175 additional linked and package directories]
  context...:
   /home/don/racket/share/pkgs/scribble-lib/scribble/search.rkt:69:5: loop
   [repeats 1 more time]
   /home/don/racket/share/pkgs/scribble-lib/scribble/xref.rkt:122:2: 
xref-binding-tag
   .../private/coroutine.rkt:20:33
   /home/don/racket/share/pkgs/gui-lib/framework/private/coroutine.rkt:47:20
  
 /home/don/racket/share/pkgs/gui-lib/framework/private/coroutine.rkt:56:0: 
coroutine-run
  
 /home/don/racket/collects/racket/contract/private/arrow-val-first.rkt:486:18
  
 
/home/don/racket/share/pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt:457:4:
 
update-the-strs method in docs-text-gui-mixin
  
 /home/don/racket/share/pkgs/gui-lib/framework/private/logging-timer.rkt:41:0: 
log-timeline/proc
  
 /home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/timer.rkt:34:38
  
 /home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:435:6
  
 /home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:486:32
  
 /home/don/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:634:3

-- 
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/e57f509e-613c-4dad-a72f-52a2c12b8fd0n%40googlegroups.com.


[racket-users] how could I obtain more context to isolate the problem?

2022-08-08 Thread Don Green
$ raco setup ?
collection-path: collection not found
  collection: "t"
  in collection directories:
   /home/don/.plt-scheme/4.2.1/collects
   /home/don/.racket/8.1/collects
   /home/don/racket/collects/
   ... [175 additional linked and package directories]

Thanks

-- 
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/68500d28-f497-456f-9eac-b44aeb5e4523n%40googlegroups.com.


Re: [racket-users] how do I remove a specified collection?

2022-08-08 Thread Sam Tobin-Hochstadt
I don't think that you need to remove `t`. Instead, your problem is
that somewhere something is calling `collection-path` with "t" as an
argument. If you provide more information about the context and the
error message, it would be easier to help here.

Sam

On Mon, Aug 8, 2022 at 11:31 AM Don Green  wrote:
>
> $ raco setup ?
> collection-path: collection not found
>   collection: "t"
>
> How do I go about finding and removing: collection: "t"  ?
> Thanks.
>
> --
> 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/57fecc34-3485-415b-8c9d-fcb57ef4d15cn%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/CAK%3DHD%2BaR8KjNn%2BCLeJ-UV%2BHrA-FFG5vU_hZ3pQ7r8xVq%2B%2B9wGg%40mail.gmail.com.


[racket-users] how do I remove a specified collection?

2022-08-08 Thread Don Green
$ raco setup ?
collection-path: collection not found
  collection: "t"

How do I go about finding and removing: collection: "t"  ?
Thanks.

-- 
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/57fecc34-3485-415b-8c9d-fcb57ef4d15cn%40googlegroups.com.


[racket-users] Call for Papers: Eelco Visser Commemorative Symposium

2022-07-26 Thread Andrei Chis
tuhl OASIcs.

---
Publication
---

All accepted papers are to be published in an open access volume by the 
start of the symposium (publisher to be decided). Authors retain copyright.

---
Presentations
---

All accepted papers are to be presented at the symposium. Presenters may 
choose between 5, 10, and 15-minute slots (including questions) subject to 
availability. Remote presentations are allowed.

---
Organising Committee
---

- Jonathan Aldrich, Carnegie Mellon University
- Benoit Combemale, University of Rennes, Inria, and IRISA
- Paul Klint, CWI and University of Amsterdam
- Ralf Lämmel, University of Koblenz
- Peter Mosses (chair), TU Delft and Swansea University
- Friedrich Steimann, Fernuniversität in Hagen
- Tijs van der Storm, CWI and University of Groningen
- Eric Van Wyk, University of Minnesota

---
Local Organisation Committee
---

- Arie van Deursen
- Jasper van Dijck
- Peter Mosses
- Roniet Sharabi
- Shémara van der Zwet

---
Contact
---

For all enquiries about the symposium, please use the contact form at
symposium.eelcovisser.org/contact or email sympos...@eelcovisser.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/da02e60f-c0df-4663-96fd-5101d1f119a6n%40googlegroups.com.


[racket-users] [Final CFP] Deadline Extended! Scheme 2022, Scheme and Functional Programming Workshop 2022

2022-07-22 Thread Andy Keep
ttps://icfp22.sigplan.org/home/scheme-2022> for the workshop.

Sincerely,

Andy Keep, General Co-chair
Arthur A. Gleckler, General Co-chair

-- 
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/bcbe0087-302c-4e19-ab44-50d24fbe6f3fn%40googlegroups.com.


[racket-users] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages

2022-07-15 Thread Pieter Koopman
*CALL FOR PAPERS:
*
The 34th Symposium on Implementation and Application of Functional
Languages (IFL 2022)

*Submission and registration are open.* See https://ifl22.github.io/.

Copenhagen, August 31st-September 2nd, 2022

*Important dates
*

Draft paper submission:  August 7th, 2022
Draft paper notification:August 9th, 2022
Early registration deadline: August 12th, 2022
Late registration deadline:  September 2nd, 2022
Symposium:   August 31st-September 2nd, 2022 (3 days)
*Scope
*
The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2022 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Topics of interest to IFL include, but are not limited to:

* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* embedded domain specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications
*Submissions and peer-review
*
Following IFL tradition, IFL 2022 will use a post-symposium review
process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers
will be screened by the program chair to make sure that they are
within the scope of IFL. The draft papers will be made available to
all participants at the symposium. Each draft paper is presented by
one of the authors at the symposium. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2022 website at https://ifl22.github.io/.
*Where
*
IFL 2022 will be held physically in Copenhagen, Denmark, arranged by
DIKU at the University of Copenhagen.

See the IFL 2022 website at https://ifl22.github.io/ for more
information.

[image: beacon]

-- 
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/CAGtcRvBB_YZH0P3bDqdG80%2B4n7EYG1nJp-2WZepAZc4oua6ADw%40mail.gmail.com.


[racket-users] Re: can't open DrRacket 8.5 on M1 macOS

2022-07-12 Thread Kuang-Chen Lu
Thanks, Jens Axel and Mark! My colleague says your help solve her problem. 
Unfortunately, we didn't figure out what exactly broke her earlier 
installation.

> It works now!! Thank you so much for your help! ... I'm not sure what I 
changed this time during installation but reading the error thread 
certainly helped! 

On Wednesday, July 6, 2022 at 6:55:05 AM UTC-4 Mark Bestley wrote:

> Kuang-Chen Lu  writes:
>
> > Hi,
> >
> > My colleague can’t open a fresh installation of DrRacket. She installed 
> the DrRacket 8.5
> > Apple Silicon 64-bit version.
> >
> > Her screen recording shows more details:
> >
> > * After trying to open DrRacket (00:00 of the video), no window shows up
> > * Besides, DrRacket cannot be found in the Activity Monitor (00:08), 
> which confirms
> > that DrRacket is not running.
> > * After trying to open DrRacket again (00:15), still, no window shows up
> > * If you look at the Dock (the sequence of App icons at the bottom of 
> the screen)
> > carefully, you will notice that something shows up and then disappears 
> immediately
> > every time (00:02 and 00:16) DrRacket is opened. This suggests that 
> DrRacket is
> > closed immediately after being opened.
> >
>
> This is a known problem see Github issue 
> https://github.com/racket/racket/issues/3666
>
> -- 
> Mark
>
>

-- 
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/97a17a9c-1b6b-4649-85e5-e0c2f7d22890n%40googlegroups.com.


[racket-users] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)

2022-07-06 Thread Andrei Chis
fact**: Award for the artifact most significantly 
exceeding expectations, as determined by the AEC chairs based on the 
recommendations of the artifact evaluation committee.

---
Publication
---

All accepted papers will be published in the ACM Digital Library.

**AUTHORS TAKE NOTE**: The official publication date is the date the 
proceedings are made available in the ACM Digital Library. This date may be 
up to two weeks prior to the first day of the conference. The official 
publication date affects the deadline for any patent filings related to 
published work.

---
SLE and Doctoral Students
---

SLE encourages students to submit to the SPLASH doctoral symposium. Authors 
of accepted papers will have the chance to present their work to the SLE 
audience, too.

---
Organisation
---

Chairs:

* General chair: Bernd Fischer, Stellenbosch University, South Africa
* PC co-chair: Lola Burgueño, Open University of Catalonia, Spain
* PC co-chair: Walter Cazzola, Università degli Studi di Milano, Italy
* Artefact Evaluation co-chair: Thomas Kühn, Karlsruhe Institute of 
Technology, Germany
* Artefact Evaluation co-chair: Juliana A. Pereira, Pontifical Catholic 
University of Rio de Janeiro, Brazil


Program committee:

Shaukat Ali, Simula Research Laboratory, Norway
Arvid Butting, Aachen University, Germany
Marsha Chechik, University of Toronto, Canada
Shigeru Chiba, University of Tokyo, Japan
Benoît Combemale, University of Rennes, France
Zhenjiang Hu, Peking University, China
Jörg Kienzle, McGill University, Canada
Dimitris Kolovos, University of York, UK
Thomas Kühn, Karlsruhe Institute of Technology, Germany
Juan de Lara, Universidad Autónoma de Madrid, Spain
Stefan Marr, University of Kent, UK
Marjan Mernik, University of Maribor, Slovenia
Natsuko Noda, Shibaura Institute of Technology, Japan
Juliana A. Pereira, Pontifical Catholic University of Rio de Janeiro, Brazil
Elizabeth Scott, University of London, UK
Marco Servetto, Victoria University of Wellington, New Zealand
Emma Söderberg, Lund University, Sweden
Walid Taha, Halmstad University , Sweden
Marco Tullio Valente, Universidade Federal de Minas Gerais, Brazil
Erik Van Wyk, University of Minnesota , USA
Alfonso de la Vega, University of Cantabria, Spain
Ran Wei, Dalian University of Technology, China
Andreas Wortmann, Stuttgart University, Germany
Vadim Zaytsev, University of Twente, Netherlands
Steffen Zschaler, King’s College London, UK

---
Contact
---

For additional information, clarification, or answers to questions, please 
contact the Programme Chairs (Lola Burgueño and Walter Cazzola) at 
sle22-chairs _at_ di.unimi.it.

-- 
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/9de0f7fb-7220-43da-a0c5-dec028650db5n%40googlegroups.com.


[racket-users] Re: can't open DrRacket 8.5 on M1 macOS

2022-07-06 Thread Mark Bestley
Kuang-Chen Lu  writes:

> Hi,
>
> My colleague can’t open a fresh installation of DrRacket. She installed the 
> DrRacket 8.5
> Apple Silicon 64-bit version.
>
> Her screen recording shows more details:
>
> * After trying to open DrRacket (00:00 of the video), no window shows up
> * Besides, DrRacket cannot be found in the Activity Monitor (00:08), which 
> confirms
>  that DrRacket is not running.
> * After trying to open DrRacket again (00:15), still, no window shows up
> * If you look at the Dock (the sequence of App icons at the bottom of the 
> screen)
>  carefully, you will notice that something shows up and then disappears 
> immediately
>  every time (00:02 and 00:16) DrRacket is opened. This suggests that DrRacket 
> is
>  closed immediately after being opened.
>

This is a known problem see Github issue 
https://github.com/racket/racket/issues/3666

-- 
Mark

-- 
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/m1fsjf7sbg.fsf%40bestley.co.uk.


Re: [racket-users] Re: Detecting broken inbound TCP connections

2022-07-05 Thread Jeff Henrikson

Thanks Tony,

I can confirm that eof-evt promptly delivers the expected information 
about the dropped TCP connection.


Can an application promptly find out about dropped connections from any 
available HTTP library for racket?



Jeff



Tony Garnock-Jones
unread,
Jul 2, 2022, 9:23:51 AM (2 days ago)
to Racket Users
Ah, sorry, try `eof-evt` instead of `port-closed-evt`. When I swap the 
one for the other, your program gives the output you expected. Perhaps 
port closing is something for the Racket program to do, and is 
separate from the signalling from the remote peer. You'll get an 
`eof-object?` value from read routines when the connection closes.


On 7/1/22 5:40 PM, George Neuner wrote:

Hi Jeff,

Note that most network problems result in an exception ... which your 
code is not catching and which you might have missed seeing in the 
output.  You need to catch *exn:fail:network* and examine the *errno* 
field to figure out what happened. *


errno* is a cons: *( integer . symbol )*  of the error code and a 
symbol identifying the platform for which the error has meaning.  The 
codes are (somewhat) platform dependent so you will need other 
references to decode them.


For more, see:

  * 
https://docs.racket-lang.org/reference/exns.html#%28def._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._exn%29%29
  * 
https://docs.racket-lang.org/reference/exns.html#%28def._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._exn~3afail~3anetwork~3aerrno%29%29


Hope this helps,
George



--
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/975b1936-107c-d525-ab06-c2ba4dcf4cd1%40gmail.com.


Re: [racket-users] can't open DrRacket 8.5 on M1 macOS

2022-07-04 Thread Lu, Kuang-Chen
Thanks! I have forwarded your messages to her and will keep you and this
group updated.

On Mon, Jul 4, 2022 at 4:21 AM Jens Axel Søgaard 
wrote:

> Also - was Racket moved to the Applications ?
> It looks like your colleague is opening from the downloaded archive [but I
> could be wrong].
>
> Den man. 4. jul. 2022 kl. 13.18 skrev Jens Axel Søgaard <
> jensa...@soegaard.net>:
>
>> Can you open it from the terminal:
>>
>> open /Applications/Racket\ v8.5/DrRacket.app
>>
>> This way any errors will be visible.
>>
>> /Jens Axel
>>
>> Den man. 4. jul. 2022 kl. 12.49 skrev Kuang-Chen Lu <
>> kuang-chen...@brown.edu>:
>>
>>> Hi,
>>>
>>> My colleague can’t open a fresh installation of DrRacket. She installed
>>> the DrRacket 8.5 Apple Silicon 64-bit version.
>>>
>>> Her screen recording
>>> <https://drive.google.com/file/d/1w5jvtq7QK5iAcVAjZA3VRw9z8a9H_fnz/view?usp=sharing>
>>> shows more details:
>>>
>>>- After trying to open DrRacket (00:00 of the video), no window
>>>shows up
>>>- Besides, DrRacket cannot be found in the Activity Monitor (00:08),
>>>which confirms that DrRacket is not running.
>>>- After trying to open DrRacket again (00:15), still, no window
>>>shows up
>>>- If you look at the Dock (the sequence of App icons at the bottom
>>>of the screen) carefully, you will notice that something shows up and 
>>> then
>>>    disappears immediately every time (00:02 and 00:16) DrRacket is opened.
>>>This suggests that DrRacket is closed immediately after being opened.
>>>
>>> Thanks,
>>> Kuang-Chen
>>>
>>> --
>>> 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/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com
>>> <https://groups.google.com/d/msgid/racket-users/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com?utm_medium=email_source=footer>
>>> .
>>>
>>
>>
>> --
>> --
>> Jens Axel Søgaard
>>
>>
>
> --
> --
> Jens Axel Søgaard
>
>

-- 
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/CADWHL7o5AGu8UNgNnXeuRea3sPwM4uCi-RLHhPGGgjWOc6wHFQ%40mail.gmail.com.


[racket-users] [2nd CFP] Scheme 2022, 23rd Scheme and Functional Programming Workshop

2022-07-04 Thread Andy Keep
plan.org/home/scheme-2022> for the workshop.

Sincerely,

Andy Keep, General Co-chair
Arthur A. Gleckler, General Co-chair

-- 
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/86545d9f-0a96-4cd0-9aa9-155745dcd2can%40googlegroups.com.


Re: [racket-users] can't open DrRacket 8.5 on M1 macOS

2022-07-04 Thread Jens Axel Søgaard
Also - was Racket moved to the Applications ?
It looks like your colleague is opening from the downloaded archive [but I
could be wrong].

Den man. 4. jul. 2022 kl. 13.18 skrev Jens Axel Søgaard <
jensa...@soegaard.net>:

> Can you open it from the terminal:
>
> open /Applications/Racket\ v8.5/DrRacket.app
>
> This way any errors will be visible.
>
> /Jens Axel
>
> Den man. 4. jul. 2022 kl. 12.49 skrev Kuang-Chen Lu <
> kuang-chen...@brown.edu>:
>
>> Hi,
>>
>> My colleague can’t open a fresh installation of DrRacket. She installed
>> the DrRacket 8.5 Apple Silicon 64-bit version.
>>
>> Her screen recording
>> <https://drive.google.com/file/d/1w5jvtq7QK5iAcVAjZA3VRw9z8a9H_fnz/view?usp=sharing>
>> shows more details:
>>
>>- After trying to open DrRacket (00:00 of the video), no window shows
>>up
>>- Besides, DrRacket cannot be found in the Activity Monitor (00:08),
>>which confirms that DrRacket is not running.
>>- After trying to open DrRacket again (00:15), still, no window shows
>>up
>>- If you look at the Dock (the sequence of App icons at the bottom of
>>the screen) carefully, you will notice that something shows up and then
>>disappears immediately every time (00:02 and 00:16) DrRacket is opened.
>>This suggests that DrRacket is closed immediately after being opened.
>>
>> Thanks,
>> Kuang-Chen
>>
>> --
>> 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/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com
>> <https://groups.google.com/d/msgid/racket-users/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>
>
> --
> --
> Jens Axel Søgaard
>
>

-- 
-- 
Jens Axel Søgaard

-- 
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/CABefVgyA1XMVDfm4ZjgzcV%3DDEfPJQzd_9-wzyuGoCUXE2%3D%3DqyA%40mail.gmail.com.


Re: [racket-users] can't open DrRacket 8.5 on M1 macOS

2022-07-04 Thread Jens Axel Søgaard
Can you open it from the terminal:

open /Applications/Racket\ v8.5/DrRacket.app

This way any errors will be visible.

/Jens Axel

Den man. 4. jul. 2022 kl. 12.49 skrev Kuang-Chen Lu :

> Hi,
>
> My colleague can’t open a fresh installation of DrRacket. She installed
> the DrRacket 8.5 Apple Silicon 64-bit version.
>
> Her screen recording
> <https://drive.google.com/file/d/1w5jvtq7QK5iAcVAjZA3VRw9z8a9H_fnz/view?usp=sharing>
> shows more details:
>
>- After trying to open DrRacket (00:00 of the video), no window shows
>up
>- Besides, DrRacket cannot be found in the Activity Monitor (00:08),
>which confirms that DrRacket is not running.
>- After trying to open DrRacket again (00:15), still, no window shows
>up
>- If you look at the Dock (the sequence of App icons at the bottom of
>the screen) carefully, you will notice that something shows up and then
>disappears immediately every time (00:02 and 00:16) DrRacket is opened.
>This suggests that DrRacket is closed immediately after being opened.
>
> Thanks,
> Kuang-Chen
>
> --
> 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/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com?utm_medium=email_source=footer>
> .
>


-- 
-- 
Jens Axel Søgaard

-- 
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/CABefVgxtHy_bFApgtts-Azbr09jBFLvVszuw06Ui_MoZKuPD%2BQ%40mail.gmail.com.


[racket-users] can't open DrRacket 8.5 on M1 macOS

2022-07-04 Thread Kuang-Chen Lu


Hi,

My colleague can’t open a fresh installation of DrRacket. She installed the 
DrRacket 8.5 Apple Silicon 64-bit version.

Her screen recording 
<https://drive.google.com/file/d/1w5jvtq7QK5iAcVAjZA3VRw9z8a9H_fnz/view?usp=sharing>
 
shows more details:

   - After trying to open DrRacket (00:00 of the video), no window shows up
   - Besides, DrRacket cannot be found in the Activity Monitor (00:08), 
   which confirms that DrRacket is not running.
   - After trying to open DrRacket again (00:15), still, no window shows up
   - If you look at the Dock (the sequence of App icons at the bottom of 
   the screen) carefully, you will notice that something shows up and then 
   disappears immediately every time (00:02 and 00:16) DrRacket is opened. 
   This suggests that DrRacket is closed immediately after being opened.

Thanks,
Kuang-Chen

-- 
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/3ec173be-bfbd-4ba2-a019-12b4479501c9n%40googlegroups.com.


[racket-users] Re: Detecting broken inbound TCP connections

2022-07-02 Thread Tony Garnock-Jones
Ah, sorry, try `eof-evt` instead of `port-closed-evt`. When I swap the one 
for the other, your program gives the output you expected. Perhaps port 
closing is something for the Racket program to do, and is separate from the 
signalling from the remote peer. You'll get an `eof-object?` value from 
read routines when the connection closes.

On Saturday, July 2, 2022 at 12:52:01 AM UTC+2 Jeff Henrikson wrote:

> Hi Tony,
>
> Thanks for offering your interpretation of the racket reference manual.  
> Below is my attempt to test whether or not the input port does indeed 
> become closed when the TCP connection is broken.
>
> The broken TCP connection is provided by combining curl with GNU 
> coreutils timeout.
>
> I try testing the input port for closedness two different ways. The 
> default code tests with port-closed-evt. The commented out code tests by 
> calling port-closed? in a loop.  Neither method succeeds in detecting 
> the broken TCP connection.
>
> Thanks for any help.
>
> Regards,
>
>
> Jeff Henrikson
>
>
> #lang racket
>
> ;; Tony Garnock-Jones, 
> https://groups.google.com/g/racket-users/c/H43jr8QuM-4
> ;;   "... if the connection breaks, the ports will be closed as usual. . 
> . ."
>
> (define (handle-by-event in out k)
>   ; Discard the HTTP request header (up to blank line):
>   (regexp-match #rx"(\r\n|^)\r\n" in)
>   (displayln "about to sleep")
>   (flush-output (current-output-port))
>   (let ((evt (sync/timeout 10 (port-closed-evt in
> (if evt
>   (begin
> (displayln "got close evt\n")
> (k))
>   (begin
> (displayln "done sleeping")
> (flush-output (current-output-port))
> (display "HTTP/1.0 200 Okay\r\n" out)
> (display "Server: k\r\nContent-Type: text/html\r\n\r\n" out)
> (display "Hello, world!" out)
> (k)
>
> ;; same as handle-by-event but using port-closed? instead of 
> port-closed-evt
> (define (handle-by-polling in out k)
>   (define (iter i)
> (when (> i 0)
> (printf "closed=~a\n" (port-closed? in))
> (sleep 1)
> (iter (- i 1
>   ; Discard the request header (up to blank line):
>   (regexp-match #rx"(\r\n|^)\r\n" in)
>   (displayln "about to sleep")
>   (flush-output (current-output-port))
>   (iter 10)
>   (displayln "done sleeping")
>   (flush-output (current-output-port))
>   (display "HTTP/1.0 200 Okay\r\n" out)
>   (display "Server: k\r\nContent-Type: text/html\r\n\r\n" out)
>   (display "Hello, world!" out)
>   (k))
>
>
> (define (accept-and-handle listener)
>   (define-values (in out) (tcp-accept listener))
>   ;; alternatively: (handle-by-polling in out (lambda ()
>   (handle-by-event in out (lambda ()
> (displayln "handle finished")
>   ))
>   (close-input-port in)
>   (close-output-port out))
>
> (define (serve port-no)
>   (define listener (tcp-listen port-no 5 #t))
>   (define (loop)
> (accept-and-handle listener)
> (loop))
>   (loop))
>
> (serve 8000)
>
> #|
> Test with curl and GNU coreutils timeout:
> timeout --foreground 3s curl http://127.0.0.1:8000
> actual output (handle-by-event version):
> about to sleep
> done sleeping
> handle finished
> expected output  (handle-by-event version):
> about to sleep
> got close evt
> handle finished
>
> Tested on:
> Racket v8.0 cs
> on Ubuntu 20.04.4 LTS
> |#
>
>
> > Hi Jeff,
> >
> > You can use `tcp-listen` and `tcp-accept` [0] to accept connections. 
> > Once accepted, the connection appears as a matched pair of ports, one 
> > for input and one for output, and if the connection breaks, the ports 
> > will be closed as usual. In some circumstances, you will get an 
> > exception such as "connection reset" (see `exn:fail:network`). If you 
> > need to reliably distinguish closed-by-peer, all-ok from 
> > closed-by-weird-network-weather, your application protocol has to 
> > handle that, there's nothing TCP can do for you there. HTTP does this 
> > via content-length and/or chunking, for example.
> >
> > Cheers,
> >   Tony
> >
> > [0]: https://docs.racket-lang.org/reference/tcp.html
> >
> > On 6/30/22 11:34 AM, Jeff Henrikson wrote:
> >> Racket users,
> >>
> >> How do I accept an inbound TCP connection so that once I am 
> >> processing it, if the connection is broken by the client or network, 
> >> my program promptly finds out?
> >>
> >> Regards,
> >>
> >>
> >> Jeff Henrikson
> >>
>
>

-- 
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/9dae05ac-1a29-4384-976c-7c4e57dff197n%40googlegroups.com.


  1   2   3   4   5   6   7   8   9   10   >