Cool, I'm looking forward to it. Seems like that would greatly enhance TypedClojure's usefulness.
On Monday, 9 May 2016 15:44:46 UTC-7, Ambrose Bonnaire-Sergeant wrote: > > Josh is correct. I'm currently working on merging this work now that my > courses are over. > > Thanks, > Ambrose > > On Mon, May 9, 2016 at 6:32 PM, Josh Tilles <jo...@signafire.com > <javascript:>> wrote: > >> On Monday, May 9, 2016 at 5:36:53 PM UTC-4, Didier wrote: >>> >>> At Clojurewest 2016, Matthias Felleisen gave a great keynote about the >>> pragmatism of soundness for maintening large code bases. He mentioned that >>> adding type gradually was useful, but only when the border between typed >>> land and untyped land is guarded. He mentioned how Racket does that. He >>> also talked about the cost of doing so, which seem to remain an open >>> question. >>> >>> I'm wondering if any of this has been taken up by somebody in Clojure to >>> try to do the same? My understanding is typed clojure does not protect the >>> border between typed and untyped. Therefore, you do not have the guarantee >>> that your typed code will be correct for all its usage. >>> >> I believe that Ambrose (the core developer/maintainer of Typed Clojure) >> has been focusing on that very topic as of late: CTYP-309: “Export typed >> vars with contracts to untyped namespaces” >> <http://dev.clojure.org/jira/browse/CTYP-309>. >> >>> Also, does anyone know exactly what he meant by the cost? Is doing >>> gradual typing causing slower runtimes, slower compilation, does it hamper >>> the dynamism, etc. >>> >> I expect that dynamically-checked contracts would (at least) cause >> slower runtimes in the cases of untyped-calling-typed code or >> typed-calling-untyped code; I think typed-calling-typed code would skip the >> runtime contract verification. >> >> -- >> You received this message because you are subscribed to the Google >> Groups "Clojure" group. >> To post to this group, send email to clo...@googlegroups.com >> <javascript:> >> Note that posts from new members are moderated - please be patient with >> your first post. >> To unsubscribe from this group, send email to >> clojure+u...@googlegroups.com <javascript:> >> 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+u...@googlegroups.com <javascript:>. >> For more options, visit https://groups.google.com/d/optout. >> > > -- 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/d/optout.