Welcome, I participated core.typed GSoC last year, and happy to see another Chinese student interested in core.typed project, you may forward your email to core.typed mail list[0], also you should first sign CA[1] (if you haven't) before any of your patches get accepted by core.typed or any core clojure library. You may submit some patches to JIRA[2] to make your application stronger. Also read base_env.clj[3] to get yourself familiar with core.typed annotation.
Any question is welcomed. [0] https://groups.google.com/forum/#!forum/clojure-core-typed [1] http://clojure.org/contributing [2] http://dev.clojure.org/jira/browse/CTYP [3] https://github.com/clojure/core.typed/blob/master/module-check/src/main/clojure/clojure/core/typed/base_env.clj Best wishes for your GSoC Thanks, Di Xu 2015-03-18 4:44 GMT+08:00 ZhanLin Shang <shangzhan...@gmail.com>: > Hello all, > > My name is Zhanlin Shang and I'd like to work with the core.typed > Annotations and Macros mentored by Ambrose Bonnaire-Sergeant this summer. > This is the first time for me to take part in this kind of event and I > hope this mailing list is the right place. > > I'm a second year undergraduate student of Arizona State University and > I've been programming with Common Lisp for two years and I've played around > with Racket and Clojure. > I'm interested in type theory and typed lambda calculus, and I've created > a Lisp dialect with a type system which shares some concept with Core.Typed. > > I'd like to join this project to make Core.Typed better using all my > knowledge and learn from the process. And I'd like to discuss with you all > about the best / most beneficial design of Core.Typed. > > Best Wishes, > Z.Shang > > -- > 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. > -- 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.
