[racket-users] 1st Call for Papers IFL 2017

Hello, Please, find below the first call for papers for IFL 2017. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- IFL 2017 - CALL FOR PAPERS == 29th

Re: [racket-users] Turing machines

Le Saturday 10 June 2017 22:50:19 Jos Koot, vous avez écrit : > To whom is interested. > > Jay McCarthy has a nice page about how to program Turing machines: > http://jeapostrophe.github.io/2013-10-29-tmadd-post.html. > > Because I did not immediately see his implementation of producing a Turing

RE: [racket-users] Turing machines

Hi Damien Right, interesting only for the theory. But also a lot of fun to play with. Did you see my example of a TM for binary addition of two arbitrary large numbers? It has 13 states (of which only 9 are essential) and 51 rules (of which only 27 are essential) The test includes 50 tests with

[racket-users] Data contract for non-empty hash?

There is a non-empty-listof contract but no non-empty-hashof contract. Is there a way to build one? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: [racket-users] Data contract for non-empty hash?

Predicates can be used as contracts, so: (define (non-empty-hash? x) (and (hash? x) (not (hash-empty? x Then you can use `non-empty-hash?` as your contract. On Mon, Jun 12, 2017 at 3:56 PM, David Storrs wrote: > There is a non-empty-listof contract but no

[racket-users] Removing undocumented exports of rackunit/text-ui

The rackunit/text-ui module[1] provides `run-tests` along with a handful of other random undocumented functions with unclear purposes such as `display-ticker`. I have a PR to rackunit open[2] that removes the undocumented exports (it does *not* remove `run-tests`). So far I've found no callers

[racket-users] (seventh RacketCon), Oct 7-8 @ Seattle: tickets, speakers, sponsors

TICKETS Tickets are now available for (seventh RacketCon), which happens at the University of Washington in Seattle on Oct 7-8, a beautiful autumn weekend. Conference page: http://con.racket-lang.org/ Direct ticket link:

[racket-users] Places performance & channel capacity

A late answer but I made a parallel map implementation you might try. https://pkgs.racket-lang.org/package/pmap -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to