[racket-users] racket-prefs

Using Racket on Ubuntu. Was Racket version 7 now version 8. New default racket-prefs file is in effect. Still have access to older versions of racket-prefs. Thought the new Racket install would continue to reference my previous racket-prefs file. a) Any thoughts about why any time I install new

[racket-users] Add Link to the racket Discord to the racket website?

The racket discord is managed quite well, I think it should be added to the racket website so that newcomers can find it easier, just a thought. Maybe below the link to slack? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe

Re: [racket-users] Checking for fallbacks in generic contracts

For the time being I've decided to use this macro and attach contracts to the fallbacks a different way. Please let me know if there's a better solution. (define-syntax-rule (I/weak/c [method-id method-contract] ...) (I/c [method-id (or/c #f method-contract)] ...) On 4/17/21 10:48 PM, Sage

[racket-users] Cobalt 2 color theme for DrRacket

Just made this, since it looks like nobody made it just yet. My favorite code colors. I use them in sublime, vim and now DrRacket. [image: screenshot.png] I posted it to the catalog, we'll see if it get published :) DexterLagan/cobalt2-theme

Re: [racket-users] Typed Racket: type relations

0. Thank you very much for looking into this. On 18. 04. 21 4:57, Sam Tobin-Hochstadt wrote: > Ok, three parts: > > 1. Is it possible to make `average` on `Byte` provably produce a > `Byte`? This is not going to be possible with plain Typed Racket, even > with refinements to the numeric tower.