Re: [racket-users] Synchronizable conjunction of events?

Depending on what you're doing, a nack guard evt might be helpful. It lets do a form of chaining evts together. It definitely isn't and in the sense you describe but it is easy to overlook. Robby On Mon, Mar 15, 2021 at 4:50 PM Matthew Flatt wrote: > At Mon, 15 Mar 2021 13:38:46 -0700 (PDT),

Re: [racket-users] Is it safe to `read` untrusted input?

Leaving aside bugs, the intention with those parameters you mention (-lang, -reader, -compiled) is to help with security. They certainly would allow for code execution and they are off by default precisely because they allow that. I think that the general principle (read should, with the default

Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

Yeah, I've been meaning to integrate those parts of that library into Redex proper but just haven't found the time. Also, I've thought it would be nice if Redex were able to look at the context of a particular, say, "or" or "then" expression and figure out if it needed parens. Sadly, for now you

Re: [racket-users] Werid contract violation blame erros

: > I've always liked define/contract because it guarantees the safety of > the function from erroneous calls by other functions in the module, > which helps with debugging and testing. It sounds like you think > that's a bad move? > > On Wed, Apr 7, 2021 at 4:35 PM Robb

Re: [racket-users] Werid contract violation blame erros

The short answer: you probably should use (provide (contract-out)) instead of define/contract. The slightly longer answer: when you write a contract, you are not just describing what the legal inputs and outputs are, you are also establishing a *boundary* between two regions of code. In the

Re: [racket-users] Werid contract violation blame erros

t I would want the blame to be on b.rkt, and also on any > function calling f() incorrectly from inside a.rkt. Reading this > thread it sounds to me like that's not easily available? > > On Wed, Apr 7, 2021 at 4:22 PM Robby Findler > wrote: > > > > No, I don't think it

Re: [racket-users] Something is going slightly wrong visually with the Linux version

if there is some way you're controlling those that defeats that computation, that might explain why you're getting the bad colors. Robby On Tue, Apr 13, 2021 at 1:41 PM Robby Findler wrote: > This looks to me like racket believes the OS is in dark mode but it really > isn't. Does this program p

Re: [racket-users] Something is going slightly wrong visually with the Linux version

This looks to me like racket believes the OS is in dark mode but it really isn't. Does this program produce true or false? #lang racket (require mrlib/panel-wob) (white-on-black-panel-scheme?) Robby On Tue, Apr 13, 2021 at 1:38 PM Bruce O'Neel wrote: > Hi, > > The most recent snapshot

Re: [racket-users] Something is going slightly wrong visually with the Linux version

-color)) > (define fg (get-label-foreground-color)) > > > Produces > > > (send bg red) > 255 > > (send bg green) > 255 > > (send bg blue) > 255 > > (send fg red) > 0 > > (send fg green) > 0 > > (send fg blue) > 0 > > > >

Re: [racket-users] [Redex] Side conditions in Reduction Relations

it helped a lot, as i didn't > understand how i could also use judgments as guards in reduction relations. > Thank you again :D > Beatriz Moreira > > A quarta-feira, 3 de fevereiro de 2021 à(s) 22:17:50 UTC, Robby Findler > escreveu: > >> You mean it should be a subset, no

Re: [racket-users] put-image

Any objection to adding it to 2htdp/image? Robby On Sat, Feb 6, 2021 at 6:32 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > As explained in documentation of WeScheme > , >

Re: [racket-users] exporting example code from slideshow documents

I often end up writing macros that both quote some code and expand into that code where the first one is usually via `racket` or one of the code-rendering libraries, and the second one gets used to write tests for the code in my slideshow. These tend to be short and fairly ad hoc macros because I

Re: [racket-users] Find the source location of the syntax error in DrRacket

I'm not 100% sure but I think that's right: the marks clobber each other so that you see the inner frame and a `let`'s body is in tail position wrt to the let itself. So in this program: #lang racket/base (define (f x) (car x)) (let () (let () (+ (let () (let () (f

Re: [racket-users] Question from a beginner. Why Racket Over Scheme?

I would say that the stuff in HtDP is teaching you the fundamentals of programming; it isn't (about) teaching you a specific programming language. These fundamentals apply to any programming language you might wish to program in. And, of course, the book does use a (set of) languages to teach you,

Re: [racket-users] Pousse Player Programs

I see that in 8.2 but I'm not seeing it in a more recent build. Maybe try a snapshot? https://snapshot.racket-lang.org/ There is information about how to make players here: https://github.com/racket/games/blob/master/pousse/robots.txt I didn't try it out, but if you do and run into problems, let

