Re: [racket-users] emoji in source code

2020-07-19 Thread Robby Findler
I'm not sure what's going on, but this smily works: ☺ Robby On Sun, Jul 19, 2020 at 10:55 AM Shriram Krishnamurthi wrote: > I wrote the following program: > > (define /: ') > > which at least on my screen looks like > > > > in Aquamacs and in my browser (modulo dark/light mode). > >

Re: [racket-users] Re: trying to use futures for some calculations

2020-06-17 Thread Robby Findler
On Wed, Jun 17, 2020 at 8:56 AM Brian Adkins wrote: > On Wednesday, June 17, 2020 at 4:50:44 AM UTC-4, Alex Harsanyi wrote: >> >> >> I am trying to speed up an algorithm using futures, but I am getting some >> unexpected results (and no real speed improvements), and I was wondering if >> someone

Re: turtle’s outline on blue plaid as main image in initial window of DrRacket on 2020‐06‐11: an Easter egg and a curiosity (veering off topic for [racket-users])

2020-06-14 Thread Robby Findler
I don't know that there is a direct connection except that some of us (maybe just me?) love the place that celebrates a holiday there. https://en.wikipedia.org/wiki/King_Kamehameha_I_Day In addition to the honu, the pattern in the background is palaka. Robby On Sun, Jun 14, 2020 at 12:41 PM

Re: [racket-users] Sandbox + 2htdp/image

2020-05-28 Thread Robby Findler
s\" \"mrlib\") (lib > \"image-core-wxme.rkt\" \"mrlib\"))" 1) #0=(object:style% (object:color% 0 > 0 0 1.0 #f) (object:color% 255 255 255 1.0 #f) (object:font% #f 'aligned > '#(12... > > On Tue, May 26, 2020 at 4:58 PM Robby Findler > wrote: > &

Re: [racket-users] Sandbox + 2htdp/image

2020-05-26 Thread Robby Findler
It might be easiest to just use the `image?` predicate from inside the sandbox. Get it out the same way you got the image itself out. Robby On Tue, May 26, 2020 at 6:22 PM Stephen Foster wrote: > The following returns #f and #t. How can I get it to return #t and #t? > > Context: I want to

Re: [racket-users] Finding bound occurrences

2020-05-07 Thread Robby Findler
Does the file without arrows have a syntax error? Robby On Thu, May 7, 2020 at 9:55 AM Hendrik Boom wrote: > I have several tabs open in DrRacket. > On two of them, when I mouse over a symbol, it provides very > visible links to binding or bound occurrences > > On the third, it doesn't.

Re: [racket-users] double titlebar effect

2020-05-06 Thread Robby Findler
Looks like a problem with the tabs maybe? How does it look if you make a new tab? Robby On Wed, May 6, 2020 at 3:18 PM Stephen De Gabrielle wrote: > Hi, > Any other racketeers seeing this? > [image: image.png] > > DrRacket 7.7 cs and macOS Catalina > > Kind regards > Stephen > > -- > You

Re: [racket-users] Questions about working on DrRacket and gui

2020-05-05 Thread Robby Findler
On Tue, May 5, 2020 at 10:36 AM Gustavo Massaccesi wrote: > I try to encourage people to participate, but be careful because this task > is probably too big for a first contribution. GUI is difficult, DrRacket > has a lot of moving parts, and opening DrRacket inside DrRacket is possible > but

Re: [racket-users] bitmap% performance

