[racket-users] Re: foldts-test-suite

2020-06-02 Thread Alex Harsanyi
Are there alternatives to the `folds-test-suite` and `fold-test-results` functions, for people who want to write their own test running and reporting for Rackunit tests? Alex. On Wednesday, June 3, 2020 at 2:00:02 AM UTC+8, Jack Firth wrote: > > The test case folding stuff in RackUnit should

Re: [racket-users] Re: [racket] Web Framework Benchmarks

2020-06-02 Thread Bogdan Popa
The reason for the poor performance relative to the other langs/frameworks is that there is currently no easy way to take advantage of multiple cores using the web framework so what’s being benchmarked is single core perf. This is mainly a problem for benchmarks such as this, but not really an

[racket-users] Re: foldts-test-suite

2020-06-02 Thread Jack Firth
The test case folding stuff in RackUnit should mostly be ignored, instead of extended. On Saturday, May 23, 2020 at 7:52:21 AM UTC-7, Shriram Krishnamurthi wrote: > > The documentation > > >

Re: [racket-users] raco setup --only-docs Is there something like this?

2020-06-02 Thread Simon Schlee
This cuts the time down from 6-7 seconds to 2-3 seconds for me, that is great, thank you! previous: time raco setup --doc-index --no-pkg-deps layout 6.85s user 1.29s system 209% cpu 3.888 total now: raco setup -n -j 1 --doc-index --no-pkg-deps --avoid-main layout 2.31s user 0.47s system 99%

Re: [racket-users] raco setup --only-docs Is there something like this?

2020-06-02 Thread Matthew Flatt
You could use `-n` to skip the ".zo"-building part, and there are similar arguments for other steps. You may also find it helpful to use `-j 1`. Although `raco setup` should be smarter about spinning up places to build multiple documents in parallel, it currently isn't. At Tue, 2 Jun 2020

Re: [racket-users] syntax woe with typed Racket 'let'

2020-06-02 Thread Philip McGrath
On Mon, Jun 1, 2020 at 3:48 PM Sam Tobin-Hochstadt wrote: > (define (f [x : Number] . [y : String *]) : Number (+ x (length y))) > Another way to write this, which I often prefer, is: > (: f (-> Number String * Number)) > (define (f x . y) > (+ x (length y))) > -- You received this

[racket-users] raco setup --only-docs Is there something like this?

2020-06-02 Thread Simon Schlee
Hello, I like that I can run: raco setup --doc-index my-collection-name and it builds the documentation and makes it searchable on my local machine. But I was wondering if there is a way to speed-up/skip some of the usual setup stuff that happens before building the documentation? Should I

[racket-users] Poor documentation of List*

2020-06-02 Thread Hendrik Boom
In the Typed Racket Reference, List* is defined as follows: (List* t t1 ... s) is equivalent to (Pairof t (List* t1 ... s)). Following this definition down, we get (List* a b c) -> (Pairof a (List* b c)) -> (Pairof a (Pairof b (List* c))) But what's (List* c) ? I see no explanatory

[racket-users] Call for Submissions: ICFP Student Research Competition

2020-06-02 Thread 'Sam Tobin-Hochstadt' via users-redirect
ICFP 2020 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the

Re: [racket-users] Re: Racket News - Issue 32 is here!

2020-06-02 Thread Sam Tobin-Hochstadt
Sham is designed for very different use cases than Racket -- Racket is general purpose and not easily mapped to a low level language. Sam On Tue, Jun 2, 2020, 2:00 AM Liwei Chou wrote: > Saw this cool paper Sham: A DSL for Fast DSLs >

Re: [racket-users] Re: [racket] Web Framework Benchmarks

2020-06-02 Thread Bogdan Popa
Bogdan Popa writes: > Only dispatchers get direct access to the output port for the socket. > If you use `dispatch/servlet', then it takes care of taking your > `response' value and calling `output-response' on it. Unless the server > knows the connection should be closed and unless the

Re: [racket-users] Re: [racket] Web Framework Benchmarks

2020-06-02 Thread Bogdan Popa
George Neuner writes: > What I did say is that Python's threads are core limited - and *that* > is true. As a technical matter, Python *may* in fact start threads > on different cores, but the continual need to take the GIL quickly > forces every running thread in the process onto the same

[racket-users] Re: Racket News - Issue 32 is here!

2020-06-02 Thread Liwei Chou
Saw this cool paper Sham: A DSL for Fast DSLs . Can this be used to optimize Racket itself? :) Paulo Matos於 2020年6月2日星期二 UTC+8上午1時46分00秒寫道: > > Racket News - Issue 32 is here! > > No time to wait, go grab a coffee and