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

2021-02-26 Thread David Thrane Christiansen
ased > on specific examples you're rendering (or just have too many parens, sigh). > > Robby > > > On Wed, Feb 24, 2021 at 4:46 AM David Thrane Christiansen < > da...@davidchristiansen.dk> wrote: > >> Thanks Ryan! >> >> There's all sorts of nice goodies in th

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

2021-02-24 Thread David Thrane Christiansen
r optionally parenthesizing its arguments. > > Ryan > > > On Wed, Feb 24, 2021 at 11:07 AM David Thrane Christiansen < > da...@davidchristiansen.dk> wrote: > >> Hello all, >> >> I'm working on coding up a little language model in Redex, and I'd like >> to

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

2021-02-24 Thread David Thrane Christiansen
Hello all, I'm working on coding up a little language model in Redex, and I'd like to get it to render things in the form that my colleagues are used to. This means some infix operators as well as dealing with parenthesizing based on operator precedence. Here's a boiled-down sample of what I'm

Re: [racket-users] eq? of quoted expressions

2019-10-25 Thread David Thrane Christiansen
Hello, eq? decides object identity, or pointer equality. Symbols are interned, which means that there's a table mapping symbol names to underlying objects, such that using the name twice results in the same allocated symbol object being returned. Pairs are not interned. Each time a new pair is

Re: [racket-users] More Pict details

2019-09-04 Thread David Thrane Christiansen
Hi Hendrik, Try the #:draw-border? keyword argument. David On Wed, Sep 4, 2019, 20:02 Hendrik Boom wrote: > How do you draw a rectangle without a border? When I set the > #:border-width > parameter in filled-rectangle to zero I still get a black line around the > rectangle. I worked around

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

2019-09-04 Thread David Thrane Christiansen
Hi Hendrik, I use apply for that. Eg (apply hbl-append (pict-width (t " ")) my-list-of-picts). David On Wed, Sep 4, 2019, 20:06 Hendrik Boom wrote: > Is there a way to call the pict combiners (such as ht-append) giving it a > list of argument picts instead of a varying number of argument

[racket-users] How to extend drracket:default-filters at editor startup?

2019-06-10 Thread David Thrane Christiansen
Hello all, In order to add an entry to the file extension dropdown in DrRacket, a #lang's get-info procedure should respond to drracket:default-filters. This works - in the Pie integration for DrRacket, the corresponding entry is present. However, it is only present after the first Pie program

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread David Thrane Christiansen
> Swindle/CLOS does implement generic functions, but I'm not aware that it > also implements the before / after / around methods that we have been > talking about. But then, it does so much I may just have missed > something ... its documentation can be tough to read at times. A quick grep of

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread David Thrane Christiansen
> The basic generics machinery isn't terribly hard to implement inside a > compiler. I'm not sure though how I would do it on top of Racket. I'm > sure I could hack up some ugly macros that would work, but it seems like > it needs to be a language to be done right. What about Swindle?

Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-07 Thread David Thrane Christiansen
Den man. 7. jan. 2019 kl. 01.45 skrev Paulo Matos : > I don't really understand the risky bet comment. What's a risky bet? To > use Racket on RISC-V for production? Well, yes, it doesn't run yet. > RacketCS doesn't compile because the RISC-V backend for Chez is not > finished, Racket doesn't

Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-04 Thread David Thrane Christiansen
to do this unfunded, you could use an emulator, and ask > > raptorcs.com to kindly let you have remote access to a Talos II. But > > IBM doesn't need charity. :) Power9 would not be done to the exclusion > > of RISC-V, but be complementary. > > > > (I also still use a

[racket-users] Experiences with Racket on RISC-V?

2019-01-02 Thread David Thrane Christiansen
Hi all, I'm just wondering if anyone here has experience running Racket on Debian on RISC-V, either positive or negative. There is a Debian package, at least, but language implementations are often one of the more challenging things to make reliable on a new architecture. In case it matters, the

[racket-users] Re: pie: dancing around 'U does not have a type'

2018-12-31 Thread David Thrane Christiansen
Hi John, Den søn. 30. dec. 2018 kl. 23.39 skrev John Clements : > I’m having a great deal of fun working through The Little Typer. I’ve run > into a problem that I’m sure has a simple solution, but I don’t know what it > is. To understand my question, let me first give a simple example.

Re: [racket-users] Is it possible to embed a scheme'y text editor in another GUI application?

2018-08-08 Thread David Thrane Christiansen
> Wow, those are stunning examples! I had no idea! Thanks! > BTW, do you have code for either of these posted anywhere under a libre > license? Might be interesting to look at :) I don't typically post the source code of the slides themselves, because I don't really design them for

Re: [racket-users] Is it possible to embed a scheme'y text editor in another GUI application?

2018-08-05 Thread David Thrane Christiansen
Hi Christopher, > Oh, this is very nice! I didn't even know there was a way to embed a > REPL like this in slideshow! :) It's possible to embed arbitrary GUI widgets! Here's a talk that uses Slideshow with an embedded Idris editor and REPL where the slides fire up an Idris compiler behind the

Re: [racket-users] Reimplementing Hackett’s type language: expanding to custom core forms in Racket

2018-04-15 Thread David Thrane Christiansen
Hi Alexis, I am very happy to have posts like this announced here. Thanks for writing it! It was useful and interesting. David On Sun, Apr 15, 2018, 06:58 Alexis King wrote: > Hello all, > > I wrote a blog post about my recent experience rewriting the > implementation

Re: [racket-users] Alternatives to DrRacket

2017-11-26 Thread David Thrane Christiansen
Hi Stephen, > I’ve noticed some list members use other editors or IDE’s. > > I know two big reasons for using a complex tool is it’s stickiness factors; > normally a combination of familiarity (hence speed) with a lot of powerful > features and non-transportable customisation. > > Putting

Re: [racket-users] DrRacket Danish translation files?

2017-10-16 Thread David Thrane Christiansen
Thank you! On 16-10-2017 21:18, Robby Findler wrote: > The racket/string-constants repo. Thanks! > > Robby > > On Mon, Oct 16, 2017 at 8:17 PM David Thrane Christiansen < > da...@davidchristiansen.dk> wrote: > >> Hello all, >> >> I was using

[racket-users] DrRacket Danish translation files?

2017-10-16 Thread David Thrane Christiansen
Hello all, I was using DrRacket in Danish the last few days, and saw that various strings were missing translations. Searching the DrRacket repo on Github didn't lead me to them - where should I look to contribute updated strings? Thanks! /David -- You received this message because you are