Re: [racket] proof assistants, DrRacket and Bootstrap

2014-11-03 Thread Bill Richter
Matthias, I easily produced a pdf of my DrRacket Interactions buffer using your tip Files -> Print Interactions on a 64-bit Mac using the compiled binaries. You can hit the 65-page pdf from the 3rd paragraph of http://www.math.northwestern.edu/~richter/ which contains a Sudoku, logic and Geomet

[racket] Typed racket -> huge executable size

2014-11-03 Thread Manfred Lotz
Hi there, I have this minimal example: #lang typed/racket/base (: hello : String -> Void) (define (hello f) (displayln f)) (hello "world") raco exe mytest.rkt gives an executable with size 12887089. This doesn't seem to be ok. -- Manfred Racket Users list: ht

Re: [racket] HTTP POST: curl vs racket net library

2014-11-03 Thread David Vanderson
A tiny addition - if you know that the base64 encoding will be less than one line, you can use the optional second argument to 'base64-encode': (define (authcode key) (base64-encode (string->bytes/utf-8 key) #"")) Thanks, Dave On 11/03/2014 07:19 PM, Jay McCarthy wrote: It did not work beca

Re: [racket] HTTP POST: curl vs racket net library

2014-11-03 Thread Jay McCarthy
It did not work because (authcode "sk_test_BQokikJOvBiI2HlWgH4olfQ2:") is #"c2tfdGVzdF9CUW9raWtKT3ZCaUkySGxXZ0g0b2xmUTI6\r\n" which contains "\r\n" which are illegal characters in an HTTP header, so your HTTP request was messed up. Specifically, it ended in "\r\n\r\n\r\n". The first "\r\n" ende

[racket] HTTP POST: curl vs racket net library

2014-11-03 Thread pior neer
Here is an example (which worked once) I am trying to replicate in Racket. curl https://api.stripe.com/v1/customers \ -u sk_test_BQokikJOvBiI2HlWgH4olfQ2: \ -d "description=Customer for t...@example.com" \ -d card=tok_14unJi2eZvKYlo2C804uRph5 Here is my Racket code that does a "similar"

Re: [racket] Compiler for despair 1

2014-11-03 Thread Gustavo Massaccesi
Do you have a link to a complete reference of this language? I couldn't find it with Google. Some ideas to gain a few lines: ** Replace the ":" operator with "#%app" (http://docs.racket-lang.org/reference/application.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._~23~25app%29%29 ) I

Re: [racket] Defining a typed language

2014-11-03 Thread E. Moran
On Mon, Oct 27, 2014 at 05:43:38AM -0400, Alexander D. Knauth wrote: > So it didn’t work if (require a-typed-lang/more) was in > a-typed-lang/main.rkt, it didn’t work, but commenting that out made it > work again. > > Does anyone know what’s happening here? That'd happen in my version, too, if a