I am happy to announce the release of Music Suite version 1.8.
This release in short: Cleaner API for dealing with Voices, Notes and time
structures in general. New equal-temperament pitch representation. Improved
handling of diatonic vs. chromatic transposition in the Common pitch
be interesting to
see these ideas reimagined with modern type classes.
You can find the paper here:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.4552
Regards,
Hans
On 10 okt 2013, at 18:25, Hans Höglund wrote:
I have been experimenting with compositions of monads carrying associated
I have been experimenting with compositions of monads carrying associated
monoids (i.e. Writer-style) and discovered the following pattern:
--
{-# LANGUAGE
DeriveFunctor,
DeriveFoldable,
DeriveTraversable,
of type class morphisms (TCMs). If you
don't have a denotation, I wonder how you could decide what correctness means
for any aspect of your implementation.
Good luck, and let me know if you want some help exploring the TCM process,
-- Conal
On Tue, Apr 23, 2013 at 6:22 AM, Hans
Hi everyone,
I am experimenting with various implementation styles for classical FRP. My
current thoughts are on a continuation-style push implementation, which can be
summarized as follows.
newtype EventT m r a= E { runE :: (a - m r) - m r - m r }
newtype ReactiveT m r a = R { runR ::