Category Archives: Haskell

Composable Blocking Transactions

Posted on 6 June, 2010 by

Background: Software Transactional Memory (STM) is a foundation for atomic composable non-blocking transactions. An STM transaction consists of a set of variables and a monadic sequence of read/write operations on those variables. As the transaction progresses, a transaction table is … Continue reading →

Posted in Haskell | Leave a comment

FactoryArrow

Posted on 9 August, 2009 by

I’ve been playing around with an Arrow concept, which to my knowledge is original. I’ve decided to call this a FactoryArrow: newtype FactoryArrow m n a b = FactoryArrow { runFactory :: m (Kleisli n a b) } Where m … Continue reading →

Posted in Haskell | 2 Comments

Vec is Good

Posted on 5 May, 2009 by

Last night I checked out Scott E. Dillard’s Vec library. It’s a good, fast, pure implementation of the basic matrix operations applicable to 3D graphics. Switching to Vec has shaved off quite a bit of time from one of my … Continue reading →

Posted in Haskell | 1 Comment