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. -- sam th sa...@ccs.neu.edu _________________________ Racket Developers list: http://lists.racket-lang.org/dev