2020-04-23 Thread Robby Findler
On Thu, Apr 23, 2020 at 1:14 PM 'racket' via users-redirect wrote: > > > Thanks! For the first task I think you probably have to use the raw > > bitmap% object (since I guess you're using `read-bitmap`). > > Hi Robby, I don’t understand how to read a jpeg into a platform-bitmap. > Probably I'm

Re: [racket-users] bitmap% performance

2020-04-23 Thread Robby Findler
Thanks! For the first task I think you probably have to use the raw bitmap% object (since I guess you're using `read-bitmap`). I'm not sure if there could be some improvement internally so that screen bitmaps were used to read in the jpegs. Absent an improvement at that level, I guess I'd just try

Re: [racket-users] bitmap% performance

2020-04-23 Thread Robby Findler
(My reply to this post bounced on the attempt to send to OP.) On Wed, Apr 22, 2020 at 3:39 PM 'racket' via users-redirect < us...@plt-scheme.org> wrote: > > Hi, > I’m writing to the group looking for help with a performance issue. > I’m coding a gallery like application, using the racket/draw

Re: [racket-users] bitmap% performance

2020-04-23 Thread Robby Findler
I don't know that we can help with the specific call you are reporting a slowdown for (maybe, but I won't address that here as asking other questions first seems worth doing). What are you using the bitmap for, exactly? Just to resize the bitmaps? Or as a backing store for drawing into the

Re: [racket-users] visit a sequence of files

2020-04-21 Thread Robby Findler
A (Racket) script that calls "open" (on a mac) and uses some state to keep track of what "next" means seems straightforward. Probably this can also be integrated via quickscript so It becomes a key binding. And maybe you want some small number of key bindings that assign grades and then move on to

Re: [racket-users] Re: ask a pict its colour?

2020-04-18 Thread Robby Findler
I basically agree with Alex, as the internal structures of pict don't really keep information in that way, but a "best effort" might be to draw it into a bitmap and then use the bitmap to find the average color or the most common color (perhaps with some error bounds on what colors count as "the

Re: [racket-users] Suggestions for "The Racket Guide"

2020-04-08 Thread Robby Findler
The information is there at the source level in the way the evaluators are used but I guess it gets discarded by the time the code gets to html. There is also the issue that some of the context code is relevant and some isn't, so not all of the information is actually there to make the most

Re: [racket-users] auto-indentation... off by one^H^H^Hsome?

2020-03-21 Thread Robby Findler
I had already merged it but I agree that it could probably stand to have a little elaboration now. I'll do it. Robby On Sat, Mar 21, 2020 at 9:12 PM John Clements wrote: > > Many thanks! Should I cancel my pull request? > > John > > > On Mar 21, 2020, at 18:34,

Re: [racket-users] auto-indentation... off by one^H^H^Hsome?

2020-03-21 Thread Robby Findler
I've pushed something so that racket:text% will indent better when it doesn't have a display. Robby On Fri, Mar 20, 2020 at 4:32 PM John Clements wrote: > > Made a pull request, many thanks! > > John > > > On Mar 20, 2020, at 1:36 PM, Robby Findler > > wrote

Re: [racket-users] auto-indentation... off by one^H^H^Hsome?

2020-03-20 Thread Robby Findler
e the object with an > editor-canvas and frame in order to get the expected results." > > That text might not actually be accurate… > > John > > > On Mar 20, 2020, at 1:16 PM, John Clements > wrote: > > > > Ah! this solves the issue. many thanks. > > > >&g

[racket-users] Re: auto-indentation... off by one^H^H^Hsome?

2020-03-20 Thread Robby Findler
s! > > > > (Also, sending mail to the list using “us...@racket-lang.org” seems to be > > broken right now for me, sigh.) > > > > John > > > >> On Mar 20, 2020, at 12:01 PM, Robby Findler > >> wrote: > >> > >> I'm not sure of the detai

Re: [racket-users] Logger shows lots of info messages about collapsible-contract-bailout and collapsible-value-bailout

2020-03-14 Thread Robby Findler
Definitely not something to worry about! Robby On Sat, Mar 14, 2020 at 8:59 AM wrote: > > Hi everyone, > > I was debugging my program using the logging facilities, and I was getting > a lot of the following messages at level info: > > [ info] collapsible-contract-bailout: arrow: has optional

Re: [racket-users] Using DrRacket interface language with scribble

2020-03-08 Thread Robby Findler
I hate to be a party pooper here but I think the first response is incorrect. None of the programming language proper is translated; just the IDE. I think this one translation is probably not what was intended. Maybe someday someone can take on a Chinese version of the teaching languages,

Re: [racket-users] re-run really fast!

2020-03-05 Thread Robby Findler
Some time ago (a lot more than a week), DrRacket started using the result of online expansion to run (look for the spiky green ball to know when it will work). It doesn't work in error trace mode tho. Could that be it? Robby On Thu, Mar 5, 2020 at 12:25 AM 'John Clements' via users-redirect <

Re: [racket-users] Today’s Easter egg?

2020-03-02 Thread Robby Findler
Yes. Racket was born in Texas, so it is an homage (not a political statement :) On Mon, Mar 2, 2020 at 2:26 PM Stephen De Gabrielle wrote: > > Hi, > > Is the star/lambda Easter egg something to do with independence? (Referencing > Texas March 2nd) > > S. > -- > > > -- > You received this

Re: [racket-users] a little bug

2020-02-28 Thread Robby Findler
. Thanks for using DrR! Robby On Fri, Feb 28, 2020 at 6:31 AM Hendrik Boom wrote: > > On Fri, Feb 28, 2020 at 06:02:31AM -0600, Robby Findler wrote: > > I agree that would be great. In the meantime, the Run button does a better > > job with error reporting in various ways, inc

Re: [racket-users] a little bug

2020-02-28 Thread Robby Findler
't hurt his feelings (Or is Dr Racket a she?). I >> employ his services whenever I can. I don't mean to be a whiner; he >> deserves better than that! >> >> Jon >> >> On 2/5/2016 3:44 PM, Robby Findler wrote: >> > Sorry we can't do better. And i

Re: [racket-users] How to stream file uploads with the Racket web server?

2020-02-14 Thread Robby Findler
It is possible that your post wasn't deleted but got held up in google's spam traps. I just approved a message from you (that I was alerted to only this morning). Was that the message? Robby On Thu, Feb 13, 2020 at 2:57 PM Brian Adkins wrote: > > I tried replying earlier today, but somehow the

Re: [racket-users] pinning in pict

2020-01-28 Thread Robby Findler
It might affect other Picts inside, but if there aren't any, then yes. Robby On Tue, Jan 28, 2020 at 3:22 PM Benjamin Lerner wrote: > Wouldn't `(panorama (pin-over base dx dy pict))` handle this? > > > On 1/28/20 3:42 PM, Robby Findler wrote: > > You can cc-superimpose

Re: [racket-users] pinning in pict

2020-01-28 Thread Robby Findler
You can cc-superimpose with a blank pict (perhaps that you get via ghost/launder). Does that help? Robby On Tue, Jan 28, 2020 at 2:39 PM Hendrik Boom wrote: > Isn't there something like pin-over and pin-under which extends the > bounding > box to contain both the 'base' and the pict being

Re: [racket-users] Annoying run-warnings in DrR 7.5: How to disable?

2020-01-24 Thread Robby Findler
In the preferences dialog, in the General tab, the last checkbox is the one you want. But let me confirm: the reason it is painful to turn on the preference is that you have to choose a file? Would it work well for you if it only wanted to save files that already had filenames? Robby On Fri,

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-17 Thread Robby Findler
>> [image: Screen Shot 2020-01-15 at 21.50.02.png] >> >> - Light theme at the OS level and dark theme for the editor >> >> [image: Screen Shot 2020-01-15 at 21.49.17.png] >> >> As I understand, you have no problem with the customization for editors, >>

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-16 Thread Robby Findler
If you see something funny, please feel free to send me a screenshot so I can really get what's going on. Thanks! Robby On Thu, Jan 16, 2020 at 10:25 AM Hendrik Boom wrote: > On Thu, Jan 16, 2020 at 07:14:11AM -0600, Robby Findler wrote: > > Oh, that part is up to your operati

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-16 Thread Robby Findler
On Wed, Jan 15, 2020 at 10:10:12PM -0600, Robby Findler wrote: > > Dark mode will be a lot better in the next release. > > I hope so. I use drracket in dark mode on Linux. > The main panels have a proper black background, but some of the framing > has a white background, specifically

Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-15 Thread Robby Findler
Dark mode will be a lot better in the next release. Probably one thing you have to do (in the current release) is open the preferences dialog, choose "colors" and then click the "white on black" button. The snapshot builds are here if you want to see the improvement since the last release:

Re: [racket-users] POPLmark Retrospective Panel at POPL: Come, and send us your questions!

2020-01-08 Thread Robby Findler
Pierce (Penn) > > Peter Sewell (Cambridge) > > Xavier Leroy (Collège de France) > > Robby Findler (Northwestern) > > Scott Owens (Kent) > > Brigitte Pientka (McGill) > > > We want to make sure this is a fun and engaging panel, so if you have > any

Re: [racket-users] Re: macOS 10.10 Yosemite?

2020-01-07 Thread Robby Findler
On Tue, Jan 7, 2020 at 6:10 AM Hendrik Boom wrote: > > On Sat, Jan 04, 2020 at 03:04:32PM -0600, Robby Findler wrote: > > No Yosemite users to be found? > > I seem to have inherited my wife's Mac, and am thinking of trying it out. > I haave no idea how to use a Mac

Re: [racket-users] Confused about Semantics Engineering Exercise 12.6

2020-01-04 Thread Robby Findler
aluation context. This makes more sense, thanks. It >> felt like I must have misunderstood because what I did, which was the >> quickest and easiest way to do this, was to change my original language >> definition, rather than make a new one and thus need to make a new redu

[racket-users] Re: macOS 10.10 Yosemite?

2020-01-04 Thread Robby Findler
No Yosemite users to be found? Robby On Mon, Dec 23, 2019 at 8:36 AM Robby Findler wrote: > > We recently changed a library that DrRacket uses on macOS 10.10 and > later, but have only a 10.11 version to test on. Does someone have > version 10.10 running that they can download the

[racket-users] macOS 10.10 Yosemite?

2019-12-23 Thread Robby Findler
We recently changed a library that DrRacket uses on macOS 10.10 and later, but have only a 10.11 version to test on. Does someone have version 10.10 running that they can download the current Utah snapshot build and report if DrRacket starts properly and if tabs seem to work properly (creating a

Re: [racket-users] pict polygons

2019-12-17 Thread Robby Findler
2htdp/image images should work where Picts work (ie they are pict convertible). Robby On Tue, Dec 17, 2019 at 8:15 AM Hendrik Boom wrote: > I've been looking through pict documentation again, and failed to find > a way to draw arbitrary polygons. > > (at the moment I just want a triangle, but

Re: [racket-users] Re: racket-mode in emacs and error navigation

2019-12-12 Thread Robby Findler
Error trace is what DrRacket is using under the hood too. Robby On Thu, Dec 12, 2019 at 1:15 PM Nathaniel Griswold wrote: > I have discovered that if i do a C-u C-c C-c i get better error messages > and can navigate to the proper spot. It uses something called errortrace. > So i guess this is

Re: [racket-users] DrRacket 7.5 colors a bit dark and low contrast on Mac

2019-12-06 Thread Robby Findler
6, 2019 at 2:30 PM Robby Findler wrote: > Can you folks send me your preference file (off list)? Feel free to redact > it however you want. > > Robby > > On Fri, Dec 6, 2019 at 1:29 PM Sorawee Porncharoenwase < > sorawee.pw...@gmail.com> wrote: > >> Confirm th

Re: [racket-users] DrRacket 7.5 colors a bit dark and low contrast on Mac

2019-12-06 Thread Robby Findler
Can you folks send me your preference file (off list)? Feel free to redact it however you want. Robby On Fri, Dec 6, 2019 at 1:29 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > Confirm that I have this problem as well, even when I reset all preference > files. > > On Fri, Dec 6,

Re: [racket-users] Confused about Semantics Engineering Exercise 12.6

2019-11-30 Thread Robby Findler
Hi Mike: it looks to me like you have the right definition in the sense that it relates the right terms to each other. The rest of the exercise is just to get you to use Redex's `with` to express it and to avoid using the name `E` for a non-evaluation context. These are very minor things! What's

Re: [racket-users] reading code

2019-11-11 Thread Robby Findler
On Mon, Nov 11, 2019 at 10:30 AM Hendrik Boom wrote: > > On Fri, Oct 25, 2019 at 11:31:41AM +0200, Niklas Larsson wrote: > > Hi! > > > > If you right click on an identifier in drracket you get “jump to binding > > occurrence” and “jump to definition” (if it’s defined in another file). > > Don’t

Re: [racket-users] Modeling a context-sensitive evaluation context with PLT Redex?

2019-11-09 Thread Robby Findler
I am not sure how the details work out but I guess Jay's advice of writing a judgement form that shows how terms reduce is the right thing (and that judgment form may or may not use context decomposition patterns). Robby On Sat, Nov 9, 2019 at 6:31 AM Alexis King wrote: > Hi Jay, > > I

Re: [racket-users] transparency in Pict

2019-09-10 Thread Robby Findler
Another trick I use is to crop the picture that is nominally below the image and then just draw it again, but this time on top. Robby On Mon, Sep 9, 2019 at 2:15 PM Jens Axel Søgaard wrote: > You can use a path with an even-odd-fill to cut out parts. > > An example: > > #lang racket > (require

Re: [racket-users] Embedding a map widget in the DrRacket REPL

2019-09-06 Thread Robby Findler
Wow, thank you! Robby On Thu, Sep 5, 2019 at 11:00 PM Alex Harsanyi wrote: > > > On Wednesday, September 4, 2019 at 7:50:19 PM UTC+8, Stephen De Gabrielle > wrote: >> >> Dr Racket is amazing. Need to a demo of this and plot side by side. >> > > I can do better than just put a plot and a map

Re: [racket-users] Pict combiners in list form?

2019-09-05 Thread Robby Findler
Although this is a bit tedious and I write that too much too ... maybe they should call "flatten" on their arguments or just accept a list of picts? Robby On Wed, Sep 4, 2019 at 10:16 PM David Thrane Christiansen < da...@davidchristiansen.dk> wrote: > Hi Hendrik, > > I use apply for that. Eg

Re: [racket-users] Borders in pict

2019-09-03 Thread Robby Findler
These change the pen width and I believe the pen sits right on the border of the rectangle. As Ben points out, they don't affect the width and height of the pict, but picts draw outside their bounding box sometimes. Robby On Mon, Sep 2, 2019 at 9:22 PM Ben Greenman wrote: > Inside > > Welcome

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Robby Findler
On Wed, Aug 28, 2019 at 1:44 PM Breck Yunits wrote: > > > I'm not sure this was clear, but I think the clear goal for backwards > > compatibility is that code that used to run continues to run indefinitely. > > With no changes. That's certainly what the Racket core developers mean by > >

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Robby Findler
I'm not sure this was clear, but I think the clear goal for backwards compatibility is that code that used to run continues to run indefinitely. With no changes. That's certainly what the Racket core developers mean by "backwards compatible". In other words "requiring porting" is the opposite of

Re: [racket-users] Failed to load module in drracket

2019-08-28 Thread Robby Findler
I think the best path forward probably involves changing DrRacket so that, on a case-by-case basis, people can opt-in to loading specific external libraries automatically. I've not yet tried to implement that, but if someone wants to, the right starting place is the code that currently disallows

Re: [racket-users] Failed to load module in drracket

2019-08-24 Thread Robby Findler
gt;> The error message just apear after I type (require fluxus/fluxus) in the >> drracket. The mentioned so is an extension of racket for fluxus. >> >> Thanks >> Walter >> >> Robby Findler 于 2019年8月23日周五 下午7:43写道: >> >>> (Sorry, acciden

Re: [racket-users] Failed to load module in drracket

2019-08-23 Thread Robby Findler
(Sorry, accidentally dropped the list CC.) On Fri, Aug 23, 2019 at 6:42 AM Robby Findler wrote: > Is this an error you see when you click "run" or does it appear along the > very bottom of the window on its own? > > Robby > > On Fri, Aug 23, 2019 at 5:23 AM Walter

Re: [racket-users] Seeking good benchmark code for immutable hash and hash set usage

2019-08-22 Thread Robby Findler
(sorry for the self-followup; the unifier uses immutable hashes; grep suggests the other hashes that get used a lot are mutable hashes) On Thu, Aug 22, 2019 at 9:33 AM Robby Findler wrote: > > It looks like the pattern unifier uses hashes. I'm not sure if it they > would end up b

Re: [racket-users] Seeking good benchmark code for immutable hash and hash set usage

2019-08-22 Thread Robby Findler
It looks like the pattern unifier uses hashes. I'm not sure if it they would end up being good benchmarks (probably best to try to instrument the hashes to see if they actually get used a lot or not) but there are redex benchmarks that measure how long it takes to find specific bugs and one of

Re: [racket-users] Clarify project policy on racket2 syntax

2019-08-12 Thread Robby Findler
Points well taken, Neil. My messages were probably better unsent. Robby On Mon, Aug 12, 2019 at 9:50 AM Neil Van Dyke wrote: > > Robby, I'm still not certain we all have a shared understanding of some > of the concerns and where we all stand, so please let me try to get at > that some of that:

Re: [racket-users] Clarify project policy on racket2 syntax

2019-08-12 Thread Robby Findler
ause only default\main > syntax is what really mater for me. > Sorry for not expressing myself clearly enough. > > воскресенье, 11 августа 2019 г., 21:47:20 UTC+3 пользователь Robby Findler > написал: >> >> Matthew posted an (IMO) clear explanation of the state of t

Re: [racket-users] Clarify project policy on racket2 syntax

2019-08-11 Thread Robby Findler
Matthew posted an (IMO) clear explanation of the state of the thinking here earlier. tl;dr: sexpressions will never be abandoned and backwards compatibility with existing languages will be maintained for the foreseeable future. ... but read his message if you are worried. I believe it is

Re: [racket-users] Unwelcome surprises using Scribble on a 90,000-word novel

2019-08-01 Thread Robby Findler
On Thu, Aug 1, 2019 at 12:54 PM Hendrik Boom wrote: > At present, @include-section invokes require. Does it need to? Does > it actually export identifiers to the invoking scribble file? Or is > this just a convenient way of getting it to process the #lang line and > treat the included file

Re: [racket-users] Re: Using errortrace with repl-driven-development?

2019-07-23 Thread Robby Findler
In DrRacket, the "preserve stack trace" button actually corresponds to a mode in the compiler that disables some optimizations [*]. The radio buttons at the top (specifically the debugging one) control errortrace. Robby [*]

Re: [racket-users] Language-Specific Plugins: Toolbar button functionality to call drracket:eval:expand-program

2019-07-23 Thread Robby Findler
On Tue, Jul 23, 2019 at 11:35 AM Thomas Dickerson wrote: > Yes - the architecture we eventually settled on is a main submodule that does > roughly this to get a black-box value which we can pass back to a rendering > function to produce a gl-bitmap, and stick it in a snip. > > By the way - it

Re: [racket-users] Language-Specific Plugins: Toolbar button functionality to call drracket:eval:expand-program

2019-07-23 Thread Robby Findler
your #lang. > > Right, this is what we originally hand in mind. > >> >> On the whole, though, either returning a snip or creating a new `frame%` >> would probably be easier. Using a new `frame%` would also be entirely >> independent of DrRacket: I expect it would wo

Re: [racket-users] Re: Problem with `copy` method of image-snip%

2019-07-21 Thread Robby Findler
Maybe because get-extent in the super class vaches some information and that cache doesn't get maintained if you override the method. Robby On Sun, Jul 21, 2019 at 12:09 PM Alex Harsanyi wrote: > > I am not entirely sure why (because I already spent more than 15 minutes > on this :-) ), but

Re: [racket-users] Contracts referring to earlier elements?

2019-07-18 Thread Robby Findler
This is what ->i is for. The syntax of define/contract is slightly misleading because it appears to place the contracts in scope of the arguments but, as you notice, it doesn't. Happily ->i lets you give another name to the argument and then you can use that one. Robby On Thu, Jul 18, 2019 at

Re: [racket-users] using scribble for everything from category theory to poetry

2019-07-16 Thread Robby Findler
I'm not sure if I'm the best one to answer these, but here are my attempts. On Mon, Jul 15, 2019 at 4:38 PM Hendrik Boom wrote: > > I'm thinking of trying Scribble again now that I have a new computer. > I found it unacceptably slow years ago when I tried it on a 80,000 word novel. > I now,

Re: [racket-users] DrRacket back button

2019-07-15 Thread Robby Findler
No, not currently; you have to cycle through the binding identifiers (next binding occurrence). Robby On Mon, Jul 15, 2019 at 5:10 PM Luke Whittlesey wrote: > In DrRacket I like being able to right click on an identifier and `Jump to > Binding Occurance". Is there a way to "jump back" to where

Re: [racket-users] Editor task: finding end of code on line

2019-07-05 Thread Robby Findler
On Fri, Jul 5, 2019 at 2:32 PM Jordan Johnson wrote: > > Thanks for the reply, Robby. > > On Jul 2, 2019, at 19:11, Robby Findler wrote: > One note not related to what you ask: lines in editor<%> parlance are > soft-breaking; the methods about paragraphs are the on

Re: [racket-users] Editor task: finding end of code on line

2019-07-02 Thread Robby Findler
One note not related to what you ask: lines in editor<%> parlance are soft-breaking; the methods about paragraphs are the ones you want. Robby On Tue, Jul 2, 2019 at 11:41 AM Jordan Johnson wrote: > Dear Racket folks, > > I’m trying to implement a keybinding to get me more familiar with the >

Re: [racket-users] Language-Specific Plugins: Toolbar button functionality to call drracket:eval:expand-program

2019-07-01 Thread Robby Findler
On Mon, Jul 1, 2019 at 10:40 AM Thomas Dickerson wrote: > On Sun, Jun 30, 2019 at 11:44 AM Robby Findler > wrote: >> >> May I ask why you need to have the C++ code embed Racket instead of >> the other way around (ie using the FFI)? > > > The short answer is

Re: [racket-users] Language-Specific Plugins: Toolbar button functionality to call drracket:eval:expand-program

2019-06-30 Thread Robby Findler
May I ask why you need to have the C++ code embed Racket instead of the other way around (ie using the FFI)? Generally speaking, DrRacket (and other Racket tools) are going to work better if they get to "drive", I expect. (Put another way, I think Philip is giving you good advice here, fwiw.)

Re: [racket-users] managing competing access to filesystem within places

2019-06-23 Thread Robby Findler
On Sat, Jun 22, 2019 at 9:45 PM Matthew Butterick wrote: > > > On 06 22 19, at 6:14 AM, Robby Findler wrote: > > One thing you can do, when the place-specific communication takes > multiple steps is to, like you did in the first example, put the > channels into a h

Re: [racket-users] managing competing access to filesystem within places

2019-06-22 Thread Robby Findler
wrote: > > > > On 06 15 19, at 8:31 AM, Robby Findler wrote: > > A standard way to work with this is to send a channel over in the > first communication and then the communication that's specific to that > initial request happens on that channel. The precise way

Re: [racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-17 Thread Robby Findler
But stepping back a little bit, I'm curious why you're doing this more generally. Is this a way to communicate with users about what version they are using somehow or to tell them how to get specific versions that aren't the version listed on pkgs.racket-lang.org? Robby On Mon, Jun 17, 2019 at

Re: [racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-17 Thread Robby Findler
On Mon, Jun 17, 2019 at 12:23 PM Eric Eide wrote: > > Robby Findler writes: > > > But stepping back a little bit, I'm curious why you're doing this more > > generally. Is this a way to communicate with users about what version > > they are using somehow or to te

Re: [racket-users] managing competing access to filesystem within places

2019-06-15 Thread Robby Findler
which constraints went into this particular design point, but I think that syncronous receive and async send is a natural point in the design space in some vague general sense. Robby On Sat, Jun 15, 2019 at 11:58 AM Matthew Butterick wrote: > > > > On Jun 15, 2019, at 8:31 AM, R

Re: [racket-users] managing competing access to filesystem within places

2019-06-15 Thread Robby Findler
Place channels are asynchronous, not syncronous (i.e. you don't have two-way rendez-vous). So the call to put returns immediately in `loopback-p` before the other end receives the result. And now the next iteration of the loop's get is in parallel to the put from the previous iteration's. A

Re: [racket-users] RacketCon hotel group rate

2019-06-14 Thread Robby Findler
Very generous, thank you! Robby On Fri, Jun 14, 2019 at 4:24 PM David Storrs wrote: > > > > On Fri, Jun 14, 2019 at 5:16 PM Robby Findler > wrote: >> >> Not that you should change your system/plans, but attendees booking >> rooms at the hotel is a

Re: [racket-users] RacketCon hotel group rate

2019-06-14 Thread Robby Findler
Not that you should change your system/plans, but attendees booking rooms at the hotel is actually part of what helps to pay for the event (because of the way the contracts between the event and the hotel works). In this case, I don't think there is any issue and RacketCon is, as far as I know,

Re: [racket-users] exact rationals in interactions window

2019-06-13 Thread Robby Findler
Does this help? (let ([cp (current-print)]) (current-print (λ (x) (define sp (open-output-string)) (parameterize ([current-output-port sp]) (cp x)) (display (get-output-string sp) On Thu, Jun 13, 2019 at 12:20 PM Jos Koot wrote: > > > > Hi > > > > Is it possible

Re: [racket-users] Re: grammar-based fuzzing

2019-06-06 Thread Robby Findler
In addition to the other suggestions, if you can express the thing you want to generate as a contract, the contract library will generate random instances of it. But it doesn't have the tuning of weights you're looking for. Robby On Thu, Jun 6, 2019 at 3:41 PM Eric Eide wrote: > > Ryan Kramer

Re: [racket-users] anyone using single-flonums?

2019-05-30 Thread Robby Findler
On Thu, May 30, 2019 at 8:03 AM Laurent wrote: > I suspect that if Matthew feels a need to ask about this, this means the > price of backward compatibility to pay for all of us may be quite significant. Not one to put words in Matthew's mouth, but I presume that he is hopeful that no one is

[racket-users] Re: Idle UI thought: compiling/running indicator?

2019-05-20 Thread Robby Findler
DrRacket doesn't currently know about the difference between those two (it just evaluates the program and eval knows what it is doing, but doesn't currently tell). There is a related thing, tho: when debugging is turned off, if you see a green bubble (it will have little spikeys on it), then

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-10 Thread Robby Findler
Great! I've pushed it. Hopefully the docs make it clear how to define the C you wanted earlier. If they don't let me know and I'll fix 'em. Robby On Wed, May 8, 2019 at 11:21 AM William J. Bowman wrote: > > Yeah, I think I would be. > > On Wed, May 08, 2019 at 11:13:12AM -0500, R

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-08 Thread Robby Findler
Hi William: are you agreeing that if redex added a new pattern that you would be in good shape or not? Thanks, Robby On Wed, May 8, 2019 at 10:05 AM William J. Bowman wrote: > > On Wed, May 08, 2019 at 08:31:26AM -0500, Robby Findler wrote: > > On Tue, May 7, 2019 at 9:19 PM Willi

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-08 Thread Robby Findler
On Tue, May 7, 2019 at 9:19 PM William J. Bowman wrote: > > On Tue, May 07, 2019 at 03:55:09PM -0500, Robby Findler wrote: > > I can agree that the current definition isn't the best one, but this > > one doesn't seem right. I mean, this requires that both sides step? It > &g

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-07 Thread Robby Findler
On Mon, May 6, 2019 at 2:11 PM William J. Bowman wrote: > > I took a quick look at the implementation of `cross` and `compatible-closure`, > and couldn't make sense of any of it. > For now, I guess I'll manually write out the contexts, and discuss a feature > request. > > I spoke to Max a bit

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
To me, it's the obvious compatible closure, but apparently not. > (It's the one the paper I'm reading calls "the congruence closure", as far > as I > can tell; the definition is missing, hence my Redex modeling.) > > -- > William J. Bowman > > On Fri, May 03, 2019

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
(C ::= VT TT) > > and take the context-closure of C. > (see attached) > > Can I get my hands on the generated VT and TT easily, or would I need to > tweak > Redex internals to automate this? > > -- > William J. Bowman > > On Fri, May 03, 2019 at 07:52:09PM -0500

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
> On May 3, 2019, at 20:02, Robby Findler wrote: > > > > Redex, when asked to create the compatible closure, creates a context > > and then uses that. In this case, it will create a context something > > like this: > > > > TT ::= hole | (\ (x) TT) |

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
Redex, when asked to create the compatible closure, creates a context and then uses that. In this case, it will create a context something like this: TT ::= hole | (\ (x) TT) | (TT v) | (t VT) | (force VT) | (return VT) VT ::= (thunk TT) If you want something else (I'm not sure of an algorithm

Re: [racket-users] 2htdp/image: Alpha blending

2019-04-26 Thread Robby Findler
My guess is that the GUI system under 2htdp/image remembered the color was drawn with an alpha value of 100 but there isn't enough resolution to determine the difference between 50 and 48 when you are at 101/256 (or whatever the alpha as a percentage really would be ...). Robby On Fri, Apr 26,

Re: [racket-users] Concurrent map / andmap / for-each

2019-04-24 Thread Robby Findler
Thanks for working on this, but Racket's `thread` construct is not parallel (in the sense that you will not see more than one CPU active on your machine at a time with code that uses `thread`). Check out places and futures for alternatives that do support parallelism. Robby On Wed, Apr 24, 2019

Re: [racket-users] make extensions or replacements

2019-04-21 Thread Robby Findler
ICFP 2018 should be available to all (and other years too). It was paid for and I can get the PDF. Could you send me more info? Robby On Sun, Apr 21, 2019 at 12:53 PM Greg Hendershott wrote: > On Sat, Apr 20, 2019 at 12:02 PM Norman Gray > wrote: > > On 20 Apr 2019, at 1:11, 'John Clements'

Re: [racket-users] Re: raco setup conflicting with slideshow

2019-04-09 Thread Robby Findler
I think it would be nice if there were a new library, pulled out of the current slideshow/base that exported more pict-making functions and didn't depend on these various things. I've looked into this before and I came to the conclusion that it didn't belong in pict because of the way it does

Re: [racket-users] Generate really large random numbers in Racket

2019-04-01 Thread Robby Findler
Generate multiples of those and combine them (shifting old ones over and adding new ones as the lowest digits)? I'm not sure of a good way to generate nats uniformly at random where you don't specify an upper bound, but Neil Toronto suggested something crazy we used this paper:

Re: [racket-users] Writing scribble?

2019-03-13 Thread Robby Findler
It is control-left and control-right to go by words in DrRacket. If you go to Edit|Keybindings|Show Active Keybindings and type "word" you'll see those and the ones Matthias mentioned and some other word-related keystrokes. Robby On Wed, Mar 13, 2019 at 1:24 PM Matt Jadud wrote: > > Hi all, > >

Re: [racket-users] Help with evaluation of examples in Scribble

2019-03-10 Thread Robby Findler
For the purposes of documentation building however, does it perhaps make sense to fake then actual network connection? Robby On Sun, Mar 10, 2019 at 9:48 AM Matthew Flatt wrote: > Use `call-with-trusted-sandbox-configuration` around the creation of > the evaluator. It's painful and unlikely to

Re: [racket-users] Possible expander bug in internal definition contexts

2019-03-07 Thread Robby Findler
Is the issue simply that `begin`'s body is not an internal definition context, but instead spliced into the containing context? Robby On Thu, Mar 7, 2019 at 12:01 AM Milo Turner wrote: > > I was discussing with a friend some of the edge cases in how internal > definition contexts and expansion

Re: [racket-users] Cannot use case+else inside match+else

2019-02-25 Thread Robby Findler
I have been bitten by this one too, it is a bit pernicious. Perhaps we can adjust the documentation to make more clear that `else` isn't special in `match`? Robby On Mon, Feb 25, 2019 at 6:51 PM Sorawee Porncharoenwase wrote: > > I usually use _ for the otherwise case because I usually match on

  1   2   3   4   5   6   7   8   >