Re: [racket-users] Apropos contracts: simple predicates and switching on and off

Le vendredi 5 mai 2017 02:30:50 UTC+2, Ben Greenman a écrit : > With a `define/contract-out` macro? > > But I'd rather not have a macro like this in the contract library. > I prefer reading code with all the "provide" statements at the top of the > file. Since provide transformers are executed

Re: [racket-users] Apropos contracts: simple predicates and switching on and off

On Thu, May 4, 2017 at 8:23 PM, Dupéron Georges wrote: > In these cases, instead of turning off the contract checks altogether, it > would be nice to have a way to disable the define/contract and turn it into > a contract-out, using a single parameter (perhaps a

Re: [racket-users] Apropos contracts: simple predicates and switching on and off

Le jeudi 4 mai 2017 03:00:10 UTC+2, Daniel Prager a écrit : > On the subject of turning down contracts for performance and then being > bitten, believe me, I hear you: my preference is to have the maximum checking > I can afford. But when I'm really writing stringent post-conditions (or >

[racket-users] Re: Self evaluating Racket Interpreter

I forgot to mention that for some reason, using the builtin foldl doesn't work but if I define it myself separately, then it works. (define (foldl proc init lst) (cond ((null? lst) init) (else (foldl proc (proc (car lst) init) (cdr lst) -- You received this message

[racket-users] Re: Self evaluating Racket Interpreter

Thanks Matthias. I should have read the error message more carefully. For anyone who is interested, it has nothing to do with cons or mcons or quotes. There was a mistake in interpreter.rkt. If you'd like to try finding it yourself, then stop reading. ... ... ... ... ... ... ... ... ... ...

Re: [racket-users] Apropos contracts: simple predicates and switching on and off

Please read The Contract Guide at https://docs.racket-lang.org/guide/contracts.html?q=contracts It has many examples and gradually builds intuition. The ideal PR would be to specific chapters there. > On May 4, 2017, at 12:38 AM, Daniel Prager wrote: > >

Re: [racket-users] break-thread + thread-wait can't be handled

On Wednesday, May 3, 2017 at 3:04:20 PM UTC-7, Ryan Culpepper wrote: > On 5/3/17 10:41 PM, Eric Griffis wrote: > > Hello, > > > > I'm having trouble catching "terminate break" exceptions when combining > > break-thread with thread-wait. > > > > MWE 1: > > > > (with-handlers