Re: Typed Clojure paper draft

Ambrose - I like the paper and am glad to see continuing progress on Typed Clojure. I think the ability to integrate types easily into Clojure programs will only grow in importance in the future. Keep up the great work! Alan On Sat, Jul 11, 2015 at 7:30 AM, Ambrose Bonnaire-Sergeant < abonnairese

Re: Typed Clojure paper draft

We rewrote most of the paper highlighting relationships between the different features. Thanks, Ambrose On Sat, Mar 14, 2015 at 10:47 PM, Chris Ford wrote: > Seems to me that is cool enough to warrant a bit more braggi

Re: Typed Clojure paper draft

Seems to me that is cool enough to warrant a bit more bragging - perhaps use the word "novel" in the introduction so that the reader appreciates that you've broken new ground by occurrence typing multimethods. On 14 March 2015 at 03:22, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrot

Re: Typed Clojure paper draft

Ah great catch. Here's the justification for our surprise. 1) Occurrence typing was not designed with multimethods in mind. 2) Multimethods are surprisingly easy to formalise, and straightforward to understand (B-DefMulti, B-DefMethod, B-BetaMulti in figure 9 model the core semantics for multimeth

Re: Typed Clojure paper draft

I like the paper. One small piece of feedback - I didn't understand what about the multimethods section justifies the claim of "surprising synergy" in the introduction. Perhaps you could elaborate on the novelty? Chris El 12/03/2015 02:50, "Ambrose Bonnaire-Sergeant" < abonnaireserge...@gmail.com

Typed Clojure paper draft

Hi, Please check out our new paper draft on core.typed's type system. The first few pages has a lot of executable code and is intended to be accessible to anyone. Feedback welcome! Thanks, Ambrose -- You received this message because