let its spirit live on, for jay's big heart ^^ On Thursday, 22 September 2016 04:33:32 UTC+2, 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 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
