[racket-dev] Math library initial commit almost ready; comments on issues welcome

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