On Oct 4, 2012, at 5:34 PM, Sam Tobin-Hochstadt wrote: > On Thu, Oct 4, 2012 at 5:31 PM, Matthias Felleisen <matth...@ccs.neu.edu> > wrote: >> >> On Oct 1, 2012, at 2:26 PM, Neil Toronto wrote: >> >>> >>> (case-> (Zero -> Zero) >>> (Flonum -> Flonum) >>> (Real -> Real) >>> (Float-Complex -> Float-Complex) >>> (Complex -> Complex)) >>> >>> I haven't been able to give it a type as specific as the type of the `sinh' >>> exported from `racket/math'. >> >> >> Sam, are we lacking a linguistic mechanism for people like Neil to write >> down such types in a concise way? I think this came up in the PADL context >> too. > > Yes. Vincent has a slightly-nicer mechanism used internally, but > nothing great that TR programmers can use
I know What I mean is an _abstraction mechanism_ inside of TR. Possibly something that nobody else has. -- Matthias _________________________ Racket Developers list: http://lists.racket-lang.org/dev
