Re: [racket-users] [ANN] New package: live-free-or-die

Well, now that our youngsters have easily debunked the package, we can let it die because it no longer wants to live. > On Sep 22, 2016, at 10:30 PM, Leif Andersen wrote: > > > Also, with typed/racket/unsafe the optimizer *is* still run, so that's not > > any

Re: [racket-users] [ANN] New package: live-free-or-die

> Also, with typed/racket/unsafe the optimizer *is* still run, so that's not any better *unless* you selectively choose what you want to be unsafe. Woops, you are absolutely correct, I meant: typed/racket/no-check ~Leif Andersen On Thu, Sep 22, 2016 at 10:27 PM, Alex Knauth

Re: [racket-users] [ANN] New package: live-free-or-die

> On Sep 22, 2016, at 9:39 PM, Jay McCarthy wrote: > > If I knew how, I'd do unsafe-in, but I just know how to fake a typed context. > The whole point is to use the optimizer so libraries like math are usable. Libraries like math/array would still be usable without

Re: [racket-users] [ANN] New package: live-free-or-die

Umm...if you're going to do this, why is it imperative, and not a require transformer? Also, I kind of agree with Matthias here...sigh. :'( Like, as far as I can tell, this is even worse then typed/racket/unsafe, as the optimizer is still run. O_o ~Leif Andersen On Thu, Sep 22, 2016 at 9:16

Re: [racket-users] [ANN] New package: live-free-or-die

On Sep 22, 2016, at 9:23 AM, Matthias Felleisen wrote: > I checked the calendar, because I thought I had gone into hibernation > and woken up on April Fool’s day. Those of us who have lived in New Hampshire take this matter quite seriously. We've also learned to

Re: [racket-users] [ANN] New package: live-free-or-die

I checked the calendar, because I thought I had gone into hibernation and woken up on April Fool’s day. Argh. > On Sep 21, 2016, at 10:33 PM, Jay McCarthy wrote: > > I've just put a new package on the server: live-free-or-die > > This package lets you escape

[racket-users] [ANN] New package: live-free-or-die

I've just put a new package on the server: live-free-or-die This package lets you escape from Typed Racket's contracts. -- Here's a little example: Suppose that "server.rkt" is: ``` #lang typed/racket (: f ((Listof Float) -> Float)) (define (f l) (cond [(empty? l) 0.0] [else