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 ::
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
I have been experimenting with compositions of monads carrying associated
monoids (i.e. Writer-style) and discovered the following pattern:
--
{-# LANGUAGE
DeriveFunctor,
DeriveFoldable,
DeriveTraversable,
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 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