Re: [racket-users] racket meet-up in London ?

That sounds a great idea, I am interested. For numbers less than about 10, if it helps, I can get a meeting room in the Turing Institute (though I’m also happy to try a coffee shop, not that I have any good suggestions). James > On 24 Feb 2020, at 21:41, Stephen De Gabrielle > wrote: >

Re: [racket-users] Racket Generic Graph Library: non-numerical edge weight/labels + Graphviz?

Thank you very much for your answer Stephen! I'll be busy the whole day tomorrow, but I'll come back in the evening most probably and will continue the discussion on the GitHub issue. Indeed, I haven't seen the constructors actually check the edges to be numerical, but I had the impression

[racket-users] Re: racket meet-up in London ?

Proposed date: Thursday 9th April 1-2pm, - probably at a cafe near St Pancras station. (suggestions appreciated?) Please let me know if you are interested, even if you can’t confirm attendance. I’ll take the afternoon out of my holiday leave so I can get there. (If the numbers get too big and I

Re: [racket-users] Types for formlets

Hi Marc, You're right that there will be some challenges in using formlets in Typed Racket. The easiest approach will probably be to keep defining formlets in untyped modules and importing them with `require/typed`, perhaps with helper functions or macros to eliminate some of the boilerplate.

Re: [racket-users] Racket Generic Graph Library: non-numerical edge weight/labels + Graphviz?

> I am somewhat surprised that the graph library enforces numerical edge > weights at all. The docs do informally say number weights but I don't think the constructors do any checking? Any enforcement should be deferred to individual algorithms. Re: graphviz, I took a quick look and I think we

Re: [racket-users] TR dependent types cannot check equality of symbols

On 2/24/20, Marc Kaufmann wrote: > Very nice, adding > > (: get-user-var (case-> ...)) > > indeed does the trick. So I can use `case->` to do overloading (if that's > what it is called), by defining different functions for different type > signatures, and then put them together into a single

[racket-users] Types for formlets

Hi all, I wonder what the best way is to integrate formlets into typed programs. I simply `require/typed` formlet-display as type (-> Any Any), which is not illuminating, but the display part is rarely the problem. formlet-process is tricky. The earliest point at which I 'know' the type of

[racket-users] Re: quick racket editor survey

at 18 responses [image: Three-set Venn diagram (at 18 responses).png] I think this is fascinating. (I'm filled with fear and admiration for the lone racketeer in the middle) S. On Mon, Feb 24, 2020 at 1:31 PM Stephen De Gabrielle < spdegabrie...@gmail.com> wrote: > If anyone is interested

[racket-users] Re: quick racket editor survey

If anyone is interested you can view the responses here: https://www.surveymonkey.com/results/SM-GBD6J7ST7/ 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] quick racket editor survey

Hi, quick racket editor survey: https://www.surveymonkey.co.uk/r/H23ZTDW I'm not part of the racket team but I am working on a community survey. I'm hoping the results of this will inform part of that. No personal data collected, but SurveyMonkey logs

Re: [racket-users] how to adapt BC code for Racket CS?

On Sun, Feb 23, 2020 at 05:58:30AM -0700, Matthew Flatt wrote: > > Converting loops into closed form requires more sophisticated and > general induction reasoning than is typical in a compiler. Or it needs > ad hoc pattern patching to cover a few cases --- which I have seen gcc > do, but I don't

Re: [racket-users] TR dependent types cannot check equality of symbols

Very nice, adding (: get-user-var (case-> ...)) indeed does the trick. So I can use `case->` to do overloading (if that's what it is called), by defining different functions for different type signatures, and then put them together into a single function via a cond. E.g.: (: int-add (->