The hints are not use for static type analysis they are there for speed. There is no type checker. In your example the compiler tries using it as an int if that is not working the compiler uses reflaction to find out the type.
no auto casts are by design. On 31 Dez., 05:57, Jarl Haggerty <fictivela...@gmail.com> wrote: > I think I asked the wrong question, not only that but I guess I > answered the question I asked, what I want to know is what exactly is > a type hint. I think I've failed to understand exactly what a type > hint is, I assumed to give a hint was to statically type something but > that doesn't seem to be what happens here. > > On Dec 30, 9:18 pm, Sunil S Nandihalli <sunil.nandiha...@gmail.com> > wrote: > > > I don't think type hints lead to auto casting .. May be somebody else can > > throw more light on it. And it is this way by design. > > Sunil. > > > On Fri, Dec 31, 2010 at 9:35 AM, Jarl Haggerty > > <fictivela...@gmail.com>wrote: > > > > I have this function > > > > (defn floor > > > ^int [^float x] x) > > > > and (floor 1.5) returns 1.5 which confuses me as to how type hints > > > work, I was expecting the result to be truncated or for the program to > > > spit out some exception about expecting an int and getting a float. > > > > -- > > > You received this message because you are subscribed to the Google > > > Groups "Clojure" group. > > > To post to this group, send email to clojure@googlegroups.com > > > Note that posts from new members are moderated - please be patient with > > > your first post. > > > To unsubscribe from this group, send email to > > > clojure+unsubscr...@googlegroups.com<clojure%2bunsubscr...@googlegroups.com> > > > For more options, visit this group at > > >http://groups.google.com/group/clojure?hl=en -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
