Re: Type hints and records

2011-10-20 Thread Casper Clausen
Thanks for the clarification. Just to clear up any confusion, the .toString example was just the simplest example I could think of that illustrated was I was seeing with regards to reflection and type hints :) On Oct 20, 4:22 am, Michael Fogus wrote: > Another potential option is to implement a

Re: Type hints and records

2011-10-20 Thread Chris Perkins
Tangentially: In this particular case, reflection isn't strictly necessary because toString is a method of Object. In theory, the compiler could special-case Object's methods and never do reflection, right? In practice, I don't know if it's worth the effort, although it's certainly a little sur

Re: Type hints and records

2011-10-19 Thread Michael Fogus
Another potential option is to implement a record toString method: (defrecord Rec [^Integer i] Object (toString [_] (str i))) (str (Rec. 42)) ;=> "42" -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@g

Re: Type hints and records

2011-10-19 Thread Alan Malloy
You can't really fix that, because (:foo bar) means "call function :foo on bar", and in general the function :foo returns Object. (.foo bar) says "look at the Java object bar, and give me its foo member". Because there is a typehint on that, Clojure can know what return type to expect. On Oct 19,

Re: Type hints and records

2011-10-19 Thread Casper Clausen
Thanks, that works nicely! Is it intended or just incidental that type hints are not retained using the :-notation? There doesn't seem to be much advantage to not including type hints when available. On Oct 11, 1:02 am, Stuart Halloway wrote: > > I am using a record to wrap a number of java cla

Re: Type hints and records

2011-10-10 Thread Stuart Halloway
> I am using a record to wrap a number of java classes, which I then > access various properties on. I am trying to avoid reflection so I > type have type hinted, however when accessing the values in the record > the type hints are lost. It might look something like this > > (defrecord Rec [^Integ

Type hints and records

2011-10-10 Thread casper
I am using a record to wrap a number of java classes, which I then access various properties on. I am trying to avoid reflection so I type have type hinted, however when accessing the values in the record the type hints are lost. It might look something like this (defrecord Rec [^Integer i]) (def