Re: [racket-users] Racket Echo Server/Client hanging

Jon, Thanks! -Vishal On Wednesday, December 6, 2017 at 12:19:07 AM UTC-5, Jon Zeppieri wrote: > > > > On Wed, Dec 6, 2017 at 12:13 AM, Vishal Prasad > wrote: > >> And this is the client: >> >> >> (define (hello_socket port) >> (define-values (in out) (tcp-connect

Re: [racket-users] Racket Echo Server/Client hanging

On Wed, Dec 6, 2017 at 12:13 AM, Vishal Prasad wrote: > And this is the client: > > > (define (hello_socket port) > (define-values (in out) (tcp-connect "localhost" port)) > (write "hello socket world\n" out) > (display (read in))) > > > The client does not

[racket-users] Server: Racket

I'm pleased to announce a new (e)book my mine that may be of interest to Racket programmers. It's called *Server: Racket—Practical Web Programming with the Racket HTTP Server*. I wrote the book to help those who are interested in doing web programming in Racket. (If you've already done lots

[racket-users] Racket Echo Server/Client hanging

Really embarrassed I can't figure out what's going on here, but I just spent the last two hours banging my head against this going nowhere. I'm trying to create a simple echo server and client in Racket. This is the server: (define (hello_listen port) (define listener (tcp-listen

[racket-users] Nested quasiquote

Is there a reason why Racket's match doesn't seem to currently support nested quasiquote? > (define x 1) > `(`(,x ,,x)) '(`(,x ,1)) > (match `(`(,x ,,x)) [`(`(,x ,,x)) x]) . match: syntax error in pattern in: (unquote x) -- Thomas -- You received this message because you are subscribed to

Re: [racket-users] Trying to prove a property of a semantics for logic (Prolog-like) programs: could Redex help?

So many reasons to dig into things I've wanted to look at for a while! Op dinsdag 5 december 2017 18:23:37 UTC+1 schreef Matthias Felleisen: > > > You may also wish to look into Rosette, a Racket-based SMT DSL. Emina > Torlak is the creator and you should be able to find it from her web site —

[racket-users] Call for Participation: BOB 2018 (February 28, Berlin)

Note that Leif Andersen is doing a Racket-based keynote! BOB 2018 Conference “What happens if we simply use what’s best?” February 23,