Re: [racket] web server + REPL-ish functions?

2014-08-27 Thread Jay McCarthy
Yes, although I actually assumed that you would start your server from a real Racket REPL, rather than implement your own REPL, so you wouldn't need to wait on anything. But what you wrote will work too. Jay On Wed, Aug 27, 2014 at 4:33 PM, Matthew Butterick wrote: > Helpful, thanks. I have my `

Re: [racket] contracts ->i optional keyword syntax

2014-08-27 Thread Kevin Forchione
On Aug 27, 2014, at 1:32 PM, Matthias Felleisen wrote: > #lang racket > > (module x racket > (provide > (contract-out >(rename f g (-> integer? any/c > > (define f displayln)) > > (require 'x) > > (g 'a) Thanks! Nesting the contract in the rename there me. I was trying (among

Re: [racket] web server + REPL-ish functions?

2014-08-27 Thread Matthew Butterick
Helpful, thanks. I have my `serve/servlet` within a `start-server` function rather than at the top level. Quick experimentation suggests that `thread-wait` is needed in this case (?): (define (start-server) (setup-chores ...) (define server-t (thread (lambda () (serve/servlet ...

Re: [racket] contracts ->i optional keyword syntax

2014-08-27 Thread Matthias Felleisen
#lang racket (module x racket (provide (contract-out (rename f g (-> integer? any/c (define f displayln)) (require 'x) (g 'a) On Aug 27, 2014, at 2:18 PM, Kevin Forchione wrote: > > On Aug 27, 2014, at 11:12 AM, Matthias Felleisen wrote: > >> >> On Aug 27, 2014, at

[racket] [->] How to render math formulas with LaTeX under Scribble [solved]

2014-08-27 Thread Enrique Comer
Hi Jens Axel: Really thank you very much. It work exactly as you said. Now I applied racket-poppler under scribble/manual with the following code, as a test: #lang scribble/manual @(require racket-poppler/render-tex pict) @(latex-path   (case (system-type)    [(macosx) "/usr/local/texlive/2013/

Re: [racket] contracts ->i optional keyword syntax

2014-08-27 Thread Kevin Forchione
On Aug 27, 2014, at 11:12 AM, Matthias Felleisen wrote: > > On Aug 27, 2014, at 12:22 PM, Kevin Forchione wrote: > >> >> #lang racket >> >> (provide (contract-out [foo >>(-> string? list?)]) >> (rename-out (foo bar))) >> >> (define (foo n) (list n)) >> >>

Re: [racket] contracts ->i optional keyword syntax

2014-08-27 Thread Matthias Felleisen
On Aug 27, 2014, at 12:22 PM, Kevin Forchione wrote: > > #lang racket > > (provide (contract-out [foo > (-> string? list?)]) > (rename-out (foo bar))) > > (define (foo n) (list n)) > > (module+ test > (require (submod "..")) > (foo 3) > (bar "3”)) > >

Re: [racket] web server + REPL-ish functions?

2014-08-27 Thread Jay McCarthy
Hi Matthew, You can run serve/servlet in a separate thread and continue to interact with any functions you want: (define server-t (thread (lambda () (serve/servlet ... You could then use something like xrepl to start doing new stuff. There's nothing the Web server would need to do necessaril

Re: [racket] contracts ->i optional keyword syntax

2014-08-27 Thread Matthias Felleisen
Yes, you can refer to non-exported definitions: #lang racket (provide (contract-out (f (-> integer? integer? (define (f x) x) (define (g x) x) (module+ test (require rackunit (submod "..")) (check-equal? (f 1) 1) (check-equal? (g 1) 1)) On Aug 27, 2014, at 1:02 AM, Kevi

[racket] web server + REPL-ish functions?

2014-08-27 Thread Matthew Butterick
The main engine of my Pollen system is a project webserver that's started from the command line, uses serve/servlet, and sends the usual status & error messages to the terminal window. I was thinking it would be handy to be able to keep an input prompt in that terminal window to be able to issu

[racket] contracts ->i optional keyword syntax

2014-08-27 Thread Kevin Forchione
On Aug 26, 2014, at 10:02 PM, Kevin Forchione wrote: > > On Aug 26, 2014, at 2:53 PM, Matthias Felleisen wrote: > >> >> >> We should probably document this little trick somewhere. -- Matthias > > Yes please. It would be useful in the Contract documentation, perhaps as a > link pointing to

[racket] FYI: scheme looks good in this paper examining first-year data

2014-08-27 Thread John Clements
I can’t tell whether this paper was published *anywhere*, but Google told me about it because it cites me. It tries to mine data from ratemyprofessor to draw conclusions about what makes for a good first computing class. You can take all of this with many grains of salt, but the language most st