[GSoC] Typed Overtone proposal

[Christopher Medrela]

Hello! As you may remember I wanted to work at "Source meta information model"

project during Google Summer of Code this year, but I've decided to switch to

"typed Overtone" project because there was already another student (Richard)

who wanted to work at the same project. I believe that Clojure community will

benefit more if we work at different projects.

What I'd like to do this summer is: 

1) Writing excellent tutorial make Overtone less harsh. While there are some

   topical guides and incomplete reference, there is no introductory tutorial.

   And Overtone requires also some musical knowledge. I believe that if we

   lower the entry barrier, Overtone can became a Clojure killer app that will

   foster Clojure adoption.

2) Typing Overtone to stress core.typed and find its limits.

You can find my proposal at github [1]. If you have some thoughts, feedback or

criticism, feel free to share it!

[1] https://gist.github.com/chrismedrela/7fe431fa5189c2c64bd8

[Ambrose Bonnaire-Sergeant]

We should work on this proposal, I sent you some suggestions.

Thanks,

Ambrose

--
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.

[Chris Ford]

That sounds a cool idea.

One interesting challenge will be how specific you can make the types of things like unit generators, which can be used in very different ways e.g. low frequency for vibrato, high frequency for tones themselves.

[Christopher Medrela]

I've updated my proposal. The main changes are in this section [1].

[1] https://gist.github.com/chrismedrela/7fe431fa5189c2c64bd8#porting-overtone

[atucker]

Best of luck with your proposal!

The main part of my proposal is porting Overtone, that is type checking it using core.typed, which is a great optional type system with stuff like dependent types built in

This caught my eye.  Does core.typed support dependent types?  I might start looking into it if so...

[Ambrose Bonnaire-Sergeant]

core.typed supports a restricted form of dependent types via occurrence typing. Refinement types will also be

coming later this year.

See some examples here.

Thanks,

Ambrose

--

[Ambrose Bonnaire-Sergeant]

Try them out here.

Thanks,

Ambrose

[Christopher Medrela]

The deadline for student applications is tomorrow. If anybody have some

thoughts or comments, please don't hesitate and share it here.