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

On Thu, Oct 4, 2012 at 5:31 PM, Matthias Felleisen <matthias at 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
samth at ccs.neu.edu