Re: [racket-users] What is the correct name for non-list parenthesized forms?

An answer to a third question that might also have been the one that was asked :) You might call it a "sequence". Robby On Fri, Sep 24, 2021 at 12:50 PM Jay McCarthy wrote: > I think the word you're looking for is "syntax". Many people think that > languages like Racket "don't have syntax"

Re: [racket-users] What is the correct name for non-list parenthesized forms?

Another approach is to give it a name in the documentation and use that name (following Jay's earlier message). Robby On Fri, Sep 24, 2021 at 1:37 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > I think I wouldn’t say “accepts”; I usually reserve this term for >

Re: [racket-users] Having trouble getting documentation to generate

I'm not quite following from the thread, but it sure sounds like there is a bug in raco setup (or similar) somewhere that isn't reporting an error properly. Is that the case? Robby On Tue, Sep 28, 2021 at 4:12 PM David Storrs wrote: > > > On Tue, Sep 28, 2021 at 3:30 PM Ben Greenman > wrote:

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

Felleisen wrote: > > > +2! And many thanks. (I was personally spared this spam until very > recently. No clue why) > > — Matthias > > > > > On Dec 18, 2021, at 2:55 PM, Robby Findler > wrote: > > +1! Thank you. > > Robby > > On Sat, Dec 18, 2021 a

Re: [racket-users] Formal semantics of PLT Redex

something >> equivalent to: >> >> (bind 'x '(hole (hole hole))) >> >> In both cases. Does anyone understand the behavior of the shown example >> under racket 8.3? >> >> Thanks in advance!, >> Mallku >> >> [1] : https://link.springer.com

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

+1! Thank you. Robby On Sat, Dec 18, 2021 at 1:43 PM Matthew Flatt wrote: > The "members" option sounds right to me. Thanks for tracking down a way > to improve the situation! > > At Sat, 18 Dec 2021 19:35:23 +, Sage Gerard wrote: > > Core team, > > > > Sam asked me to issue bans for a

Re: [racket-users] Typesetting Redex definitions

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] How to require untrusted module?

On Fri, Oct 22, 2021 at 12:43 PM Matthew Flatt wrote: > At Thu, 21 Oct 2021 07:37:12 -0700 (PDT), "kalime...@gmail.com" wrote: > > I've read about protect-out and current-code-inspector, but I still > cannot > > understand, how to require a module and forbid it to run protected > modules. > > >

Re: [racket-users] Formal semantics of PLT Redex

I think that might be it specifically about redex, I am sorry to say. Robby On Wed, Dec 8, 2021 at 5:28 PM Mallku Ernesto Soldevila Raffa < mallkuerne...@gmail.com> wrote: > Hi community!, > I'm interested in understanding the semantics of PLT Redex, since we are > working on a tool > to

Re: [racket-users] Formal semantics of PLT Redex

gt; > Thanks!, > Mallku > > > [1] : https://link.springer.com/chapter/10.1007%2F978-3-642-25318-8_27 > > El miércoles, 8 de diciembre de 2021 a las 21:03:44 UTC-3, Robby Findler > escribió: > >> I think that might be it specifically about redex, I am sorry to say. &g

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

; the responsibility changes. > >>> > >>> Does that seem like a reasonable approach? > >>> > >>> Sam > >>> > >>> On Tue, Jan 11, 2022 at 2:30 PM Sage Gerard > wrote: > >>>> No no, that was helpful, than

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

21 3:02 PM, Matthias Felleisen wrote: > > > > > > +2! And many thanks. (I was personally spared this spam until very > recently. No clue why) > > > > — Matthias > > > > > > > > > > On Dec 18, 2021, at 2:55 PM, Robby Findler >

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

s. > > If you publish an email to request invites, then the process is going to > be "ask to join" no matter what, so the mailing list configuration is > relevant for a different reason. Do we want members to start the process in > Google Groups, or by sending an email to a f

[racket-users] Re: Combining contract checking with normalization?

I have certainly have thought that developing a library along these lines is a good idea for many years! Robby On Sun, Mar 6, 2022 at 9:47 AM Alexis King wrote: > Hello, > > As a user of the Racket contract system, I sometimes find myself thinking > about the potential utility of “coercing” or

Re: [racket-users] [meta] Please review pending member requests?

I've just approved the ones who wrote sensible comments. If that wasn't the one to approve, please let me know and I'll approve that one, too. We had a serious spam problem on this list due to bots (I presume) subscribing, so I'm a bit gunshy about adding folks. There are other list admins too

Re: [racket-users] Some DrRacket preferences unreadable

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

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

<    4   5   6   7   8   9