The deadline for student applications is tomorrow. If anybody have some
thoughts or comments, please don't hesitate and share it here.
--
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
I've updated my proposal. The main changes are in this section [1].
[1] https://gist.github.com/chrismedrela/7fe431fa5189c2c64bd8#porting-overtone
--
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to
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
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
http://frenchy64.github.io/papers/typed-clojure-draft.pdf.
Thanks,
Ambrose
On Tue, Mar 24, 2015 at 4:34 PM, atucker agjf.tuc...@gmail.com
Try them out here https://github.com/typedclojure/examples.
Thanks,
Ambrose
On Tue, Mar 24, 2015 at 4:40 PM, Ambrose Bonnaire-Sergeant
abonnaireserge...@gmail.com wrote:
core.typed supports a restricted form of dependent types via occurrence
typing. Refinement types will also be
coming
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
We should work on this proposal, I sent you some suggestions.
Thanks,
Ambrose
On Sat, Mar 21, 2015 at 1:03 PM, Christopher Medrela
chris.medr...@gmail.com wrote:
Hello! As you may remember I wanted to work at Source meta information
model
project during Google Summer of Code this year, but
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.
On 21 March 2015 at 17:14, Ambrose Bonnaire-Sergeant