Typed Racket doesn't have anything like linear types. There has been some work on affine contracts in Racket, by Jesse Tov, you can find the library and paper here: http://www.eecs.harvard.edu/~tov/pubs/affine-contracts/
Sam On Wed, Mar 12, 2014 at 7:00 PM, Raoul Duke <rao...@gmail.com> wrote: > (i bing'd but didn't hit anything) > > any experiments with doing "advanced" typing? > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
