[Haskell-cafe] hmatrix-repa: hmatrix and Repa interoperability

2011-06-05 Thread Alexander McPhail
Hi, I have uploaded a module to hackage in the package hmatrix-repa. It provides conversion functions between hmatrix vectors/matrices and repa arrays. I don't know whether it will be of much use, but even the Repa documentation suggests using LAPACK for performance critical tasks, such as

[Haskell-cafe] ANN: vector-buffer package 0.1

2011-02-14 Thread Alexander McPhail
Hi, I have uploaded a small package, vector-buffer, to hackage. It provides a buffer that can be turned into a Data.Vector.Storable. The mapM* functions map from the oldest element, not the first. Similarly for the derived Vector. Feature requests etc. welcome. Vivian

Re: [Haskell-cafe] ANN: vector-buffer package 0.1

2011-02-14 Thread Alexander McPhail
. If this is to be a law-abiding interface, toVector must return a value in IO: toVector :: (Storable a) = Buffer a - IO (Vector a) Luke On Mon, Feb 14, 2011 at 7:28 PM, Alexander McPhail haskell.vivian.mcph...@gmail.com wrote: Hi, I have uploaded a small package, vector-buffer

[Haskell-cafe] Fwd: ANN: vector-buffer package 0.1

2011-02-14 Thread Alexander McPhail
Hi list, Could someone explain why the error pointed out by Luke occurred? From: Luke Palmer lrpal...@gmail.com I think this would be a very good question for the list. Don't worry, they're nice helpful folks. On Mon, Feb 14, 2011 at 10:10 PM, Alexander McPhail haskell.vivian.mcph

[Haskell-cafe] Problem cabal installing wxcore with ghc 7.0.1 on linux x86_64

2011-02-03 Thread Alexander McPhail
zen:~# cabal install wxcore --enable-documentation --global Resolving dependencies... [1 of 1] Compiling Main ( /tmp/wxcore-0.12.1.617977/wxcore-0.12.1.6/Setup.hs, /tmp/wxcore-0.12.1.617977/wxcore-0.12.1.6/dist/setup/Main.o ) Linking

[Haskell-cafe] Formal Program verification in Meta-Haskell

2011-01-19 Thread Alexander McPhail
Hi, I have no understanding of template haskell and thus this message is uninformed speculation. Would it not be possible to write a function verifier in TH that, unlike QuickCheck which provides bounds on a function being probably approximately correct, is given a list over properties which are

Re: [Haskell-cafe] Candlestick charts

2010-09-30 Thread Alexander McPhail
Hi, The rationale behind developing the plot package is a desire to target users as well as programmers. The plot interface provides monadic construction of figures, very similar in style to the way a gnuplot script or matlab script/function would be structured (especially with the Simple

Re: [Haskell-cafe] Haddock: Documentation of instances with un-documentable type arguments

2010-09-04 Thread Alexander McPhail
but the MonadState one does not? This helps in maintaining opacity with respect to the package user. I may not want the user to be able to call 'get' and 'put' when using my custom monad. Cheers, Vivian On 26 August 2010 02:20, David Waern david.wa...@gmail.com wrote: 2010/8/25 Alexander McPhail

[Haskell-cafe] Haddock: Documentation of instances with un-documentable type arguments

2010-08-25 Thread Alexander McPhail
Hi, Here, http://hackage.haskell.org/packages/archive/graphviz/2999.10.0.1/doc/html/Data-GraphViz-Commands.html#t%3AGraphvizCanvas, there is an example of the internal implementation leaking. I was taught to separate interface from implementation. For example, header versus c/cc/cpp files. The

Matlab/BLAS/LAPack and Re: [Haskell-cafe] Mathematics in Haskell Re: Why the Prelude must Die

2007-04-03 Thread Alexander McPhail
Since I brought this up (search haskell' list) I should probably volunteer to help. If people agree I can coordinate an effort to build a mathematically sound hierarchy. Unfortunately my mathematical knowledge is less than ideal for this purpose (I am actively remedying this at university).