Re: [racket-users] Flat Contract Value Generator

2016-06-06 Thread Matthias Felleisen
> On Jun 6, 2016, at 1:19 PM, Matthew Butterick wrote: > > > On Jun 5, 2016, at 1:33 PM, Matthias Felleisen wrote: > >> when I taught a Sw Dev course and the students voted to use JSON as the data >> exchange language. > > I always thought the reason you wisely prefer to keep politics out

Re: [racket-users] Flat Contract Value Generator

2016-06-06 Thread Matthew Butterick
On Jun 5, 2016, at 1:33 PM, Matthias Felleisen wrote: > when I taught a Sw Dev course and the students voted to use JSON as the data > exchange language. I always thought the reason you wisely prefer to keep politics out of programming was to avoid outcomes like this ;) -- You received thi

Re: [racket-users] Flat Contract Value Generator

2016-06-05 Thread Matthias Felleisen
> On Jun 5, 2016, at 12:51 AM, Chris Bui wrote: > > Here's what I'm trying to do: > > I have a REST API at work written in another language and I'd like to be able > to hit it with requests with lots of different combinations of parameters. My > second goal is to be able to verify that the da

Re: [racket-users] Flat Contract Value Generator

2016-06-05 Thread Robby Findler
For something like that, I think you don't need to mess with any of those fancier constructs. You can just use a predicate function directly as a contract. Here's an example: #lang racket (provide (contract-out [f (-> starts-with-slash? char?)])) (define (starts-with-slash? s) (and (string?

[racket-users] Flat Contract Value Generator

2016-06-04 Thread Chris Bui
I'm trying to create a simple flat contract of my own and a generator for it and I really don't know where to start. The docs here: https://docs.racket-lang.org/reference/Random_generation.html aren't very useful for somebody that doesn't know at a high level what to do. Also, on this page: ht