Re: [racket-users] Question on contracts -- check equal length of args

Thanks Jens! On Fri, Jul 15, 2016 at 1:00 PM, Jens Axel Søgaard wrote: > 2016-07-15 18:22 GMT+02:00 David Storrs : > >> >> On a separate question: How do I contribute to the docs? The >> contract docs are nearly silent on using preconditions and

Re: [racket-users] Question on contracts -- check equal length of args

> On Fri, Jul 15, 2016 at various times, various people said: > Here, let me solve your problem You guys are great. Thank you very much. Dave On Fri, Jul 15, 2016 at 12:47 PM, Daniel Feltey wrote: > Here's a version that uses a #:pre condition: > > #lang racket > >

Re: [racket-users] Question on contracts -- check equal length of args

2016-07-15 18:22 GMT+02:00 David Storrs : > On a separate question: How do I contribute to the docs? The > contract docs are nearly silent on using preconditions and > postconditions, Section 7.4, "A Thorough Example of Contracts" is > anything but thorough, and the

Re: [racket-users] Question on contracts -- check equal length of args

Here's a version that uses a #:pre condition: #lang racket (define/contract (tau l m) (->i ([list1 (listof (and/c exact-integer? (>/c 0)))] [list2 (listof (and/c exact-integer? (>/c 0)))]) #:pre (list1 list2) (= (length list1) (length list2)) [_ number?]) (begin

Re: [racket-users] Question on contracts -- check equal length of args

On Fri, Jul 15, 2016 at 12:31 PM, Matthias Felleisen wrote: > > On a separate question: How do I contribute to the docs? > > git pull requests on github are highly welcome. The easiest way to make a docs pull request is to: 1. Go to github.com, find the file you want to

Re: [racket-users] Question on contracts -- check equal length of args

> On Jul 15, 2016, at 12:22 PM, David Storrs wrote: > > Hi folks, > > I'm writing a stats library … > Okay, good, that has the same results as the one above. Now let's try > to get the 'equal length' criteria working. > > (define/contract (tau l m) > (->i ([list1

[racket-users] Question on contracts -- check equal length of args

Hi folks, I'm writing a stats library (I'm sure there is already one out there; this is a learning exercise), and I'm currently implementing Kendall's Tau-a. I've got my head wrapped part of the way around contracts, but not all the way. I'd like to be able to express the following: (tau l m)

Re: [racket-users] Re-using an identifier as a submodule name?

> On Jul 15, 2016, at 1:54 AM, Jack Firth wrote: > > On Thursday, July 14, 2016 at 10:28:07 PM UTC-7, mattap...@gmail.com wrote: >> On Friday, July 15, 2016 at 2:22:50 PM UTC+10, Jack Firth wrote: >>> I'd also like `with-foo` to be the only way to access the versions of

Re: [racket-users] Conversion of regexp matches in match-select

Thanks for your reply, I think I prefer the latter approach. -- 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 racket-users+unsubscr...@googlegroups.com. For