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
     (+ (first l)
        (f (rest l)))]))

(provide f)
```

And that "client.rkt" is:

```
#lang racket/base
(require live-free-or-die)
(live-free-or-die!)

(require "server.rkt")
(f (vector 1 2 3))
```

Then this is what you get when you run the program:

$ racket "client.rkt"
zsh: segmentation fault  racket "client.rkt"

For your convenience, `live-free-or-die!` is also aliased to
`Doctor-Tobin-Hochstadt:Tear-down-this-wall!`

--

Enjoy!

-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

           "Wherefore, be not weary in well-doing,
      for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
                          - D&C 64:33

-- 
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 [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to