Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread 'Joel Dueck' via Racket Users
On Tuesday, October 26, 2021 at 6:51:56 AM UTC-5 Philip McGrath wrote: > I'm not totally clear about all of the different sets of requirements > (RSS, Atom, and, de facto, Apple), but I thought there were more language > codes permitted than ISO 639-1 (e.g. >

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread David Storrs
On Mon, Oct 25, 2021 at 10:25 PM 'Joel Dueck' via Racket Users < racket-users@googlegroups.com> wrote: > > >- Removing dependencies: yes, I see the appeal. I’m really not eager >to reimplement all the timezone handling and temporal comparison stuff in >gregor, though. > > Joel >

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Philip McGrath
On Tue, Oct 26, 2021 at 12:01 PM Sage Gerard wrote: > >- The IANA's timezone database changed this month, and gregor's last >commit was 2 years ago. > > My comment was not meant to say that timezone math is easy to replace, or > even that gregor isn't a fit. It's to say that I'm not

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Jon Zeppieri
On Tue, Oct 26, 2021 at 12:01 PM Sage Gerard wrote: > > I can understand wanting gregor for timezone offsets when constructing > moments, but... > > Assuming I have the right repository link, gregor's tz/c contract is only > (or/c string? (integer-in -64800 64800)) [1]. I can set the

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread 'Joel Dueck' via Racket Users
On Tuesday, October 26, 2021 at 11:01:38 AM UTC-5 Sage Gerard wrote: > >- Assuming I have the right repository link, gregor's tz/c contract is >only (or/c string? (integer-in -64800 64800)) [1]. I can set the >feed-timezone parameter in Splitflap to an arbitrary string and the guard

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Philip McGrath
Excited to try this! Generating Atom and RSS feeds is on the to-do list for one of my current projects. On Mon, Oct 25, 2021 at 10:25 PM 'Joel Dueck' wrote: > >- MIME types: Yes, I should use/add a more complete extension→type >mapping, though I probably will continue not to validate

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Sage Gerard
I can understand wanting gregor for timezone offsets when constructing moments, but... - Assuming I have the right repository link, gregor's tz/c contract is only (or/c string? (integer-in -64800 64800)) [1]. I can set the feed-timezone parameter in Splitflap to an arbitrary string and the

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Sage Gerard
> The timezone database lookup logic is in the `tzinfo` package > (https://docs.racket-lang.org/tzinfo/index.html) Thanks. > Jon: I'm guessing you haven't actually tried this > Phillip: I guess the check doesn't happen as part of `tz/c`, but I can tell > you that this program Yes, but I'm

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Philip McGrath
On Tue, Oct 26, 2021 at 1:30 PM Sage Gerard wrote: > > Jon: I'm guessing you haven't actually tried this > > Phillip: I guess the check doesn't happen as part of `tz/c`, but I can > tell you that this program > > Yes, but I'm talking about code we were asked to give feedback on. I focus > on

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread Jon Zeppieri
On Tue, Oct 26, 2021 at 2:18 PM 'Joel Dueck' via Racket Users wrote: > > > > On Tuesday, October 26, 2021 at 12:30:59 PM UTC-5 Sage Gerard wrote: >> >> Yes, but I'm talking about code we were asked to give feedback on. I focus >> on `tz/c` because it is documented as a flat contract that checks

[racket-users] Typesetting Redex definitions

2021-10-26 Thread Mallku Ernesto Soldevila Raffa
Hi community!, a colleague of mine is trying to typeset a grammar from a model in Redex, using redex/pict. So far, he has obtained a nice-looking typesetting of the productions, but with the inconvenience that they are not abstract. In particular, there are parentheses around every list of

Re: [racket-users] Typesetting Redex definitions

2021-10-26 Thread Robby Findler
The only way to do that currently is to use the compound rewriters (they rewrite anything with parens) and the atomic rewriters (they rewrite anything without parens). The interface that redex provides is pretty low-level and I'd like to find time to improve it, but in the meantime there are some

Re: [racket-users] Typesetting Redex definitions

2021-10-26 Thread Mallku Ernesto Soldevila Raffa
Thank you very much for the information provided! We have a lot to experiment with. Regards, Mallku El martes, 26 de octubre de 2021 a las 18:40:49 UTC-3, Robby Findler escribió: > The only way to do that currently is to use the compound rewriters (they > rewrite anything with parens) and the

Re: [racket-users] [ANN] Splitflap: generating valid Atom and RSS feeds

2021-10-26 Thread 'Joel Dueck' via Racket Users
On Tuesday, October 26, 2021 at 12:30:59 PM UTC-5 Sage Gerard wrote: > Yes, but I'm talking about code we were asked to give feedback on. I focus > on `tz/c` because it is documented as a flat contract that checks for "an > identifier from the IANA tz database

[racket-users] TFPIE 2022

2021-10-26 Thread mora...@gmail.com
Dear All, Please consider submitting your classroom developments and practices to Trends in Functional Programming in Education 2022 (TFPIE 2022) that will be an in-person event in beautiful Krakow, Poland. The CFP is below and the website is found at: