[racket-users] Re: racket-poppler dumping core & failing contract checks

Forwarding this with permission to the kind folks on racket-users… I’m having a strange problem with raco test; specifically, performing raco test on a file in a collection from the racket-poppler collection generates error text very fast… about 3 megabytes per second… with this text (apparently

[racket-users] Creating Living Builds in Racket

I'm excited about this one: I put out an experimental release of unlike-assets/reactive and would love some feedback/shares. https://sagegerard.com/unlike-assets-reactive-demo.html TL;DR: That article is about making living builds in Racket, meaning an expression like (u/a "file.txt" number?) w

[racket-users] racket-poppler dumping core & failing contract checks

I’m interested in converting TeX to picts. It looks like racket-poppler might be the way to do that. Unfortunately, I’m having trouble running racket-poppler. I ran into several problems, but fortunately, all of the problems that I saw were also observed by the test suite. Running raco test

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

Okay, in that case, you really shouldn't add a content-length header. -Jon On Thu, Feb 20, 2020 at 1:13 PM Bogdan Popa wrote: > > > Jon Zeppieri writes: > > > When you stream the response, it doesn't use a chunked transfer encoding? > > -Jon > > The web server chunks all responses on HTTP/1.1 co

Re: [racket-users] Lambda calculus done in Racket

I’m sure many other people have something like this, but here’s “Lab 5” from my currently-running PL course: https://www.brinckerhoff.org/clements/2202-csc430/Labs/lab5.html It introduces church numeral encodings and also this kind of true-false encoding as small programming challenges in Racke

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

Jon Zeppieri writes: > When you stream the response, it doesn't use a chunked transfer encoding? -Jon The web server chunks all responses on HTTP/1.1 connections[1]. I can confirm that the web server works great[2] for streaming uses cases like long polling! [1]: https://github.com/racket/we

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

When you stream the response, it doesn't use a chunked transfer encoding? -Jon On Thu, Feb 20, 2020 at 12:40 PM Jay McCarthy wrote: > > I assume it is not necessary to be totally accurate, but it is good to when > you can, because of the Web principle of accepting broad input and producing > sp

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

I assume it is not necessary to be totally accurate, but it is good to when you can, because of the Web principle of accepting broad input and producing specific output. I don't know of any existing program (like a proxy or something) that would fail without an accurate length, but it wouldn't surp

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

On Monday, December 3, 2018 at 10:49:40 AM UTC-5, Jay McCarthy wrote: > > > I don't know if the Racket web server (or related libraries) currently > provide a way to stream data in the response, but that is something I'll > definitely need relatively soon (primarily for streaming large CSV/JSON

Re: [racket-users] Typed Racket: Casting to types containing type variables

Hi Ben, Thank you for your answer. On Thursday, February 20, 2020 at 3:29:15 AM UTC+1, Ben Greenman wrote: > > On 2/19/20, unlimitedscolobb > wrote: > > > > [] > > > > ;Type Checker: Type a could not be converted to a contract because it > > contains free variables. > > ; in: a > >