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

On Oct 4, 2012, at 5:34 PM, Sam Tobin-Hochstadt wrote:

> 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


I know 

What I mean is an _abstraction mechanism_ inside of TR. Possibly something that nobody else has. 

-- Matthias