Hi, core.typed is designed to be used at the REPL.
Using core.typed at the REPL<http://frenchy64.github.io/typed/clojure,/core.typed,/clojure/2013/09/03/core-typed-repl.html> There is currently no automatic type checking when loading a namespace. Consider a commented out (check-ns), a unit test (is (check-ns ...)) or manually typing it into a REPL when needed. Thanks, Ambrose On Fri, Sep 6, 2013 at 3:45 AM, JvJ <kfjwhee...@gmail.com> wrote: > What's the compatibility with the REPL like? Is there anything like a > type-checked REPL initialization, or automatic type checking when loading a > namespace? > > On Tuesday, 3 September 2013 11:18:04 UTC-7, Ambrose Bonnaire-Sergeant > wrote: > >> Hi, >> >> Announcing lein typed, a tool to use core.typed at the command line. >> >> https://github.com/frenchy64/**lein-typed<https://github.com/frenchy64/lein-typed> >> >> Thanks, >> Ambrose >> > -- > -- > 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.
