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

2020-02-23 Thread Alexis King
> On Feb 23, 2020, at 18:28, Matthew Flatt wrote: > > None of Racket BC, Racket CS, or Chez Scheme by itself will optimize > away the unused loop argument. That kind of interprocedural dead-code > elimination is out of reach for the current compilers, except to the > degree that inlining turns th

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

2020-02-23 Thread Gustavo Massaccesi
Some minor remarks: On Sun, Feb 23, 2020 at 9:58 AM Matthew Flatt wrote: > [Replying to three messages] > > At Sat, 22 Feb 2020 08:05:28 -0800, Matthew Butterick wrote: > > 1) As a package maintainer with zero exposure to Chez Scheme, how do I > start > > to optimize for Racket CS? Are there cer

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

2020-02-23 Thread Stephen De Gabrielle
Is anyone up for another racket meet-up in London ? Need to work out a time and place to meet. Kind regards Stephen -- -- 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, s

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

2020-02-23 Thread Ben Greenman
Try this case-> type instead: (case-> (-> Integer 'name Symbol) (-> Integer 'age Integer) (-> Integer Symbol (U Symbol Integer))) I don't know what it would take to add refinements for symbols, but that might be useful. Andrew Kent's dissertation may have some pointers: https://pn

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

2020-02-23 Thread unlimitedscolobb
Hello, I'm using the wonderful graph library which can do tons of various graph-related tasks. However, I haven't found a way to attach non-numerical weights/labels to edges _and_ have them appear in the Graphviz rendering of the graph. Is it at all possible? I did see define-edge-property,

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

2020-02-23 Thread Matthew Flatt
[Replying to three messages] At Sat, 22 Feb 2020 08:05:28 -0800, Matthew Butterick wrote: > 1) As a package maintainer with zero exposure to Chez Scheme, how do I start > to optimize for Racket CS? Are there certain patterns and idioms from BC that > should be systematically eradicated? No. Fo