Re: [racket-users] Re: lambda and the equivalent define / "defun"

2016-09-06 Thread Jon Zeppieri
On Tue, Sep 6, 2016 at 8:50 PM, Jon Zeppieri wrote: > > > > The `(lambda s ...)` is variable-arity, but when you call `ss` internally > [...] > Sorry, I realized after that your `ss` function essentially *is* a wrapper around your `subsets` function -- which is exactly what I was suggesting. Howe

Re: [racket-users] Re: lambda and the equivalent define / "defun"

2016-09-06 Thread Jon Zeppieri
On Tue, Sep 6, 2016 at 7:30 PM, Sanjeev Sharma wrote: > Thanks, that's helpful > > I am having trouble coming up with a quick and easy shorthand to recur on > the rest parameter - is there a standard way to cdr down this list without > an intermediary helper function that takes out the raise-nest

Re: [racket-users] aws package fails against google cloud storage

2016-09-06 Thread Greg Hendershott
Until this thread today, I wasn't even aware the AWS package could be used with GCS. It was a fair amount of work to update things to use v4 sig a year ago: https://github.com/greghendershott/aws/milestone/5?closed=1 If only I'd known, I could have used GCS compatibility as an excuse not to do

[racket-users] Re: lambda and the equivalent define / "defun"

2016-09-06 Thread Sanjeev Sharma
Thanks, that's helpful I am having trouble coming up with a quick and easy shorthand to recur on the rest parameter - is there a standard way to cdr down this list without an intermediary helper function that takes out the raise-nesting-depth effect? Recursion on the base define (the one with

Re: [racket-users] aws package fails against google cloud storage

2016-09-06 Thread 'John Clements' via Racket Users
> On Sep 6, 2016, at 11:59 AM, 'John Clements' via Racket Users > wrote: > > >> On Sep 6, 2016, at 11:40 AM, 'John Clements' via Racket Users >> wrote: >> >> >>> On Sep 6, 2016, at 11:19 AM, 'John Clements' via Racket Users >>> wrote: >>> >>> I’m in the process of updating some old code

Re: [racket-users] Order of reduction rules in Redex

2016-09-06 Thread Dupéron Georges
Le mardi 6 septembre 2016 20:39:37 UTC+2, Sam Caldwell a écrit : > I'm not sure what it is you want. Do you want the reduction relation to be > deterministic? If so then you need to decide which order is the "right" one. > > You can do this by adding a "lifted-less expression" to your grammar Th

Re: [racket-users] aws package fails against google cloud storage

2016-09-06 Thread 'John Clements' via Racket Users
> On Sep 6, 2016, at 11:40 AM, 'John Clements' via Racket Users > wrote: > > >> On Sep 6, 2016, at 11:19 AM, 'John Clements' via Racket Users >> wrote: >> >> I’m in the process of updating some old code that used the PLaneT version of >> aws to communicate with google cloud storage (yes, g

[racket-users] Racket module creation in org-mode?

2016-09-06 Thread Lawrence Bottorff
Just wondering if creating a module always has to be based on a .rkt file? Would there be any way to create, say, modules (one or more) in an org-mode file, perhaps one module per babel code block? . . . Trying to get org-mode to be more "modular." -- You received this message because you are

Re: [racket-users] aws package fails against google cloud storage

2016-09-06 Thread 'John Clements' via Racket Users
> On Sep 6, 2016, at 11:19 AM, 'John Clements' via Racket Users > wrote: > > I’m in the process of updating some old code that used the PLaneT version of > aws to communicate with google cloud storage (yes, google cloud storage > apparently uses the s3 protocol). Using the current aws package

Re: [racket-users] Order of reduction rules in Redex

2016-09-06 Thread Sam Caldwell
I'm not sure what it is you want. Do you want the reduction relation to be deterministic? If so then you need to decide which order is the "right" one. You can do this by adding a "lifted-less expression" to your grammar, such as (define-extended-language simple+lifted+hole+temp simple+lifted ;

[racket-users] aws package fails against google cloud storage

2016-09-06 Thread 'John Clements' via Racket Users
I’m in the process of updating some old code that used the PLaneT version of aws to communicate with google cloud storage (yes, google cloud storage apparently uses the s3 protocol). Using the current aws package with Google Cloud Storage yields responses looking like this: root@cp-test-class:/

Re: [racket-users] whether to use gui framework

2016-09-06 Thread Alexis King
I don’t use the GUI stuff much, so take this with a grain of salt, but my guess is that you will definitely want to use framework if you need syntax coloring. The color:text% component does a lot of work to implement syntax coloring on top of the relatively primitive text% component (which is actua

Re: [racket-users] whether to use gui framework

2016-09-06 Thread Matthew Flatt
The framework classes are very likely to pay off for that application. I used them toward a similar end in the `slideshow-repl` package. At Tue, 6 Sep 2016 03:29:30 -0400, Neil Van Dyke wrote: > If I want to write a GUI program with a simple syntax-colored text > language for a UI[*]... do I want

[racket-users] Order of reduction rules in Redex

2016-09-06 Thread Dupéron Georges
Hi all! I'm trying out redex, and I defined a simple language with (define v e) statements. I also defined an extended language, which allows expressions to be (lifted v' e'). A (lifted v' e') expression is replaced by v', and a definition (define v' e') is lifted to the top-level, just before

Re: [racket-users] Positioning GUI controls in contact with one another

2016-09-06 Thread David Storrs
On Tue, Sep 6, 2016 at 1:15 AM, Jens Axel Søgaard wrote: > Dave wrote: > > I'm on OSX 10.11. I'm working on a spreadsheet application, and my > current plan is to have each cell be > > represented as a separate text control.[1] > > This potentially leads to many controls (even with your optimiza

Re: [racket-users] Positioning GUI controls in contact with one another

2016-09-06 Thread David Storrs
On Mon, Sep 5, 2016 at 3:03 PM, Robby Findler wrote: > I haven't seen buttons in spreadsheet cells in excel, but maybe I'm > taking your words too literally? > Ah, sorry, I phrased that poorly. I'm thinking of things like the header on a column, which you can click to make it sort that column.

[racket-users] Re: lambda and the equivalent define / "defun"

2016-09-06 Thread George Neuner
On Sun, 4 Sep 2016 10:36:21 -0700 (PDT), Sanjeev Sharma wrote: >two "x" 's also work > >(define list (lambda x x)) (lambda x x x) works because the evaluation of the middle x is a side effect which is ignored. It still will work if you change it to, e.g., (lambda x 'q x) or (lambda x 42 x) ...

Re: [racket-users] syntax-parse in typed racket

2016-09-06 Thread Sourav Datta
On Monday, September 5, 2016 at 10:54:57 PM UTC+5:30, Matthias Felleisen wrote: > The easiest and proper fix is to write typed macros for typed modules. Below > is a naive but straightforward solution. It would be better if > define-memoized fished out the type declaration for f and used it to ad

Re: [racket-users] Positioning GUI controls in contact with one another

2016-09-06 Thread Jens Axel Søgaard
Dave wrote: > I'm on OSX 10.11. I'm working on a spreadsheet application, and my current plan is to have each cell be > represented as a separate text control.[1] This potentially leads to many controls (even with your optimization in footnote [1]). Consider displaying (a section of) the spreads

[racket-users] whether to use gui framework

2016-09-06 Thread Neil Van Dyke
If I want to write a GUI program with a simple syntax-colored text language for a UI[*]... do I want to use just `editor-canvas%`, or will the additional work of using `framework` save me a lot of work in the end? [*] One frame, consisting only of a text editor, with line-oriented language syn