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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Thu Oct 4 17:34:51 EDT 2012

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

Posted on the dev mailing list.