I want to implement a dynamic programming algorithm polymorphic in the score type; here's a simplified 1D version with no boundary conditions: {-# LANGUAGE ConstraintKinds, FlexibleContexts, RankN...

I want to implement an algorithm using the ST monad and STUArrays, and I want it to be able to work with both Float and Double data. I'll demonstrate on a simpler example problem: calculating a me...

let's say I've got the following type : data MyType = Constructor0 | Constructor1 | Constructor2 deriving (Eq,Show,Enum) Is there a way to create one of such instances : MArray (STUArray s) My...