https://stackoverflow.com/questions/60020358/embedding-racket-static-libs-in-macos-desktop-application-xcode-project

Is there a design doc / paper describing implementation of refinement types in racket? I only found the blog post 1 and some documentation 2.

Is anyone actively working on that part of the type system anymore?

The paper is here: https://arxiv.org/abs/1511.07033 and @pnwamk’s dissertation is here: https://pnwamk.github.io/docs/dissertation.pdf

No one that I know of is actively working on extending refinement types right now.

https://stackoverflow.com/questions/34672542/racket-upload-zip-file-with-parameters-through-http-client-or-post-impure-port can anyone explain what adding crlf to the header does

@brentgordon146 When in doubt, read the corresponding standard. In this case RFC 7578. In section 4.1 it is described how parts are to be separated with CRLF. https://tools.ietf.org/html/rfc7578#section-4.1

@leif are you using DrRacket CS by any chance? I often have DrRacket CS use lots of memory after I’ve been editing for a while (say 6 GB) and pause for quite long GCs, both of which seem to get better if I restart DrRacket and open the same files. I thought I might have seen some commit going into 7.6 that seemed relevant, but maybe that’s wishful remembering …

Thanks! I’ll check these out.