[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The Accessibility of Type Theory Research
On Nov 20, 2003, at 9:22 PM, Anton van Straaten wrote:
> Hey, you should check out Haskore, a computer music system embedded in
> It might provide an incentive to learn something about advanced
> typed systems... :)
I am aware of it. Seems like the last release was in 2000. But I've not
heard of many folks using it, and I don't find much interesting about
it. The pattern classes in SuperCollider are more powerful and more
concise. In fact I find that Haskore tries too hard to make a type out
of everything and so overly constrains the musical concepts in a
My language has some popularity, is taught in many computer music
programs in universities, and has had quite a few pieces written and
performed with it. Musicians don't really care about type systems..
> You do know that magic carpets aren't real, right?
Literature must be lost on you.
> Why "in spite of", though? More information is available to us today,
> easily, than ever before. The concepts finding their way into
> like Io today were pioneered by academics, decades ago. I'm not an
> academic, but I've benefitted enormously from the academic information
> that's available, including many of the references that have been
> given on
> this list. If you "don't even bother" with any of that, that's your
> The only "spite" here is in the sense of "cutting off your nose to
> your face". It's hardly surprising that you can't find many academics
> willing to spend time giving free tutoring.
I think you presume that I am taking a role here that I am not. I've
published papers myself. But on computer music, not on type theory.
--- james mccartney email@example.com <http://www.audiosynth.com>
SuperCollider - a real time audio synthesis programming language