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. -- Matthias _________________________ Racket Developers list: http://lists.racket-lang.org/dev
