[racket-users] IFL 2024, final call for participation/registration
Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### 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/CAGtcRvCQHw%3DDmfzpKSEUEDufpUHJUk4K9_Xuh2QX1UsrAPipBA%40mail.gmail.com.
[racket-users] IFL 2024 Final call for papers, extended submission deadline.
Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### 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/CAGtcRvCJdjevEkjvocN%2BFxfii4EGrEO2qJc-0f5cr_J9CrshqA%40mail.gmail.com.
[racket-users] Racket Survey 2024
Racket Survey 2024 If you have used Racket, or you are considering using Racket, please help us by completing this survey: https://forms.gle/EYuzG4Jp9X5bqoHQ9 -- 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/343f0191-0894-424a-ac58-8c2c7062f8f7n%40googlegroups.com.
[racket-users] IFL 2024: Second Call for Papers
. -- 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/CAGtcRvAX5xWT-R2QrD%2BQFW%3DgosLLgaA%3DLGj-_o%2BVhe58fXH%3DBw%40mail.gmail.com.
[racket-users] CfP: Scheme '24
ilable 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
=== 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
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&utm_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?
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?
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?
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?
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?
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?
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?
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&utm_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&utm_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?
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&utm_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&utm_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?
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&utm_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&utm_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?
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&utm_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?
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?
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?
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
# 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
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
be added 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
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!!
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&utm_source=footer> > . > > > > <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient> > Virus-free.www.avast.com > <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_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&utm_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!!
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&utm_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!!
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
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!
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
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
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 fr
[racket-users] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
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
> 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
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
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
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
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&utm_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
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
*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
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
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
> 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
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
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&utm_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
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&utm_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&utm_source=footer> >>
Re: [racket-users] Some DrRacket preferences unreadable
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&utm_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&utm_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
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&utm_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
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
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&utm_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
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&utm_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
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
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
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)
. 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&A 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
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)
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?
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)
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!
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!
(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&FROMQRCODE=true&SINGLESTORE=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
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
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
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
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
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&utm_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
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&utm_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&utm_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
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&utm_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&utm_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
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&utm_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
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&utm_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
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
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
/reader <https://docs.racket-lang.org/reference/include.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
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
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
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
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-helpe
Fwd: [racket-users] Writing a "command-line front-end" for a language
-- 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
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
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
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?
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&utm_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
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?
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?
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
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
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...
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?
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?
$ 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?
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?
$ 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
S or Dagstuhl 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
ite <https://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
*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
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)
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
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
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
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&utm_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
2.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/86545d9f-0a96-4cd0-9aa9-155745dcd2can%40googlegroups.com.