[racket-users] DrRacket Background Expansion Memory Usage

In DrRacket I had background expansion on for the longest time until I started to notice that whenever I would work on my programs it would, well, expand in the background and take up 100% of one of my cores and the memory would slowly crawl upwards. A few times it got so bad that DrRacket by

Re: [racket-users] scribble defproc?

I came up with a fairly boring example that does use places. Note that you have to put this in a module and save the file: > #lang racket > (require racket/serialize > web-server/lang/serial-lambda > ) > (define current-place > (make-parameter 'initial)) > (define (main) >

Re: [racket-users] scribble defproc?

For a quick example (without places), if you enter this in the definitions window of Dr. Racket: > #lang racket > (require web-server/lang/serial-lambda > racket/serialize > ) > (define serialized-proc > (serialize (serial-lambda (x) >(printf "Your number is:

[racket-users] Typed Racket & Higher Kinded Types

Hi, does Typed/Racket support higher kinded types? I couldn't find any infos on the docs in regards to that. Thx Best regards Robert -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails

Re: [racket-users] Typed Racket & Higher Kinded Types

No, unfortunately you can't just higher kinds in Typed Racket. This is a limitation we hope to lift eventually, though. Sam On Tue, Jan 17, 2017, 10:29 AM Robert Kuzelj wrote: > Hi, > > does Typed/Racket support higher kinded types? I couldn't find any infos > on the docs

Re: [racket-users] Typed Racket & Higher Kinded Types

The major obstacle is that the current kind system design is not easy to reconcile with higher kinds. This is mostly because the current system is poorly designed, but we need to avoid breaking existing programs. Sam On Tue, Jan 17, 2017, 11:19 AM Robert Kuzelj wrote: > Am

Re: [racket-users] Typed Racket & Higher Kinded Types

Am Dienstag, 17. Januar 2017 10:34:54 UTC+1 schrieb Sam Tobin-Hochstadt: > No, unfortunately  you can't just higher kinds in Typed Racket. This is a > limitation we hope to lift eventually, though. Hi Sam, Thanks for the fast answer. Is there any specific obstacles that are in the way of