[racket] Typed Racket Binding For Plot

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat Nov 3 11:20:36 EDT 2012

On Nov 3, 2012, at 11:13 AM, Neil Toronto wrote:

> On 10/29/2012 07:03 AM, Matthias Felleisen wrote:
>> On Oct 29, 2012, at 12:31 AM, Neil Toronto wrote:
>>> I wouldn't mind changing the API; it would be nice to have things like `points' accept sequences anyway. I haven't put much thought into what would be in the sequences, though.
>> Question: can you change the API for the Typed version and support both APIs for the Untyped one? -- Matthias
> More easily than the other way around. Also, that would work around the covariance problem with vectors. I could change the contract to accept a sequence of vectors or lists, and use the type (Sequenceof (List Real Real)).
> I still need a `->*' type constructor, because most plot functions have 2-5 optional arguments and 10-20 arguments altogether. For the largest functions, a `case->' type would be huge and easy to get wrong. Also, I'm morally opposed to types that don't fit on my screen.
> I'll get around to submitting a formal request, after I get this Poisson distribution quantile function working...
> Neil ⊥

Last night Sam, Tony and I had a discussion on TR/R boundaries 
for his "racket on a router" project. Tony ported his software
from Racket to Typed Racket and stopped halfway in between. The
'framework' (aka kernel) is now in TR and the 'user program' aka
'client' lives in R. I had predicted that the boundary between the 
two would cause a severe performance and Tony has now confirmed 
this conjecture. (We are talking factors not small percentages.) 

As you get racket/math ready for production, I think you too should
measure the performance hit from going across the boundary. If it
is bad, we should consider including both a typed and an untyped
variant where the latter is generated from the former (I believe
you are working in TR so that's why I wrote the last sentence). 
That is, when the library is installed the Untyped one should be
generated by disabling types and type checking. 

-- Matthias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20121103/327897b0/attachment-0001.p7s>

Posted on the users mailing list.