Yes, it did. That's interesting. I have no idea where the .length method is
being inferred from in the last example.
Carry on :)
Ambrose
On Tue, Jun 18, 2013 at 1:10 AM, Jim - FooBar(); <jimpil1...@gmail.com>wrote:
> so how about this then?
>
>
> nREPL server started on port 43830
> REPL-y 0.2.0
> Clojure 1.5.1
> Docs: (doc function-name-here)
> (find-doc "part-of-name-here")
> Source: (source function-name-here)
> Javadoc: (javadoc java-object-or-class-here)
> Exit: Control+D or (exit) or (quit)
>
> user=> (set! *warn-on-reflection* true)
> true
> user=> (defn foo [^String s] (.substring s 0 (.length s)))
> #'user/foo
> user=> (foo "jim")
> "jim"
> user=> (.length (foo "jim"))
> *Reflection warning, NO_SOURCE_PATH:1:1 - reference to field length can't
> be resolved.*
> 3
> user=> (defn foo ^String [^String s] (.substring s 0 (.length s)))
> #'user/foo
> user=> (.length (foo "jim"))
> 3
> user=> (defn ^String foo [^String s] (.substring s 0 (.length s)))
> #'user/foo
> user=> (.length (foo "jim"))
> 3
>
>
> it worked both times didn't it?
>
> Jim
>
>
>
>
>
> On 17/06/13 17:59, Ambrose Bonnaire-Sergeant wrote:
>
> After some investigation, the before-the-arglist syntax only seems useful
> for defining fn's that return primitive types.
> They don't seem to help resolve reflection calls.
>
> (require '[clojure.tools.analyzer :refer [ast]])
>
> ; this creates a double-emitting fn
>
> (ast (fn (^double [^double a] a)))
> ; =>
> ;{:op :fn-expr,
> ; ...
> ; :methods
> ; ({:op :fn-method,
> ; ...
> ; :arg-types (#<Type Ljava/lang/Object;>),
> ; :return-type #<Type D>}), ;double return type here
> ; ...
> ; :tag nil} ; no tag
>
> ; this creates a regular old fn
>
> (ast (fn (^String [a] 1)))
> ; =>
> ;{:op :fn-expr,
> ; ...
> ; ({:op :fn-method,
> ; ...
> ; :arg-types (#<Type Ljava/lang/Object;>),
> ; :return-type #<Type Ljava/lang/Object;>}), ;object return type
> ; ...
> ; :tag nil} ; no tag
>
> ; this creates a String-hinted fn
>
> (ast ^String (fn a [a] 1))
> ;{:op :meta,
> ; ...
> ; :expr
> ; {:op :fn-expr,
> ; ...
> ; :methods
> ; ({:op :fn-method,
> ; :arg-types (#<Type Ljava/lang/Object;>),
> ; :return-type #<Type Ljava/lang/Object;>}),
> ; ...
> ; :tag String}}
>
> I don't see where before-the-arglist is useful outside of primitive fns.
>
> Thanks,
> Ambrose
>
> On Mon, Jun 17, 2013 at 7:59 PM, Jim - FooBar(); <jimpil1...@gmail.com>wrote:
>
>> Hi all,
>>
>> It seems to me that return type-hints can go either right after "defn",
>> or after the doc-string. I generally, put the return type-hints right
>> before the argument vector and it seems to get rid of reflection. However,
>> I just had a look at core.contrib.strutils2 and the author(s) put the type
>> hint right after 'defn' (before the var about to be defined) and again it
>> gets rid of reflection! Which one is it? both are acceptable?
>>
>> thanks in advance,
>>
>> Jim
>>
>> --
>> --
>> 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
>> --- You received this message because you are subscribed to the Google
>> Groups "Clojure" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to clojure+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/groups/opt_out.
>>
>>
>>
> --
> --
> 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
> ---
> You received this message because you are subscribed to the Google Groups
> "Clojure" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to clojure+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
>
> --
> --
> 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
> ---
> You received this message because you are subscribed to the Google Groups
> "Clojure" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to clojure+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
--
--
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
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
