On Fri, 2007-01-26 at 11:34 -0800, Chad Scherrer wrote: > This seems like a natural thing to have around, but it's not in GHC > 6.6... > > newTArrayIO :: (Enum i, Ix i) => (i, i) -> a -> IO (TArray i a) > newTArrayIO (a,b) = liftM (TArray . listArray (a,b)) . sequence . > zipWith ignore [a..b] . repeat . newTVarIO > where ignore = flip const > > I haven't done any testing with this beyond type checking, but it > seems like it could be useful for similar cases to newTVarIO. Has > anyone else played with anything similar? >
Agree. I learned lots regarding technologies that seemed like pure magic before, like GADT's and fundeps etc. Definately a good read. Mattias
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe