[Proposal] Typed Clojure for Contrib

[Ambrose Bonnaire-Sergeant]

Hi,

I'd like to propose Typed Clojure to be a Clojure Contrib project.

Typed Clojure is an optional type system for Cloure, based on Typed Racket.

https://github.com/frenchy64/typed-clojure

Currently there is a 0.1 release which is usable but not complete.

I suggest the name "core.typed".

Please provide feedback towards this proposal

Thanks,

Ambrose

[David Nolen]

+1. Sounds like a fantastic addition to me.

--
You received this message because you are subscribed to the Google Groups "Clojure Dev" group.
To post to this group, send email to cloju...@googlegroups.com.
To unsubscribe from this group, send email to clojure-dev...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/clojure-dev?hl=en.

[Ambrose Bonnaire-Sergeant]

Some comments on names:

core.static-types   (boring, non-descriptive)

core.optional-types (descriptive, a bit long)

core.gradual-types (more descriptive, implies room for a core.soft-types etc. :-) )

core.types    (ambiguous? Clojure is untyped...)

core.typed-clojure (clear ancestry to Typed Racket, perhaps redundant)

core.typed    (short, cooler)

Thanks,

Ambrose

[Michael Fogus]

+1

How about core.typed.gradual?

:F

> --
> You received this message because you are subscribed to the Google Groups
> "Clojure Dev" group.
> To post to this group, send email to cloju...@googlegroups.com.
> To unsubscribe from this group, send email to
> clojure-dev...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/clojure-dev?hl=en.

--
-- http://blog.fogus.me
-- http://github.com/fogus
--

[Paul deGrandis]

+1

I actually like core.typed.gradual but I'm fine with whatever.

[Stuart Halloway]

Totally want this. Just need to get Rich to weigh in on the name.

Stu

On Sat, Nov 24, 2012 at 4:17 PM, Paul deGrandis <paul.de...@gmail.com> wrote:

+1

I actually like core.typed.gradual but I'm fine with whatever.

--
You received this message because you are subscribed to the Google Groups "Clojure Dev" group.

To view this discussion on the web visit https://groups.google.com/d/msg/clojure-dev/-/vSjag_QwJd4J.

[Rich Hickey]

This would be a fantastic contrib - thanks!

Could you explain more about the implications and correctness of the terms 'gradual' and 'optional' when applied to your work?

> --
> You received this message because you are subscribed to the Google Groups "Clojure Dev" group.

[Ambrose Bonnaire-Sergeant]

Hi Rich,

Gradual typing is the most precise description. I personally use "optional typing" as a sort of "catch all" for these type systems that can be switched off, I don't think it has a more precise definition.

Gradual types implies we can have part of our program dynamically typed, and part statically typed. This is exactly how Typed Clojure works.

Thanks,

Ambrose

[Paul deGrandis]

Pulling this back to the top -

Did we settle on the contrib name: core.typed vs core.typed.gradual?

 - Paul

[Mikera]

+1, would love to see this as an official contrib library.

FWIW, I think "core.typed" is the best name. Reasons:

 - Consistency with other libraries e.g. "core.logic"

 - Hints at connection with "Typed Racket"

 - Short and catchy.

[Ambrose Bonnaire-Sergeant]

Personally crossing my fingers for core.typed.

Ambrose

--

You received this message because you are subscribed to the Google Groups "Clojure Dev" group.

To view this discussion on the web visit https://groups.google.com/d/msg/clojure-dev/-/Lq7BFk6Tam0J.

[Michael Fogus]

I'm not crazy about the raw core.typed, but I'm not going to post an
angry blog post if it happens either. My only gripe with it is the
same gripe I had (note "had") with core.logic. That is, the longer
qualification is more accurate and sets precedent for future typed
contributions like core.typed.hm, core.typed.dependent etc...

That's all.

[Paul deGrandis]

Like Fogus, I like the longer, more qualified names for the same reasons.

That said, I'm fine with both.
Paul

[Rich Hickey]

Are you guys holding out additional type systems on us? :)

I'm ok with our first entrant getting core.typed, and am looking forward to core.typed.dependent.

Rich

[Ambrose Bonnaire-Sergeant]

:) +1

I'll claim core.typed then.

If someone could do the boring work for me (Jira, Github) that would be great!

Thanks!

Ambrose

To unsubscribe from this group and stop receiving emails from it, send an email to clojure-dev...@googlegroups.com.

To post to this group, send email to cloju...@googlegroups.com.

Visit this group at http://groups.google.com/group/clojure-dev?hl=en.

For more options, visit https://groups.google.com/groups/opt_out.

[Michael Fogus]

> Are you guys holding out additional type systems on us? :)

Leave it to Rich to see through the obvious pedantry on my part. ;-)

[Stuart Halloway]

Boring work complete.  Let me know if I it works, or I need to be bored some more. :-)

Stu

[Ambrose Bonnaire-Sergeant]

All works, cheers Stu :)

Can I immediately push my existing code? My contributors all have a Clojure CA (only one contributor as of now), is it still necessary for each contributor to agree with the move to contrib by posting on the mailing list? I remember this was necessary for core.match.

Ambrose

[Ambrose Bonnaire-Sergeant]

I, Ambrose Bonnaire-Sergeant, give my permission to release my contributions to Typed Clojure under the Clojure Contributor Agreement.

[Stephen Compall]

I, Stephen Compall, give my permission to release my contributions to Typed Clojure under the Clojure Contributor Agreement

--
Stephen Compall
If anyone in the MSA is online, you should watch this flythrough.

[Ambrose Bonnaire-Sergeant]

Ok, I and Stephen are the only contributors. The previous two messages should satisfy http://dev.clojure.org/display/design/Moving+Projects+Into+Contrib

...and that is everyone according to: https://github.com/frenchy64/typed-clojure/graphs/contributors

I will start moving the code over.

Ambrose

--

[Stuart Halloway]

Fantastic!

[Sean Corfield]

I have finally gotten around to updating the Clojure Contrib library
pages on the wiki to list core.typed with links to build status,
Maven, JIRA and Github.

Sean A Corfield -- (904) 302-SEAN
An Architect's View -- http://corfield.org/
World Singles, LLC. -- http://worldsingles.com/

"Perfection is the enemy of the good."
-- Gustave Flaubert, French realist novelist (1821-1880)

[Ambrose Bonnaire-Sergeant]

Thanks. Where do I start to get core.typed building?

[Sean Corfield]

First step: make sure mvn test does the right thing in your project...

Then I think it's a matter of getting Stuart to update the build
system... http://dev.clojure.org/display/design/How+to+Create+New+Contrib+Projects

On Thu, Feb 14, 2013 at 11:28 PM, Ambrose Bonnaire-Sergeant