[racket] Re: [plt-scheme] Re: Typed scheme: Cannot apply expression of type Procedure, since it is not a function type

From: keydana at gmx.de (keydana at gmx.de)
Date: Sat Jun 5 16:18:50 EDT 2010

> Try the other way around:
> (truncate (inexact->exact n))
> You have to do it this way because Typed Scheme doesn't know anything
> about the internal structure of the Float type.

I will, thanks! And if you really don't mind my frequent questions, I think I'll go on writing this code in typed scheme :-;

Well in fact, there's something else that troubles me, having read the thread about, among others, the future support for typed scheme - it said something about there being, currently, enough graduate students to work on it... which makes me think "and afterwards"?
The thing is, would it make sense to use typed scheme for something rather "permanent", that is to be put on Planet, maintained etc.? I'm playing with the thought of using this relational algebra code to implement Chris Date's "Tutorial D" database query language (or rather, some small subset of it). Of course I don't know if I'll manage (I'll have to see how easy or difficult the "parsing" part would be, I'll read the "languages" chapter in the guide for this),- but it would be good to know...

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20100605/99083001/attachment.html>

Posted on the users mailing list.