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 better *unless* you selective
> 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 wrote:
>
> On Sep
> 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 the optimizer.
What you r
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 PM
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 endure the teasing of people
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 from Typed Racket's contract
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
7 matches
Mail list logo
