[GSoC] core.typed Annotations and Macros Proposal

[ZhanLin Shang]

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

[Di Xu]

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

--
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
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
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.
For more options, visit https://groups.google.com/d/optout.

[ZhanLin Shang]

Hi,

Thanks for replying, I've signed the CA and forwarded this post to the core.typed mailing list.

Can you tell me what should I do for now?

Thanks,

Z.Shang

[Di Xu]

Read code base, submit some patches to get familiar with the process, etc.

Also you can reach Ambrose to discuss your idea & proposal.

Di Xu

[ZhanLin Shang]

Thanks for the information :)

You received this message because you are subscribed to a topic in the Google Groups "Clojure" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/clojure/vslKwQ-0Mss/unsubscribe.
To unsubscribe from this group and all its topics, send an email to clojure+u...@googlegroups.com.